• Journal of the Korean Mathematical Society
• /
• v.39 no.1
• /
• pp.127-135
• /
• 2002

Let I be an ideal in a Gorenstein local ring A with the maximal ideal m. Then we say that I is an equimultiple good ideal in A, if I contains a reduction Q = ( $a_1$, $a_2$,ㆍㆍㆍ, $a_{s}$ ) generated by s elements in A and G(I) =(equation omitted)$_{n 0}$ $I^{n}$ / $I^{n＋1}$ of I is a Gorenstein ring with a(G(I)) = 1 - s, where s = h $t_{A}$ I and a(G(I)) denotes the a-invariant of G(I). Let $X_{A}$$^{s}$ denote the set of equimultiple good ideals I in A with h $t_{A}$ I = s, R(I) = A [It] be the Rees algebra of I, and $K_{R(I)}$ denote the canonical module of R(I). Let a I such that $I^{n＋l}$ = a $I^{n}$ for some n$\geq$0 and $\mu$$_{A}$(I)$\geq$2, where $\mu$$_{A}$(I) denotes the number of elements in a minimal system of generators of I. Assume that A/I is a Cohen-Macaulay ring. We show that the following conditions are equivalent. (1) $K_{R(I)}$(equation omitted)R(I)＋as graded R(I)-modules. (2) $I^2$ = aI and aA : I$\in$ $X^1$$_{A}$._{A}$./.

• Communications of the Korean Mathematical Society
• /
• v.38 no.1
• /
• pp.39-46
• /
• 2023

Let R be a commutative ring, M be a Noetherian R-module, and N a 2-absorbing submodule of M such that r(N :_R M) = 𝖕 is a prime ideal of R. The main result of the paper states that if N = Q₁ ∩ ⋯ ∩ Q_n with r(Q_i :_R M) = 𝖕_i, for i = 1, . . . , n, is a minimal primary decomposition of N, then the following statements are true. (i) 𝖕 = 𝖕_k for some 1 ≤ k ≤ n. (ii) For each j = 1, . . . , n there exists m_j ∈ M such that 𝖕_j = (N :_R m_j). (iii) For each i, j = 1, . . . , n either 𝖕_i ⊆ 𝖕_j or 𝖕_j ⊆ 𝖕_i. Let Γ_E(M) denote the zero-divisor graph of equivalence classes of zero divisors of M. It is shown that {Q₁∩ ⋯ ∩Q_n-1, Q₁∩ ⋯ ∩Q_n-2, . . . , Q₁} is an independent subset of V (Γ_E(M)), whenever the zero submodule of M is a 2-absorbing submodule and Q₁ ∩ ⋯ ∩ Q_n = 0 is its minimal primary decomposition. Furthermore, it is proved that Γ_E(M)[(0 :_R M)], the induced subgraph of Γ_E(M) by (0 :_R M), is complete.

• Journal of the Korean Mathematical Society
• /
• v.47 no.3
• /
• pp.633-643
• /
• 2010

Let a be an ideal of a commutative Noetherian ring R, M a finitely generated R-module and N a weakly Laskerian R-module. We show that if N has finite dimension d, then $Ass_R(H^d_a(N))$ consists of finitely many maximal ideals of R. Also, we find the least integer i, such that $H^i_a$(M, N) is not consisting of finitely many maximal ideals of R.

• 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}\}$.

• Honam Mathematical Journal
• /
• v.40 no.2
• /
• pp.211-218
• /
• 2018

Let R be a commutative Noetherian ring, a be an ideal of R and M be an R-module. It is shown that if $Ext^i_R(R/a,M)$ is minimax for all $i{\leq}{\dim}\;M$, then the R-module $Ext^i_R(N,M)$ is minimax for all $i{\geq}0$ and for any finitely generated R-module N with $Supp_R(N){\subseteq}V(a)$ and dim $N{\leq}1$. As a consequence of this result we obtain that for any a-torsion R-module M that $Ext^i_R(R/a,M)$ is minimax for all $i{\leq}dim$ M, all Bass numbers and all Betti numbers of M are finite. This generalizes [8, Corollary 2.7]. Also, some equivalent conditions for the cominimaxness of local cohomology modules with respect to ideals of dimension at most one are given.

• Journal of the Korean Mathematical Society
• /
• v.54 no.3
• /
• pp.847-865
• /
• 2017

