• Journal of the Korean Mathematical Society
• /
• v.42 no.5
• /
• pp.933-948
• /
• 2005

Let R be a commutative ring with identity and let M be an R-module. Then M is called a multiplication module if for every submodule N of M there exists an ideal I of R such that N = 1M. Let M be a non-zero multiplication R-module. Then we prove the following: (1) there exists a bijection: N(M)$\bigcap$V(ann$\_{R}$(M))$\rightarrow$Spec$\_{R}$(M) and in particular, there exists a bijection: N(M)$\bigcap$Max(R)$\rightarrow$Max$\_{R}$(M), (2) N(M) $\bigcap$ V(ann$\_{R}$(M)) = Supp(M) $\bigcap$ V(ann$\_{R}$(M)), and (3) for every ideal I of R, The ideal $\theta$(M) = $\sum$$\_{m(Rm :R M) of R has proved useful in studying multiplication modules. We generalize this ideal to prove the following result: Let R be a commutative ring with identity, P $\in$ Spec(R), and M a non-zero R-module satisfying (1) M is a finitely generated multiplication module, (2) PM is a multiplication module, and (3) P$^{n}$M$\neq$P$^{n+1}$ for every positive integer n, then $\bigcap$$^{$\_{n=1}$(P$^{n}$ + ann$\_{R}$(M)) $\in$ V(ann$\_{R}$(M)) = Supp(M) $\subseteq$ N(M).

• Honam Mathematical Journal
• /
• v.38 no.2
• /
• pp.259-267
• /
• 2016

A module M over an associative ring R with unity is a QTAG-module if every finitely generated submodule of any homomorphic image of M is a direct sum of uniserial modules. Recently, the authors introduced the classes of QTAG-modules namely as socle-regular and strongly socle-regular QTAG-modules which properly contain the classes of transitive and fully transitive QTAG-modules respectively. Here we define strongly and quasi transitivities and study the inter relations between various type of transitivities.

• Communications of the Korean Mathematical Society
• /
• v.15 no.3
• /
• pp.453-467
• /
• 2000

For any S-flat module RM(which will be called endoflat) with a commutaitve ring R with identity, where S is the endomorphism ring RM, the fact that every epimorphism is an automorphism has been proved and the Jacobson Radical Rad(S) of S is described as follow; Rad(S) = { f$\in$S｜Imf=Mf is small in M} = {f$\in$S｜Imf $\leq$Rad(M)}. Additionally for any quasi-injective endo-flat module RM, the fact that every monomorphism is an automorphism has been proved and the Jacobson Radical Rad(S) for any quasi-injective endo-flat module has been studied too. Also some equivalent conditions for the semi-primitivity of any faithful endo-flat module RM with the open Jacobson Radical Rad(M) and those for the semi-simplicity of any faithful endo-flat quasi-injective module RM with the closed Socle Soc(M) have been studied.

• 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.