• Journal of the Korean Mathematical Society
• /
• v.51 no.2
• /
• pp.239-250
• /
• 2014

Let R be a commutative Noetherian (not necessarily local) ring, I an ideal of R and M a finitely generated R-module. In this paper, by computing the local cohomology modules and Ext-modules via the injective resolution of M, we proved that, if for an integer t > 0, dim$_RH_I^i(M){\leq}k$ for ${\forall}i$ < t, then $$\displaystyle\bigcup_{i=0}^{j}(Ass_RH_I^i(M))_{{\geq}k}=\displaystyle\bigcup_{i=0}^{j}(Ass_RExt_R^i(R/I^n,M))_{{\geq}k}$$ for ${\forall}j{\leq}t$ and ${\forall}n$ >0. This shows that${\bigcup}_{n>0}(Ass_RExt_R^i(R/I^n,M))_{{\geq}k}$ is a finite set for ${\forall}i{\leq}t$. Also, we prove that $\displaystyle\bigcup_{i=1}^{r}(Ass_RM/(x_1^{n_1},x_2^{n_2},{\ldots},x_i^{n_i})M)_{{\geq}k}=\displaystyle\bigcup_{i=1}^{r}(Ass_RM/(x_1,x_2,{\ldots},x_i)M)_{{\geq}k}$ if $x_1,x_2,{\ldots},x_r$ is M-sequences in dimension > k and $n_1,n_2,{\ldots},n_r$ are some positive integers. Here, for a subset T of Spec(R), set $T_{{\geq}i}=\{{p{\in}T{\mid}dimR/p{\geq}i}\}$.

• Journal of the Korean Mathematical Society
• /
• v.53 no.5
• /
• pp.1167-1182
• /
• 2016

Let M be an R-module, where R is a commutative ring with identity 1 and let G(V,E) be a graph. In this paper, we study the graphs associated with modules over commutative rings. We associate three simple graphs $ann_f({\Gamma}(M_R))$, $ann_s({\Gamma}(M_R))$ and $ann_t({\Gamma}(M_R))$ to M called full annihilating, semi-annihilating and star-annihilating graph. When M is finite over R, we investigate metric dimensions in $ann_f({\Gamma}(M_R))$, $ann_s({\Gamma}(M_R))$ and $ann_t({\Gamma}(M_R))$. We show that M over R is finite if and only if the metric dimension of the graph $ann_f({\Gamma}(M_R))$ is finite. We further show that the graphs $ann_f({\Gamma}(M_R))$, $ann_s({\Gamma}(M_R))$ and $ann_t({\Gamma}(M_R))$ are empty if and only if M is a prime-multiplication-like R-module. We investigate the case when M is a free R-module, where R is an integral domain and show that the graphs $ann_f({\Gamma}(M_R))$, $ann_s({\Gamma}(M_R))$ and $ann_t({\Gamma}(M_R))$ are empty if and only if $$M{\sim_=}R$$. Finally, we characterize all the non-simple weakly virtually divisible modules M for which Ann(M) is a prime ideal and Soc(M) = 0.

• Proceedings of the Korean Magnestics Society Conference
• /
• 2008.12a
• /
• pp.4.2-4.2
• /
• 2008

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.11 no.1
• /
• pp.13-30
• /
• 2007

In this paper we study the numerical solutions of the stochastic functional differential equations of the following form $$du(x,\;t)\;=\;f(x,\;t,\;u_t)dt\;+\;g(x,\;t,\;u_t)dB(t),\;t\;>\;0$$ with initial data $u(x,\;0)\;=\;u_0(x)\;=\;{\xi}\;{\in}\;L^p_{F_0}\;([-{\tau},0];\;R^n)$. Here $x\;{\in}\;R^n$, ($R^n$ is the ${\nu}\;-\;dimenional$ Euclidean space), $f\;:\;C([-{\tau},\;0];\;R^n)\;{\times}\;R^{{\nu}+1}\;{\rightarrow}\;R^n,\;g\;:\;C([-{\tau},\;0];\;R^n)\;{\times}\;R^{{\nu}+1}\;{\rightarrow}\;R^{n{\times}m},\;u(x,\;t)\;{\in}\;R^n$ for each $t,\;u_t\;=\;u(x,\;t\;+\;{\theta})\;:\;-{\tau}\;{\leq}\;{\theta}\;{\leq}\;0\;{\in}\;C([-{\tau},\;0];\;R^n)$, and B(t) is an m-dimensional Brownian motion.

• Communications of the Korean Mathematical Society
• /
• v.12 no.2
• /
• pp.393-401
• /
• 1997

Let $A_1,A_2,\cdots,A_m$ and $B_1,B_2,\cdots,B_n$ be two sequences of events on a given probability space. Let $X_m$ and $Y_n$, respectively, be the number of those $A_i$ and $B_j$, which occur we establish new upper and lower bounds on the probability $P(X=r, Y=t)$ which improve upper bounds and classical lower bounds in terms of the bivariate binomial moment $S_{r,t},S_{r+1,t},S_{r,t+1}$ and $S_{r+1,t+1}$.

• Journal of the Korean Mathematical Society
• /
• v.52 no.6
• /
• pp.1253-1270
• /
• 2015