For a finite or an infinite set X, let $2^X$ be the power set of X. A class of simple graph, called strong Boolean graph, is defined on the vertex set $2^X{\setminus}\{X,{\emptyset}\}$, with M adjacent to N if $M{\cap}N={\emptyset}$. In this paper, we characterize the annihilating-ideal graphs $\mathbb{AG}(R)$ that are blow-ups of strong Boolean graphs, complemented graphs and preatomic graphs respectively. In particular, for a commutative ring R such that AG(R) has a maximum clique S with $3{\leq}{\mid}V(S){\mid}{\leq}{\infty}$, we prove that $\mathbb{AG}(R)$ is a blow-up of a strong Boolean graph if and only if it is a complemented graph, if and only if R is a reduced ring. If assume further that R is decomposable, then we prove that $\mathbb{AG}(R)$ is a blow-up of a strong Boolean graph if and only if it is a blow-up of a pre-atomic graph. We also study the clique number and chromatic number of the graph $\mathbb{AG}(R)$.

• Kyungpook Mathematical Journal
• /
• v.57 no.4
• /
• pp.545-558
• /
• 2017

In this paper, we introduce generalised quasi-ideals in ordered ternary semigroups. Also, we define ordered m-right ideals, ordered (p, q)-lateral ideals and ordered n-left ideals in ordered ternary semigroups and studied the relation between them. Some intersection properties of ordered (m,(p, q), n)-quasi ideals are examined. We also characterize these notions in terms of minimal ordered (m,(p, q), n)-quasi-ideals in ordered ternary semigroups. Moreover, m-right simple, (p, q)-lateral simple, n-left simple, and (m,(p, q), n)-quasi simple ordered ternary semigroups are defined and some properties of them are studied.

• Bulletin of the Korean Mathematical Society
• /
• v.49 no.4
• /
• pp.885-898
• /
• 2012

Let m, n, r be nonzero fixed positive integers, R a 2-torsion free prime ring, Q its right Martindale quotient ring, and L a non-central Lie ideal of R. Let D : $R{\rightarrow}R$ be a skew derivation of R and $E(x)=D(x^{m+n+r})-D(x^m)x^{n+r}-x^mD(x^n)x^r-x^{m+n}D(x^r)$. We prove that if $E(x)=0$ for all $x{\in}L$, then D is a usual derivation of R or R satisfies $s_4(x_1,{\ldots},x_4)$, the standard identity of degree 4.

• Proceedings of the Membrane Society of Korea Conference
• /
• 2004.05a
• /
• pp.86-89
• /
• 2004

The present study reports the preparation of a compact ZSM-5 membrane showing high thermal stability and high separation factors, especially n-/i-butane isomers at high temperatures. ZSM-5 membrane was prepared on a porous $\alpha$-Al$_2$O$_3$ tube (an average pore diameter, ca. 100 nm) at 18$0^{\circ}C$ by the seed-assisted crystallization method. The XRD and SEM results showed that a thin zeolite layer (ca. 1 ${\mu}{\textrm}{m}$) was formed on the support surface. The single gas permeances of $N_2$, H$_2$, SF$_{6}$, n-butane, and i-butane were taken at 27$0^{\circ}C$. i-Butane permeance hardly changed after repeated thermal treatments up to 40$0^{\circ}C$, indicating the membrane is thermally stable. On the other hand, other single gas permeances increased when the membrane was further dried at 40$0^{\circ}C$, indicating thermal pretreatment at 27$0^{\circ}C$ could not remove all the adsorbed species in the membrane. i-Butane and SF$_{6}$ permeances were significantly lower than the permeances of smaller molecules, indicating that the membrane has a low concentration of defects. The ideal selectivities at 27$0^{\circ}C$ were 61 for $H_2$/i-butane and 47 for $H_2$/SF$_{6}$. The temperature dependency of n/i-butane ideal selectivities and separation factors for an equimolar n/i-butane mixture was studied. The ideal selectivity showed a maximum of 36 at 30$0^{\circ}C$. The separation factors increased with temperature and reached around 12 at 300-40$0^{\circ}C$, which were much higher than those reported in the literature.ature.

• Bulletin of the Korean Mathematical Society
• /
• v.50 no.6
• /
• pp.1905-1914
• /
• 2013

Let D be an integral domain with quotient field K, M a torsion-free D-module, X an indeterminate, and $N_v=\{f{\in}D[X]|c(f)_v=D\}$. Let $q(M)=M{\otimes}_D\;K$ and $M_{w_D}$={$x{\in}q(M)|xJ{\subseteq}M$ for a nonzero finitely generated ideal J of D with $J_v$ = D}. In this paper, we show that $M_{w_D}=M[X]_{N_v}{\cap}q(M)$ and $(M[X])_{w_{D[X]}}{\cap}q(M)[X]=M_{w_D}[X]=M[X]_{N_v}{\cap}q(M)[X]$. Using these results, we prove that M is a strong Mori D-module if and only if M[X] is a strong Mori D[X]-module if and only if $M[X]_{N_v}$ is a Noetherian $D[X]_{N_v}$-module. This is a generalization of the fact that D is a strong Mori domain if and only if D[X] is a strong Mori domain if and only if $D[X]_{N_v}$ is a Noetherian domain.