• Bulletin of the Korean Mathematical Society
• /
• v.47 no.5
• /
• pp.1053-1066
• /
• 2010

In this paper, several properties of endomorphism rings of modules are investigated. A multiplication module M over a commutative ring R induces a commutative ring $M^*$ of endomorphisms of M and hence the relation between the prime (maximal) submodules of M and the prime (maximal) ideals of $M^*$ can be found. In particular, two classes of ideals of $M^*$ are discussed in this paper: one is of the form $G_{M^*}\;(M,\;N)\;=\;\{f\;{\in}\;M^*\;|\;f(M)\;{\subseteq}\;N\}$ and the other is of the form $G_{M^*}\;(N,\;0)\;=\;\{f\;{\in}\;M^*\;|\;f(N)\;=\;0\}$ for a submodule N of M.

• Journal of the Korean Mathematical Society
• /
• v.53 no.2
• /
• pp.403-414
• /
• 2016

Let R be a ring, and let M be a left R-module. If M is Rad-supplementing, then every direct summand of M is Rad-supplementing, but not each factor module of M. Any finite direct sum of Rad-supplementing modules is Rad-supplementing. Every module with composition series is (Rad-)supplementing. M has a Rad-supplement in its injective envelope if and only if M has a Rad-supplement in every essential extension. R is left perfect if and only if R is semilocal, reduced and the free left R-module $(_RR)^{({\mathbb{N})}$ is Rad-supplementing if and only if R is reduced and the free left R-module $(_RR)^{({\mathbb{N})}$ is ample Rad-supplementing. M is ample Rad-supplementing if and only if every submodule of M is Rad-supplementing. Every left R-module is (ample) Rad-supplementing if and only if R/P(R) is left perfect, where P(R) is the sum of all left ideals I of R such that Rad I = I.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.3
• /
• pp.763-780
• /
• 2020

Let R be a commutative ring. An R-module M is said to be w-flat if Tor ^R₁ (M, N) is GV -torsion for any R-module N. It is known that every flat module is w-flat, but the converse is not true in general. The w-flat dimension of a module is defined in terms of w-flat resolutions. In this paper, we study the w-flat dimension of an injective w-module. To do so, we introduce and study the so-called w-copure (resp., strongly w-copure) flat modules and the w-copure flat dimensions for modules and rings. The relations between the introduced dimensions and other (classical) homological dimensions are discussed. We also study change of rings theorems for the w-copure flat dimension in various contexts. Finally some illustrative examples regarding the introduced concepts are given.

• Honam Mathematical Journal
• /
• v.23 no.1
• /
• pp.5-14
• /
• 2001

Let E be an injective module over a commutative Noetherian ring A. In this paper we will show that if I is regular ideal, then the sequence of sets $$Ass_A((I^n)^{{\star}(E)}/I^n),\;n{\in}N$$ is ultimately constant. Also we obtain some related results. (Here for an ideal J of A, $J^{{\star}(E)}$ denotes the integral closure of J relative to E.

• Journal of the Korean Mathematical Society
• /
• v.54 no.4
• /
• pp.1281-1299
• /
• 2017

A submodule N of a module M is called ${\mathcal{S}}$-closed (in M) if M/N is nonsingular. It is well-known that the class Closed of short exact sequences determined by closed submodules is a proper class in the sense of Buchsbaum. However, the class $\mathcal{S}-Closed$ of short exact sequences determined by $\mathcal{S}$-closed submodules need not be a proper class. In the first part of the paper, we describe the smallest proper class ${\langle}\mathcal{S-Closed}{\rangle}$ containing $\mathcal{S-Closed}$ in terms of $\mathcal{S}$-closed submodules. We show that this class coincides with the proper classes projectively generated by Goldie torsion modules and coprojectively generated by nonsingular modules. Moreover, for a right nonsingular ring R, it coincides with the proper class generated by neat submodules if and only if R is a right SI-ring. In abelian groups, the elements of this class are exactly torsionsplitting. In the second part, coprojective modules of this class which we call ec-flat modules are also investigated. We prove that injective modules are ec-flat if and only if each injective hull of a Goldie torsion module is projective if and only if every Goldie torsion module embeds in a projective module. For a left Noetherian right nonsingular ring R of which the identity element is a sum of orthogonal primitive idempotents, we prove that the class ${\langle}\mathcal{S-Closed}{\rangle}$ coincides with the class of pure-exact sequences of modules if and only if R is a two-sided hereditary, two-sided $\mathcal{CS}$-ring and every singular right module is a direct sum of finitely presented modules.

• Korean Journal of Mathematics
• /
• v.22 no.1
• /
• pp.151-167
• /
• 2014

Let M, N be modules over a ring R and $[M,N]=Hom_R(M,N)$. The concern is study of: (1) Some fundamental properties of [M, N] when [M, N] is regular or semipotent. (2) The substructures of [M, N] such as radical, the singular and co-singular ideals, the total and others has raised new questions for research in this area. New results obtained include necessary and sufficient conditions for [M, N] to be regular or semipotent. New substructures of [M, N] are studied and its relationship with the Tot of [M, N]. In this paper we show that, the endomorphism ring of a module M is regular if and only if the module M is semi-injective (projective) and the kernel (image) of every endomorphism is a direct summand.

• Journal of the Korean Mathematical Society
• /
• v.50 no.6
• /
• pp.1271-1290
• /
• 2013

Let M be a fixed left R-module. For a left R-module X, we introduce the notion of M-prime (resp. M-semiprime) submodule of X such that in the case M=R, it coincides with prime (resp. semiprime) submodule of X. Other concepts encountered in the general theory are M-$m$-system sets, M-$n$-system sets, M-prime radical and M-Baer's lower nilradical of modules. Relationships between these concepts and basic properties are established. In particular, we identify certain submodules of M, called "primeM-ideals", that play a role analogous to that of prime (two-sided) ideals in the ring R. Using this definition, we show that if M satisfies condition H (defined later) and $Hom_R(M,X){\neq}0$ for all modules X in the category ${\sigma}[M]$, then there is a one-to-one correspondence between isomorphism classes of indecomposable M-injective modules in ${\sigma}[M]$ and prime M-ideals of M. Also, we investigate the prime M-ideals, M-prime submodules and M-prime radical of Artinian modules.

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