• Honam Mathematical Journal
• /
• v.39 no.2
• /
• pp.275-296
• /
• 2017

All rings considered here are commutative rings with identity and all modules considered here are unital left modules. A submodule N of an R-module M is said to be extended to M if $N=aM$ for some ideal a of R and it is said to be fully invariant if ${\varphi}(L){\subseteq}L$ for every ${\varphi}{\in}End(M)$. An R-module M is called a [resp., fully invariant] multiplication module if every [resp., fully invariant] submodule is extended to M. The class of fully invariant multiplication modules is bigger than the class of multiplication modules. We deal with prime submodules and associated prime submodules of fully invariant multiplication modules. In particular, when M is a nonzero faithful multiplication module over a Noetherian ring, we characterize the zero-divisors of M in terms of the associated prime submodules, and we show that the set Aps(M) of associated prime submodules of M determines the set $Zdv_M(M)$ of zero-dvisors of M and the support Supp(M) of M.

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

In this paper, we introduce and study the notions of weakly ⊕-supplemented modules, weakly D2 modules and weakly D2-covers. A right R-module M is called weakly ⊕-supplemented if every non-small submodule of M has a supplement that is not essential in M, and module M_R is called weakly D2 if it satisfies the condition: for every s ∈ S and s ≠ 0, if there exists n ∈ ℕ such that sⁿ ≠ 0 and Im(sⁿ) is a direct summand of M, then Ker(sⁿ) is a direct summand of M. The class of weakly ⊕-supplemented-modules and weakly D2 modules contains ⊕-supplemented modules and D2 modules, respectively, and they are equivalent in case M is uniform, and projective, respectively.

• Journal of the Korean Mathematical Society
• /
• v.58 no.6
• /
• pp.1513-1528
• /
• 2021

Let R be a commutative ring with prime nilradical Nil(R) and M an R-module. Define the map 𝜙 : R → R_Nil(R) by ${\phi}(r)=\frac{r}{1}$ for r ∈ R and 𝜓 : M → M_Nil(R) by ${\psi}(x)=\frac{x}{1}$ for x ∈ M. Then 𝜓(M) is a 𝜙(R)-module. An R-module P is said to be 𝜙-projective if 𝜓(P) is projective as a 𝜙(R)-module. In this paper, 𝜙-exact sequences and 𝜙-projective R-modules are introduced and the rings over which all R-modules are 𝜙-projective are investigated.

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

• Bulletin of the Korean Mathematical Society
• /
• v.49 no.5
• /
• pp.1067-1079
• /
• 2012

Let M be a right R-module, (S, ${\leq}$) a strictly totally ordered monoid which is also artinian and ${\omega}:S{\rightarrow}Aut(R)$ a monoid homomorphism, and let $[M^{S,{\leq}}]_{[[R^{S,{\leq}},{\omega}]]$ denote the generalized inverse polynomial module over the skew generalized power series ring [[$R^{S,{\leq}},{\omega}$]]. In this paper, we prove that $[M^{S,{\leq}}]_{[[R^{S,{\leq}},{\omega}]]$ has the same uniform dimension as its coefficient module $M_R$, and that if, in addition, R is a right perfect ring and S is a chain monoid, then $[M^{S,{\leq}}]_{[[R^{S,{\leq}},{\omega}]]$ has the same couniform dimension as its coefficient module $M_R$.

• East Asian mathematical journal
• /
• v.16 no.1
• /
• pp.111-123
• /
• 2000

Northcott and McKerrow proved that if R is a left noetherian ring and E is an injective left R-module, then $E[x^{-1}]$ is an injective left R[xl-module. Park generalize Northcott and McKerrow's result so that if R is a left noetherian ring and E is an injective left R-module, then $E[x^{-S}]$ is an injective left $R[x^s]$-module, where S is a submonoid of N(N is the set of all natural numbers). In this paper we show $$Hom_{R[x^S]}(M[x^{-S}],\;N[x^{-S}]){\cong}Hom_R(M,\;N)[[x^S]]$$ and using the above result and this isomorphism, finally we show that $$Ext^i_{R[x^S]}(M[x^{-S}],\;N[x^{-S}]){\cong}Ext^i_R(M,\;N)[[x^S]]$$.

• Journal of the Korean Mathematical Society
• /
• v.50 no.1
• /
• pp.203-218
• /
• 2013

Let R be a ring. A right R-module M is called GI-flat if $Tor^R_1(M,G)=0$ for every Gorenstein injective left R-module G. It is shown that GI-flat modules lie strictly between flat modules and copure flat modules. Suppose R is an $n$-FC ring, we prove that a finitely presented right R-module M is GI-flat if and only if M is a cokernel of a Gorenstein flat preenvelope K ${\rightarrow}$ F of a right R-module K with F flat. Then we study GI-flat dimensions of modules and rings. Various results in [6] are developed, some new characterizations of von Neumann regular rings are given.

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

Let M be a finitely generated G-projective R-module over a PVMD R. We prove that M is projective if and only if the canonical map θ : M⨂_R M^∗ → Hom_R(Hom_R(M, M), R) is a surjective homomorphism. Particularly, if G-gldim(R) ⩽ ∞ and Extⁱ_R(M, M) = 0 (i ⩾ 1), then M is projective.

• Journal of applied mathematics & informatics
• /
• v.17 no.1_2_3
• /
• pp.771-778
• /
• 2005

In this paper we shall give some group properties derived from the characteristic ring-module $_X(M)$, using the fact that $_X(M)_H$ is a conjugate to $_X(M)_{Ha}$ when M is an invertible right R-module. Also we shall prove that_X(M)$ is group-isomorphic to TR and some normal subgroup properties if M is invertible and R is commutative.

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