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

• Communications of the Korean Mathematical Society
• /
• v.38 no.1
• /
• pp.21-38
• /
• 2023

Let R be a commutative ring with identity. Let R be an integral domain and M a torsion-free R-module. We investigate the relation between the notion of e-exactness, recently introduced by Akray and Zebari [1], and generalized the concept of homology, and establish a relation between e-exact sequences and homology of modules. We modify some applications of e-exact sequences in homology and reprove some results of homology with e-exact sequences such as horseshoe lemma, long exact sequences, connecting homomorphisms and etc. Next, we generalize two special drived functor T or and Ext, and study some properties of them.

• Communications of the Korean Mathematical Society
• /
• v.18 no.2
• /
• pp.225-233
• /
• 2003

In this paper, we obtain Hon(P,- ) is an exact functor if P is a p-projective BCI-algebra.

• Kyungpook Mathematical Journal
• /
• v.61 no.1
• /
• pp.111-137
• /
• 2021

Higson proved that every homotopy invariant, stable and split exact functor from the category of C⁎-algebras to an additive category factors through Kasparov's KK-theory. By adapting a group equivariant generalization of this result by Thomsen, we generalize Higson's result to the inverse semigroup and locally compact, not necessarily Hausdorff groupoid equivariant setting.

• Journal of the Korean Mathematical Society
• /
• v.39 no.6
• /
• pp.881-898
• /
• 2002

Our aim in this paper is to introduce a generalization of some notions in homological algebra. We define the concepts of chain U-complex, U-homology, chain (U, U')-map, chain (U, U')-homotopy and $\mu$-functor. We also obtain some interesting results. We use these results to find a generalization of Lambek Lemma, Snake Lemma, Connecting Homomorphism and Exact Triangle.

• Honam Mathematical Journal
• /
• v.29 no.2
• /
• pp.289-297
• /
• 2007

In this paper, we show that BCI-algebras P and Q are injective if and only if its direct sum P $\oplus$ Q is injective. Moreover, we obtain the equivalent conditions for a p-semisimple BCI-algebra to be p-injective.

• Journal of the Korean Mathematical Society
• /
• v.58 no.2
• /
• pp.351-381
• /
• 2021

In this paper we introduce the notion of strong Galois H-progenerator object for a finite cocommutative Hopf quasigroup H in a symmetric monoidal category C. We prove that the set of isomorphism classes of strong Galois H-progenerator objects is a subgroup of the group of strong Galois H-objects introduced in [3]. Moreover, we show that strong Galois H-progenerator objects are preserved by strong symmetric monoidal functors and, as a consequence, we obtain an exact sequence involving the associated Galois groups. Finally, to the previous functors, if H is finite, we find exact sequences of Picard groups related with invertible left H-(quasi)modules and an isomorphism Pic(HMod) ≅ Pic(C)⊕G(H∗) where Pic(HMod) is the Picard group of the category of left H-modules, Pic(C) the Picard group of C, and G(H∗) the group of group-like morphisms of the dual of H.