• Journal of the Korean Mathematical Society
• /
• v.48 no.5
• /
• pp.927-938
• /
• 2011

Let G be an abelian monoid with identity e. Let R be a G-graded commutative ring, and M a graded R-module. In this paper we first introduce the concept of graded primal submodules of M an give some basic results concerning this class of submodules. Then we characterize the graded primal ideals of the idealization R(+)M.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.1
• /
• pp.289-298
• /
• 2017

Let R denote a commutative Noetherian (not necessarily local) ring and let I be an ideal of R of dimension one. The main purpose of this note is to show that the category ${\mathfrak{M}}(R,\;I)_{com}$ of I-cominimax R-modules forms an Abelian subcategory of the category of all R-modules. This assertion is a generalization of the main result of Melkersson in [15]. As an immediate consequence of this result we get some conditions for cominimaxness of local cohomology modules for ideals of dimension one. Finally, it is shown that the category ${\mathcal{C}}^1_B(R)$ of all R-modules of dimension at most one with finite Bass numbers forms an Abelian subcategory of the category of all R-modules.

• East Asian mathematical journal
• /
• v.21 no.1
• /
• pp.1-7
• /
• 2005

The object of this paper is to study($\sigma,\;\tau$)-Lie ideals in semi-prime rings with derivation. Main result is the following theorem: Let R be a semi-prime ring with 2-torsion free, $\sigma$ and $\tau$ two automorphisms of R such that $\sigma\tau=\tau\sigma$=, U be both a non-zero ($\sigma,\;\tau$)-Lie ideal and subring of R. If $d^2(U)=0$, then d(U)=0 where d a non-zero derivation of R such that $d\sigma={\sigma}d,\;d\tau={\tau}d$.

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

Let (R, m) be a Noetherian local ring, I, J two ideals of R, and A an Artinian R-module. Let $k{\geq}0$ be an integer and $r=Width_{>k}(I,A)$ the supremum of lengths of A-cosequences in dimension > k in I defined by Nhan-Hoang [9]. It is first shown that for each $t{\leq}r$ and each sequence $x_1,{\cdots},x_t$ which is an A-cosequence in dimension > k, the set $$\Large(\bigcup^{t}_{i=0}Att_R(0:_A(x_1^{n_1},{\ldots},x_i^{n_i})))_{{\geq}k}$$ is independent of the choice of $n_1,{\ldots},n_t$. Let r be the eventual value of $Width_{>k}(0:_AJ^n)$. Then our second result says that for each $t{\leq}r$ the set $\large(\bigcup\limits_{i=0}^{t}Att_R(Tor_i^R(R/I,\;(0:_AJ^n))))_{{\geq}k}$ is stable for large n.

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.1
• /
• pp.83-92
• /
• 2024

Let R be a commutative ring with nonzero identity and M be an R-module. In this paper, we first introduce the concept of S-idempotent element of R. Then we give a relation between S-idempotents of R and clopen sets of S-Zariski topology. After that we define S-pure ideal which is a generalization of the notion of pure ideal. In fact, every pure ideal is S-pure but the converse may not be true. Afterwards, we show that there is a relation between S-pure ideals of R and closed sets of S-Zariski topology that are stable under generalization.

• Journal of the Korean Mathematical Society
• /
• v.38 no.5
• /
• pp.987-1030
• /
• 2001

Some discrimination of modules whose endomorhism rings are prime is introduced, by means of structures of submodules inducing prime ideals of the endomorphism ring End(sub)R (M) of a left R-module (sub)RM over a ring R. Modules with non-prime endomorphism rings are contrapositively studied as well.

• Bulletin of the Korean Mathematical Society
• /
• v.39 no.3
• /
• pp.479-484
• /
• 2002

Let I be an ideal in a Gorenstein local ring A with the maximal ideal m and d = dim A. Then we say that I is a good ideal in A, if I contains a reduction $Q=(a_1,a_2,...,a_d)$ generated by d elements in A and $G(I)=\bigoplus_{n\geq0}I^n/I^{n+1}$ of I is a Gorenstein ring with a(G(I)) = 1-d, where a(G(I)) denotes the a-invariant of G(I). Let S = A[Q/a$_1$] and P = mS. In this paper, we show that the following conditions are equivalent. (1) $I^2$ = QI and I = Q:I. (2) $I^2S$ = $a_1$IS and IS = $a_1$S：sIS. (3) $I^2$Sp = $a_1$ISp and ISp = $a_1$Sp ：sp ISp. We denote by $X_A(Q)$ the set of good ideals I in $X_A(Q)$ such that I contains Q as a reduction. As a Corollary of this result, we show that $I\inX_A(Q)\Leftrightarrow\IS_P\inX_{SP}(Qp)$.

• Journal of the Korean Mathematical Society
• /
• v.48 no.2
• /
• pp.397-420
• /
• 2011

In this paper we study the structure of closed weakly dense ideals in Privalov spaces $N^p$ (1 < p < $\infty$) of holomorphic functions on the disk $\mathbb{D}$ : |z| < 1. The space $N^p$ with the topology given by Stoll's metric [21] becomes an F-algebra. N. Mochizuki [16] proved that a closed ideal in $N^p$ is a principal ideal generated by an inner function. Consequently, a closed subspace E of $N^p$ is invariant under multiplication by z if and only if it has the form $IN^p$ for some inner function I. We prove that if $\cal{M}$ is a closed ideal in $N^p$ that is dense in the weak topology of $N^p$, then $\cal{M}$ is generated by a singular inner function. On the other hand, if $S_{\mu}$ is a singular inner function whose associated singular measure $\mu$ has the modulus of continuity $O(t^{(p-1)/p})$, then we prove that the ideal $S_{\mu}N^p$ is weakly dense in $N^p$. Consequently, for such singular inner function $S_{\mu}$, the quotient space $N^p/S_{\mu}N^p$ is an F-space with trivial dual, and hence $N^p$ does not have the separation property.

• Bulletin of the Korean Mathematical Society
• /
• v.26 no.2
• /
• pp.135-137
• /
• 1989

Let R be a Krull domain with field of fractions K. By Br(R) we denote the Brauer group of R. Studying the Kernel of the homomorphism Br(R).rarw.Br(K), Orzech defined Brauer groups Br(M) for different categories M of R-modules [4]. In this paper we show that an algebra A in Br(D) is a maximal order in A K and that the map Br(D).rarw. Br(K) is one to one. We note here few conventions. All rings are Krull domains and all modules will be unitary. By Z we donote the set of height one prime ideals of a Krull domain.

• Bulletin of the Korean Mathematical Society
• /
• v.32 no.2
• /
• pp.321-328
• /
• 1995

In this note all are commutative rings with identity and all modules are unital. Let R be a ring. An R-module M is called a multiplication module if for every submodule N of M there esists an ideal I of R such that N = IM. Clearly the ring R is a multiplication module as a module over itself. Also, it is well known that invertible and more generally profective ideals of R are multiplication R-modules (see [11, Theorem 1]).