• Honam Mathematical Journal
• /
• v.45 no.2
• /
• pp.269-284
• /
• 2023

In this paper we study generalizations of the concept of pure-direct-projectivity from module categories to Grothendieck categories. We examine for which categories or under what conditions pure-direct-projective objects are direct-projective, quasi-projective, pure-projective, projective and flat. We investigate classes all of whose objects are pure-direct-projective. We give applications of some of the results to comodule categories.

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

• Communications of the Korean Mathematical Society
• /
• v.12 no.4
• /
• pp.865-868
• /
• 1997

Let R be a ring with a unity and let M be a unitary left R-module. In this paper, we establish [5, Proposition 2.8] by showing the proof of it. Moreover, from the above result, we obtain some properties of direct projective modules which have the summand sum property.

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

• Kyungpook Mathematical Journal
• /
• v.56 no.1
• /
• pp.83-94
• /
• 2016

Let M and N be modules over a ring R. The purpose of this paper is to study modules M, N for which the bi-module [M, N] is regular or pi. It is proved that the bi-module [M, N] is regular if and only if a module N is semi M-projective and $Im({\alpha}){\subseteq}^{\oplus}N$ for all ${\alpha}{\in}[M,N]$, if and only if a module M is semi N-injective and $Ker({\alpha}){\subseteq}^{\oplus}N$ for all ${\alpha}{\in}[M,N]$. Also, it is proved that the bi-module [M, N] is pi if and only if a module N is direct M-projective and for any ${\alpha}{\in}[M,N]$ there exists ${\beta}{\in}[M,N]$ such that $Im({\alpha}{\beta}){\subseteq}^{\oplus}N$, if and only if a module M is direct N-injective and for any ${\alpha}{\in}[M,N]$ there exists ${\beta}{\in}[M,N]$ such that $Ker({\beta}{\alpha}){\subseteq}^{\oplus}M$. The relationship between the Jacobson radical and the (co)singular ideal of [M, N] is described.

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

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

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

• Communications of the Korean Mathematical Society
• /
• v.35 no.2
• /
• pp.469-480
• /
• 2020

Let R be a commutative ring with identity and M a unital R-module. We give a new generalization of exact sequences called e-exact sequences. A sequence $0{\rightarrow}A{\longrightarrow[20]^f}B{\longrightarrow[20]^g}C{\rightarrow}0$ is said to be e-exact if f is monic, Imf ≤_e Kerg and Img ≤_e C. We modify many famous theorems including exact sequences to one includes e-exact sequences like 3 × 3 lemma, four and five lemmas. Next, we prove that for torsion-free module M, the contravariant functor Hom(-, M) is left e-exact and the covariant functor M ⊗ - is right e-exact. Finally, we define e-projective module and characterize it. We show that the direct sum of R-modules is e-projective module if and only if each summand is e-projective.