• Journal of the Korean Mathematical Society
• /
• v.55 no.4
• /
• pp.809-832
• /
• 2018

In this paper, we form the basis of the abstract theory for constructing the $K{\ddot{u}}nneth$ spectral sequence for a complex of Banach spaces. As the category of Banach spaces is not abelian, several difficulties occur and hinder us from applying the usual method of homological algebra directly. The most notable facts are the image of a morphism of Banach spaces is not necessarily a Banach space, and also the closed summand of a Banach space need not be a topological direct summand. So, we consider some conditions and categorical terms that fit the category of Banach spaces to modify the familiar method of homological algebra.

• Kyungpook Mathematical Journal
• /
• v.50 no.1
• /
• pp.101-107
• /
• 2010

A module M is said to satisfy the $EC_{11}$ condition if every ec-submodule of M has a complement which is a direct summand. We show that for a multiplication module over a commutative ring the $EC_{11}$ and P-extending conditions are equivalent. It is shown that the $EC_{11}$ property is not inherited by direct summands. Moreover, we prove that if M is an $EC_{11}$-module where SocM is an ec-submodule, then it is a direct sum of a module with essential socle and a module with zero socle. An example is given to show that the reverse of the last result does not hold.

• Kyungpook Mathematical Journal
• /
• v.54 no.2
• /
• pp.237-247
• /
• 2014

The purpose of this paper is to introduce the concept of strongly extending modules which are particular subclass of the class of extending modules, and study some basic properties of this new class of modules. A module M is called strongly extending if each submodule of M is essential in a fully invariant direct summand of M. In this paper we examine the behavior of the class of strongly extending modules with respect to the preservation of this property in direct summands and direct sums and give some properties of these modules, for instance, strongly summand intersection property and weakly co-Hopfian property. Also such modules are characterized over commutative Dedekind domains.

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

• Honam Mathematical Journal
• /
• v.37 no.1
• /
• pp.7-27
• /
• 2015

Kuneth formula is to compute (co)-homology of $A{\otimes}B$ for known (co)-homology of the complexes A and B. In the ordinary case, this is done by using elementary homological methods in an abelian category. However, when we consider the bounded cochain complex with values in $\mathbb{R}$ and its structure as a real Banach space, the techniques of homological algebra for constructing K$\ddot{u}$nneth type formulas on it are not effective. The most notable facts are the image of a morphism of Banach spaces is not necessarily closed, and also the closed summand of a Banach space need not be a topological direct summand. The main goal of this paper is to construct the theory of K$\ddot{u}$nneth type formula on bounded cohomology with real coefficients in the suitable category of Banach spaces with some restricted conditions.

• Kyungpook Mathematical Journal
• /
• v.60 no.1
• /
• pp.45-51
• /
• 2020

A module M is called FI-extending if every fully invariant submodule of M is essential in a direct summand of M. In this work, we define a module M to be generalized FI-extending (GFI-extending) if for any fully invariant submodule N of M, there exists a direct summand D of M such that N ≤ D and that D/N is singular. The classes of FI-extending modules and singular modules are properly contained in the class of GFI-extending modules. We first develop basic properties of this newly defined class of modules in the general module setting. Then, the GFI-extending property is shown to carry over to matrix rings. Finally, we show that the class of GFI-extending modules is closed under direct sums but not under direct summands. However, it is proved that direct summands are GFI-extending under certain restrictions.

• Bulletin of the Korean Mathematical Society
• /
• v.36 no.2
• /
• pp.337-342
• /
• 1999

M. Cohen and S. Montgomery showed that a Maschke-type theorem for the smash product, which unlike the corresponding result for group actions, does not require any assumptions about the characterstic of the algebra. Our purpose in this paper is a Maschke-type theorem for the graded smash coproduct C⋊kG: let V be a right C⋊kG-comodule and W a C⋊kG-subcomoduleof V which is a C-direct summand of V. Then W is a C⋊kG-direct summand of V. Also this result is equivalent to the following : let V be a graded right C-comodule and W a graded subcomodule of V which has a complement as a C-subcomodule of V. Then W has a graded complement.

• East Asian mathematical journal
• /
• v.10 no.2
• /
• pp.261-263
• /
• 1994

• Communications of the Korean Mathematical Society
• /
• v.10 no.4
• /
• pp.811-813
• /
• 1995

The purpose of this paper is to prove the divisibility of a direct injective module and every closed submodule of a $\pi$-injective module M is a direct summand of M.

• Bulletin of the Korean Mathematical Society
• /
• v.33 no.3
• /
• pp.445-453
• /
• 1996

A closed subspace J of a Banach space X is called an M-ideal in X if the annihilator $J^\perp$ of J is an L-summand of $X^*$. That is, there exists a closed subspace J' of $X^*$ such that $X^* = J^\perp \oplus J'$ and $\left\$\mid$ p + q \right\$\mid$ = \left\$\mid$ p \right\$\mid$ + \left\$\mid$ q \right\$\mid$$ wherever $p \in J^\perp and q \in J'$.