• Communications of the Korean Mathematical Society
• /
• v.34 no.3
• /
• pp.729-741
• /
• 2019

In this paper we give a full characterization of prime submodules of a finitely generated projective module M over a commutative ring R with identity. Also we study the existence of primary decomposition of a submodule of a finitely generated projective module and characterize the minimal primary decomposition of this submodule. Finally, we characterize the radical of an arbitrary submodule of a finitely generated projective module M and study submodules of M which satisfy the radical formula.

• Kyungpook Mathematical Journal
• /
• v.48 no.1
• /
• pp.143-154
• /
• 2008

Lomp [9] has studied finitely generated projective modules over semilocal rings. He obtained the following: finitely generated projective modules over semilocal rings are semilocal. We shall give necessary and sufficient conditions for finitely generated modules to be semilocal modules. By using a lifting property, we also give characterizations of right perfect (semiperfect) rings. Our main results can be summarized as follows: (1) Let M be a finitely generated module. Then M has finite hollow dimension if and only if M is weakly supplemented if and only if M is semilocal. (2) A ring R is right perfect if and only if every flat right R-module is lifting and every right R-module has a flat cover if and only if every quasi-projective right R-module is lifting. (3) A ring R is semiperfect if and only if every finitely generated flat right R-module is lifting if and only if RR satisfies the lifting property for simple factor modules.

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

• Honam Mathematical Journal
• /
• v.28 no.4
• /
• pp.499-511
• /
• 2006

It is well-known that every finitely generated torsion-free module over a principal ideal domain is free. This will be generalized. We deal with ideals of the finite, external direct product of certain rings. Finally, if M is a torsion-free, finitely generated module over a reduced, Noetherian ring A, then we prove that Ms is a projective module over As, where $S=A{\setminus}(A)$.

• Honam Mathematical Journal
• /
• v.40 no.2
• /
• pp.355-366
• /
• 2018

Let R be a commutative ring with identity and let M be a finitely generated module over a Noetherian local ring R. Then it is well-known that M has a minimal projective resolution, which is unique up to isomorphisms of exact sequences. We provide a new proof of its uniqueness. Moreover, we deal with the cohomologies of (M, R/m).

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.6
• /
• pp.1453-1461
• /
• 2023

Let R be a one-dimensional Noetherian domain with quotient field K and T be the integral closure of R in K. In this note we prove that if the conductor ideal (R :_K T) is a nonzero prime ideal, then every finitely generated reflexive (and hence finitely generated G-projective) R-module is isomorphic to a direct sum of some ideals.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.2
• /
• pp.419-427
• /
• 2020

In this paper, the projectivity of finitely generated flat modules of a commutative ring are studied from a topological point of view. Then various interesting results are obtained. For instance, it is shown that if a ring has either finitely many minimal primes or finitely many maximal ideals then every finitely generated flat module over it is projective. It is also shown that if a particular subset of the prime spectrum of a ring satisfies some certain ascending or descending chain conditions, then every finitely generated flat module over this ring is projective. These results generalize some major results in the literature on the projectivity of finitely generated flat modules.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.4
• /
• pp.971-983
• /
• 2023

In this paper, we prove that a domain R is an FGV-domain if every finitely generated torsion-free R-module is strongly copure projective, and a coherent domain is an FGV-domain if and only if every finitely generated torsion-free R-module is strongly copure projective. To do this, we characterize G-Prüfer domains by G-flat modules, and we prove that a domain is G-Prüfer if and only if every submodule of a projective module is G-flat. Also, we study the D + M construction of G-Prüfer domains. It is seen that there exists a non-integrally closed G-Prüfer domain that is neither Noetherian nor divisorial.

• Bulletin of the Korean Mathematical Society
• /
• v.55 no.2
• /
• pp.649-657
• /
• 2018

Let R be a commutative ring. In this paper, the w-projective Basis Lemma for w-projective modules is given. Then it is shown that for a domain, nonzero w-projective ideals and nonzero w-invertible ideals coincide. As an application, it is proved that R is a Krull domain if and only if every submodule of finitely generated projective modules is w-projective.

• Honam Mathematical Journal
• /
• v.39 no.4
• /
• pp.677-688
• /
• 2017

Let P be a finitely generated projective module over a commutative ring R with identity. If P has finite rank, then it will be shown that the map ${\varphi}:Aut_R(P){\rightarrow}U(R)$ defined by ${\varphi}({\alpha})={\det}({\alpha})$ is locally surjective and $Ker({\varphi})=SL_R(P)$.