• Bulletin of the Korean Mathematical Society
• /
• v.47 no.4
• /
• pp.693-699
• /
• 2010

In this paper we show that the flat property of a left R-module does not imply (carry over) to the corresponding inverse polynomial module. Then we define an induced inverse polynomial module as an R[x]-module, i.e., given an R-linear map f : M $\rightarrow$ N of left R-modules, we define $N+x^{-1}M[x^{-1}]$ as a left R[x]-module. Given an exact sequence of left R-modules $$0\;{\rightarrow}\;N\;{\rightarrow}\;E^0\;{\rightarrow}\;E^1\;{\rightarrow}\;0$$, where $E^0$, $E^1$ injective, we show $E^1\;+\;x^{-1}E^0[[x^{-1}]]$ is not an injective left R[x]-module, while $E^0[[x^{-1}]]$ is an injective left R[x]-module. Make a left R-module N as a left R[x]-module by xN = 0. We show inj $dim_R$ N = n implies inj $dim_{R[x]}$ N = n + 1 by using the induced inverse polynomial modules and their properties.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.2
• /
• pp.339-348
• /
• 2023

It is shown that every nilpotent-invariant module can be decomposed into a direct sum of a quasi-injective module and a square-free module that are relatively injective and orthogonal. This paper is also concerned with rings satisfying every cyclic right R-module is nilpotent-invariant. We prove that R ≅ R₁ × R₂, where R₁, R₂ are rings which satisfy R₁ is a semi-simple Artinian ring and R₂ is square-free as a right R₂-module and all idempotents of R₂ is central. The paper concludes with a structure theorem for cyclic nilpotent-invariant right R-modules. Such a module is shown to have isomorphic simple modules eR and fR, where e, f are orthogonal primitive idempotents such that eRf ≠ 0.

• Honam Mathematical Journal
• /
• v.28 no.3
• /
• pp.377-386
• /
• 2006

For a commutative ring with unity R, it is proved that R is a PF-ring if and only if the annihilator, $ann_R(a)$, for each $a{\in}R$ is a pure ideal in R. Also it is proved that the polynomial ring, R[x], is a PF-ring if and only if R is a PF-ring. Finally, we prove that M as an R-module is PF-module if and only if M[x] is a PF R[x]-module. Also M is a PP R-module if and only if M[x] is a PP R[x]-module.

• East Asian mathematical journal
• /
• v.17 no.2
• /
• pp.367-374
• /
• 2001

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[x]-module. Park generalized 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 $\mathbb{N}$($\mathbb{N}$ is the set of all natural numbers). In this paper we extend the injective property to the Laurent power series module so that if R is a ring and E is an injective left R-module, then $E[[x^{-1},x]]$ is an injective left $R[x^S]$-module.

• The Pure and Applied Mathematics
• /
• v.13 no.3 s.33
• /
• pp.167-187
• /
• 2006

We introduce the concepts of intuitionistic fuzzy submodules and intuitionistic fuzzy weak congruences on an R-module (Near-ring module). And we obtain the correspondence between intuitionistic fuzzy weak congruences and intuitionistic fuzzy submodules of an R-module. Also, we define intuitionistic fuzzy quotient R-module of an R-module over an intuitionistic fuzzy submodule and obtain the correspondence between intuitionistic fuzzy weak congruences on an R-module and intuitionistic fuzzy weak congruences on intuitionistic fuzzy quotient R-module over an intuitionistic fuzzy submodule of an R-module.

• Bulletin of the Korean Mathematical Society
• /
• v.20 no.1
• /
• pp.31-36
• /
• 1983

Let R be a commutative ring with 1, and A a unitary commutative R-algebra. By a derivation module of A, we mean a pair (M, d), where M is an A-module and d: A.rarw.M and R-derivation, i.e., d is an R-linear mapping such that d(ab)=a)db)+b(da). A derivation module homomorphism f:(M,d).rarw.(N, .delta.) is an A-homomorphism f:M.rarw.N such that f.d=.delta.. A derivation module of A, (U, d), there exists a unique derivation module homomorphism f:(U, d).rarw.(M,.delta.). In fact, a universal derivation module of A exists in the category of derivation modules of A, and is unique up to unique derivation module isomorphisms [2, pp. 101]. When (U,d) is a universal derivation module of R-algebra A, the A-module U is denoted by U(A/R). For out convenience, U(A/R) will also be called a universal derivation module of A, and d the R-derivation corresponding to U(A/R).

• Bulletin of the Korean Mathematical Society
• /
• v.45 no.3
• /
• pp.445-456
• /
• 2008

Let M be a right R-module, G an ordered group and ${\sigma}$ a map from G into the group of automorphisms of R. The conditions under which the Malcev-Neumann module M* ((G)) is a PS module and a p.q.Baer module are investigated in this paper. It is shown that: (1) If $M_R$ is a reduced ${\sigma}$-compatible module, then the Malcev-Neumann module M* ((G)) over a PS-module is also a PS-module; (2) If $M_R$ is a faithful ${\sigma}$-compatible module, then the Malcev-Neumann module M* ((G)) is a p.q.Baer module if and only if the right annihilator of any G-indexed family of cyclic submodules of M in R is generated by an idempotent of R.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.2
• /
• pp.505-514
• /
• 2019

Let R be a commutative ring with identity and M be a unitary R-module. A submodule N of M is called a dense submodule if $Hom_R(M/N,\;E_R(M))=0$, where $E_R(M)$ is the injective hull of M. The R-module M is said to be monoform if any nonzero submodule of M is a dense submodule. In this paper, among the other results, it is shown that any kind of the following module is monoform. (1) The prime R-module M such that for any nonzero submodule N of M, $Ann_R(M/N){\neq}Ann_R(M)$. (2) Strongly prime R-module. (3) Faithful multiplication module over an integral domain.

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