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

• Bulletin of the Korean Mathematical Society
• /
• v.49 no.3
• /
• pp.601-608
• /
• 2012

The following statements for an infra-Krull domain $R$ are shown to be equivalent: (1) $R$ is a Krull domain; (2) for any essentially finite $w$-module $M$ over $R$, the torsion submodule $t(M)$ of $M$ is a direct summand of $M$; (3) for any essentially finite $w$-module $M$ over $R$, $t(M){\cap}pM=pt(M)$, for all maximal $w$-ideal $p$ of $R$; (4) $R$ satisfies the $w$-radical formula; (5) the $R$-module $R{\oplus}R$ satisfies the $w$-radical formula.

• Honam Mathematical Journal
• /
• v.42 no.3
• /
• pp.511-520
• /
• 2020

A module M is called cofinitely closed weak δ-supplemented (briefly δ-ccws-module) if for any cofinite closed submodule N of M has a weak δ-supplement in M. In this paper we investigate the basic properties of δ-ccws modules. In the light of this study, we can list the main facts obtained as following: (1) Any cofinite closed direct summand of a δ-ccws module is also a δ-ccws module; (2) Let R be a left δ-V -ring. Then R is a δ-ccws module iff R is a ccws-module iff R is extending; (3) Any nonsingular homomorphic image of a δ-ccws-module is also a δ-ccws-module; (4) We characterize nonsingular δ-V -rings in which all nonsingular modules are δ-ccws.

• Kyungpook Mathematical Journal
• /
• v.51 no.4
• /
• pp.375-384
• /
• 2011

We study Baer and quasi-Baer modules over some classes of rings. We also introduce a new class of modules called AI-modules, in which the kernel of every nonzero endomorphism is contained in a proper direct summand. The main results obtained here are: (1) A module is Baer iff it is an AI-module and has SSIP. (2) For a perfect ring R, the direct sum of Baer modules is Baer iff R is primary decomposable. (3) Every injective R-module is quasi-Baer iff R is a QI-ring.

• Honam Mathematical Journal
• /
• v.41 no.3
• /
• pp.531-538
• /
• 2019

We introduce FI-${\oplus}$-supplemented modules as a proper generalization of ${\oplus}$-supplemented modules. We prove that; (1) every finite direct sum of FI-${\oplus}$-supplemented R-modules is an FI-${\oplus}$-supplemented R-module for any ring R ; (2) if every left R-module is FI-${\oplus}$-supplemented over a semilocal ring R, then R is left perfect; (3) if M is a finitely generated torsion-free uniform R-module over a commutative integrally closed domain such that every direct summand of M is FI-${\oplus}$-supplemented, then M is a direct sum of cyclic modules.

• Bulletin of the Korean Mathematical Society
• /
• v.59 no.1
• /
• pp.27-43
• /
• 2022

The one-sided fattenings (called semi-ribbon graph in this paper) of the graph embedded in the real projective plane ℝℙ² are completely classified up to topological equivalence. A planar graph (i.e., embedded in the plane), admitting the one-sided fattening, is known to be a cactus boundary. For the graphs embedded in ℝℙ² admitting the one-sided fattening, unlike the planar graphs, a new building block appears: a bracelet along the Möbius band, which is not a connected summand of the oriented surfaces.

• Honam Mathematical Journal
• /
• v.45 no.1
• /
• pp.146-159
• /
• 2023

In this paper, we define ⊕_δ-co-coatomically supplemented and co-coatomically δ-semiperfect modules as a strongly notion of ⊕-co-coatomically supplemented and co-coatomically semiperfect modules with the help of Zhou's radical. We say that a module A is ⊕_δ-co-coatomically supplemented if each co-coatomic submodule of A has a δ-supplement in A which is a direct summand of A. And a module A is co-coatomically δ-semiperfect if each coatomic factor module of A has a projective δ-cover. Also we define co-coatomically amply δ-supplemented modules and we examined the basic properties of these modules. Furthermore, we give a ring characterization for our modules. In particular, a ring R is δ-semiperfect if and only if each free R-module is co-coatomically δ-semiperfect.

• Bulletin of the Korean Mathematical Society
• /
• v.59 no.2
• /
• pp.453-468
• /
• 2022

In this article, we define a module M to be G^z-extending if and only if for each z-closed submodule X of M there exists a direct summand D of M such that X ∩ D is essential in both X and D. We investigate structural properties of G^z-extending modules and locate the implications between the other extending properties. We deal with decomposition theory as well as ring and module extensions for G^z-extending modules. We obtain that if a ring is right G^z-extending, then so is its essential overring. Also it is shown that the G^z-extending property is inherited by its rational hull. Furthermore it is provided some applications including matrix rings over a right G^z-extending ring.

• Communications of the Korean Mathematical Society
• /
• v.10 no.3
• /
• pp.499-518
• /
• 1995

In this paper we consider more systematically the centralizer C(S) of the set $S = {f_a $\mid$ f_a : X \to X ; x \longmapsto x * a, a \in X}$ with respect to the semigroup End(X) of all endomorphisms of an implicative BCK-algebra X with the condition (S). We obtain a series of interesting results. The main results are stated as follows : (1) C(S) with repect to a binary operation * defined in a certain way forms a bounded implicative BCK-algebra with the condition (S). (2) X can be imbedded in C(S) such that X is an ideal of C(S)/ (3) If X is not bounded, it can be imbedded in a bounded subalgebra T of C(S) such that X is a maximal ideal of T. (4) If $X (\neq {0})$ is semisimple, C(S) is BCK-isomorphic to $\prod_{i \in I}{A_i}$ in which ${A_i}_{i \in I}$ is simple ideal family of X.