Let (R, m) be a commutative Noetherian local domain, M a non-zero finitely generated R-module of dimension n > 0 and I be an ideal of R. In this paper it is shown that if $x_1,{\ldots },x_t$ ($1{\leq}t{\leq}n$) be a sub-set of a system of parameters for M, then the R-module $H^t_{(x_1,{\ldots },x_t)}$(R) is faithful, i.e., Ann $H^t_{(x_1,{\ldots },x_t)}$(R) = 0. Also, it is shown that, if $H^i_I$ (R) = 0 for all i > dim R - dim R/I, then the R-module $H^{dimR-dimR/I}_I(R)$ is faithful. These results provide some partially affirmative answers to the Lynch's conjecture in [10]. Moreover, for an ideal I of an arbitrary Noetherian ring R, we calculate the annihilator of the top local cohomology module $H^1_I(M)$, when $H^i_I(M)=0$ for all integers i > 1. Also, for such ideals we show that the finitely generated R-algebra $D_I(R)$ is a flat R-algebra.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.2
• /
• pp.439-450
• /
• 2019

Let R be a ring with unity. Given modules $M_R$ and $_RN$, $M_R$ is said to be absolutely $_RN$-pure if $M{\otimes}N{\rightarrow}L{\otimes}N$ is a monomorphism for every extension $L_R$ of $M_R$. For a module $M_R$, the subpurity domain of $M_R$ is defined to be the collection of all modules $_RN$ such that $M_R$ is absolutely $_RN$-pure. Clearly $M_R$ is absolutely $_RF$-pure for every flat module $_RF$, and that $M_R$ is FP-injective if the subpurity domain of M is the entire class of left modules. As an opposite of FP-injective modules, $M_R$ is said to be a test for flatness by subpurity (or t.f.b.s. for short) if its subpurity domain is as small as possible, namely, consisting of exactly the flat left modules. Every ring has a right t.f.b.s. module. $R_R$ is t.f.b.s. and every finitely generated right ideal is finitely presented if and only if R is right semihereditary. A domain R is $Pr{\ddot{u}}fer$ if and only if R is t.f.b.s. The rings whose simple right modules are t.f.b.s. or injective are completely characterized. Some necessary conditions for the rings whose right modules are t.f.b.s. or injective are obtained.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.5
• /
• pp.1341-1352
• /
• 2016

Let R be a commutative Noetherian ring, ${\Phi}$ a system of ideals of R and $I{\in}{\Phi}$. In this paper among other things we prove that if M is finitely generated and $t{\in}\mathbb{N}$ such that the R-module $H^i_{\Phi}(M)$ is $FD_{{\leq}1}$ (or weakly Laskerian) for all i < t, then $H^i_{\Phi}(M)$ is ${\Phi}$-cofinite for all i < t and for any $FD_{{\leq}0}$ (or minimax) submodule N of $H^t_{\Phi}(M)$, the R-modules $Hom_R(R/I,H^t_{\Phi}(M)/N)$ and $Ext^1_R(R/I,H^t_{\Phi}(M)/N)$ are finitely generated. Also it is shown that if cd I = 1 or $dimM/IM{\leq}1$ (e.g., $dim\;R/I{\leq}1$) for all $I{\in}{\Phi}$, then the local cohomology module $H^i_{\Phi}(M)$ is ${\Phi}$-cofinite for all $i{\geq}0$. These generalize the main results of Aghapournahr and Bahmanpour [2], Bahmanpour and Naghipour [6, 7]. Also we study cominimaxness and weakly cofiniteness of local cohomology modules with respect to a system of ideals.

• Journal of the Korean Society for Industrial and Applied Mathematics
• /
• v.9 no.1
• /
• pp.79-90
• /
• 2005

In this paper we study the numerical solutions of the stochastic differential equations of the form $$du(x,\;t)=f(x,\;t,\;u)dt\;+\;g(x,\;t,\;u)dW(t)\;+\;\sum\limits_{|q|\leq2m}\;A_q(x,\;t)D^qu(x,\;t)dt$$ where $0\;{\leq}\;t\;{\leq}\;T,\;x\;{\in}\;R^{\nu}$, ($R^{nu}$ is the $\nu$-dimensional Euclidean space). Here $u\;{\in}\;R^n$, W(t) is an n-dimensional Brownian motion, $$f\;:\;R^{n+\nu+1}\;{\rightarrow}\;R^n,\;g\;:\;R^{n+\nu+1}\;{\rightarrow}\;R^{n{\times}n},$$, and $$A_q\;:\;R^{\nu}\;{\times}\;[0,\;T]\;{\rightarrow}\;R^{n{\times}n}$$ where ($A_q,\;|\;q\;|{\leq}\;2m$) is a family of square matrices whose elements are sufficiently smooth functions on $R^{\nu}\;{\times}\;[0,\;T]\;and\;D^q\;=\;D^{q_1}_1_{\ldots}_{\ldots}D^{q_{\nu}}_{\nu},\;D_i\;=\;{\frac{\partial}{\partial_{x_i}}}$.

• Journal of Plant Biology
• /
• v.29 no.1
• /
• pp.53-65
• /
• 1986

The montane forests of Ulreung Island, Korea, were investigated by the ZM school method. By comparing the montane forests of this island with those of Korean Peninsula and of Japan, a new order, F a g e t a l i a m u l t i n e r v i s, a new alliance, F a l g i o n m u l t i n e r v i s, a new association, H e p a t i c o-F a g e t u m m u l t i n e r v i s and Rhododendron brachycarpum-Pinus parviflora community were recognized. The H e p a t i c o - F a g e t u m m u l t i n e r v i s was further subdivided into four subassociations; Subass. of Sasa kurilensis, Subass. of Rumohra standishii, Subass. of Rhododendron brachycarpum and Subass. of typicum. Each community was described in terms of floristic, structural and environmental features.