• Communications of the Korean Mathematical Society
• /
• v.19 no.4
• /
• pp.619-637
• /
• 2004

In this paper, a left module over an associative ring with identity is defined to be openly semiprimitive (strongly semiprimitive, respectively) by the zero intersection of all maximal open fully invariant submodules (all maximal open submodules which are fully invariant, respectively) of it. For any projective module, the openly semiprimitivity of the projective module is an equivalent condition of the semiprimitivity of endomorphism ring of the projective module and the strongly semiprimitivity of the projective module is an equivalent condition of the endomorphism ring of the projective module being a sub direct product of a set of subdivisions of division rings.

• Korean Journal of Mathematics
• /
• v.18 no.3
• /
• pp.243-252
• /
• 2010

In this paper we extend the projective properties of representations of a quiver $Q={\bullet}{\rightarrow}{\bullet}$ as left R-modules to the projective properties of representations of quiver $Q={\bullet}{\rightarrow}{\bullet}$ as left $R[x]$-modules. We show that if P is a projective left R-module then $0{\rightarrow}P[x]$ is a projective representation of a quiver $Q={\bullet}{\rightarrow}{\bullet}$ as $R[x]$-modules. And we show $0{\rightarrow}L$ is a projective representation of $Q={\bullet}{\rightarrow}{\bullet}$ as R-module if and only if $0{\rightarrow}L[x]$ is a projective representation of a quiver $Q={\bullet}{\rightarrow}{\bullet}$ as $R[x]$-modules. Then we show if P is a projective left R-module then $R[x]\longrightarrow^{id}P[x]$ is a projective representation of a quiver $Q={\bullet}{\rightarrow}{\bullet}$ as $R[x]$-modules. We also show that if $L\longrightarrow^{id}L$ is a projective representation of $Q={\bullet}{\rightarrow}{\bullet}$ as R-module, then $L[x]\longrightarrow^{id}L[x]$ is a projective representation of a quiver $Q={\bullet}{\rightarrow}{\bullet}$ as $R[x]$-modules.

• Kyungpook Mathematical Journal
• /
• v.64 no.1
• /
• pp.1-14
• /
• 2024

Recently, Zhao, Wang, and Pu introduced and studied new concepts of nonnil-commutative diagrams and nonnil-projective modules. They proved that an R-module that is nonnil-isomorphic to a projective module is nonnil-projective, and they proposed the following problem: Is every nonnil-projective module nonnil-isomorphic to some projective module? In this paper, we delve into some new properties of nonnil-commutative diagrams and answer this problem in the affirmative.

• Korean Journal of Mathematics
• /
• v.25 no.4
• /
• pp.587-606
• /
• 2017

This paper is a continuation of study semi-potentness endomorphism rings of module. We give some other characterizations of endomorphism ring to be semi-potent. New results are obtained including necessary and sufficient conditions for the endomorphism ring of semi(injective) projective module to be semi-potent. Finally, we characterize a module M whose endomorphism ring it is semi-potent via direct(injective) projective modules. Several properties of the endomorphism ring of a semi(injective) projective module are obtained. Besides to that, many necessary and sufficient conditions are obtained for semi-projective, semi-injective modules to be semi-potent and co-semi-potent modules.

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

• Korean Journal of Mathematics
• /
• v.20 no.3
• /
• pp.343-352
• /
• 2012

In this paper we show that the projective properties of representations of a quiver $Q={\bullet}{\rightarrow}{\bullet}{\rightarrow}{\bullet}$ as left $R[x]$-modules. We show that if P is a projective left R-module then $0{\longrightarrow}0{\longrightarrow}P[x]$ is a projective representation of a quiver Q as $R[x]$-modules, but $P[x]{\longrightarrow}0{\longrightarrow}0$ is not a projective representation of a quiver Q as $R[x]$-modules, if $P{\neq}0$. And we show a representation $0{\longrightarrow}P[x]\longrightarrow^{id}P[x]$ of a quiver Q is a projective representation, if P is a projective left R-module, but $P[x]\longrightarrow^{id}P[x]{\longrightarrow}0$ is not a projective representation of a quiver Q as $R[x]$-modules, if $P{\neq}0$. Then we show a representation $P[x]\longrightarrow^{id}P[x]\longrightarrow^{id}P[x]$ of a quiver Q is a projective representation, if P is a projective left R-module.

• Journal of the Chungcheong Mathematical Society
• /
• v.1 no.1
• /
• pp.43-53
• /
• 1988

The main result of this paper is a characterization of almost projective modules over art in algebras by means of irreducible maps and almost split sequences. A module X is an almost projective module if and only if it has a presentation $0{\longrightarrow}L{\longrightarrow^{\alpha}}P{\longrightarrow}X{\longrightarrow}0$ with projective module P and irreducible maps ${\alpha}$. Let X be an injective almost projective non simple module and $0{\rightarrow}Dtr(x){\rightarrow}E{\rightarrow}X{\rightarrow}0$ be an almost split sequence. If $E=E_1{\oplus}E_2$ is a direct decomposition of indecomposable modules then ${\ell}(X)=3$.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.2
• /
• pp.497-505
• /
• 2021

Let R → S be a ring homomorphism. The relations of Gorenstein projective dimension with respect to a semidualizing module of homologically bounded complexes between U ⊗LR X and X are considered, where X is an R-complex and U is an S-complex. Some sufficient conditions are given under which the equality ${\mathcal{GP}}_{\tilde{C}}-pd_S(S{\otimes}{L \atop R}X)={\mathcal{GP}}_C-pd_R(X)$ holds. As an application it is shown that the Auslander-Buchsbaum formula holds for GC-projective dimension.

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