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

• Kyungpook Mathematical Journal
• /
• v.59 no.3
• /
• pp.391-401
• /
• 2019

A module is said to be ${\pi}$-extending provided that every projection invariant submodule is essential in a direct summand of the module. In this article, we focus on the class of modules having the ${\pi}$-extending property by looking at the singularity of quotient submodules. By doing so, we provide counterexamples, using hypersurfaces in projective spaces over complex numbers, to show that being generalized ${\pi}$-extending is not inherited by direct summands. Moreover, it is shown that the direct sums of generalized ${\pi}$-extending modules are generalized ${\pi}$-extending.

• Kyungpook Mathematical Journal
• /
• v.62 no.4
• /
• pp.641-655
• /
• 2022

A right R-module N is called pseudo semisimple-M-injective if for any monomorphism from every semisimple submodule of M to N, can be extended to a homomorphism from M to N. In this paper, we study some properties of pseudo semisimple-injective modules. Moreover, some results of pseudo semisimple-injective modules over formal triangular matrix rings are obtained.

• Kyungpook Mathematical Journal
• /
• v.63 no.1
• /
• pp.15-27
• /
• 2023

A purely extending module is a generalization of an extending module. In this paper, we study several properties of purely extending modules and introduce the notion of purely essentially Baer modules. A module M is said to be a purely essentially Baer if the right annihilator in M of any left ideal of the endomorphism ring of M is essential in a pure submodule of M. We study some properties of purely essentially Baer modules and characterize von Neumann regular rings in terms of purely essentially Baer modules.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.4
• /
• pp.1025-1034
• /
• 2023

Let U be the restricted quantized enveloping algebra Ũ_q(𝖘𝖑₂) over an algebraically closed field of characteristic zero, where q is a primitive 𝑙-th root of unity (with 𝑙 being odd and greater than 1). In this paper we show that any indecomposable submodule of U under the adjoint action is generated by finitely many special elements. Using this result we describe all ideals of U. Moreover, we classify annihilator ideals of simple modules of U by generators.

• Journal of the Korean Mathematical Society
• /
• v.58 no.3
• /
• pp.571-595
• /
• 2021

In this paper we study the algebraic structure of ℤ_pℤ_p[u]/k>-cyclic codes, where u^k = 0 and p is a prime. A ℤ_pℤ_p[u]/k>-linear code of length (r + s) is an R_k-submodule of ℤ^r_p × R^s_k with respect to a suitable scalar multiplication, where R_k = ℤ_p[u]/k>. Such a code can also be viewed as an R_k-submodule of ℤ_p[x]/r - 1> × R_k[x]/s - 1>. A new Gray map has been defined on ℤ_p[u]/k>. We have considered two cases for studying the algebraic structure of ℤ_pℤ_p[u]/k>-cyclic codes, and determined the generator polynomials and minimal spanning sets of these codes in both the cases. In the first case, we have considered (r, p) = 1 and (s, p) ≠ 1, and in the second case we consider (r, p) = 1 and (s, p) = 1. We have established the MacWilliams identity for complete weight enumerators of ℤ_pℤ_p[u]/k>-linear codes. Examples have been given to construct ℤ_pℤ_p[u]/k>-cyclic codes, through which we get codes over ℤ_p using the Gray map. Some optimal p-ary codes have been obtained in this way. An example has also been given to illustrate the use of MacWilliams identity.

• Honam Mathematical Journal
• /
• v.38 no.2
• /
• pp.259-267
• /
• 2016

A module M over an associative ring R with unity is a QTAG-module if every finitely generated submodule of any homomorphic image of M is a direct sum of uniserial modules. Recently, the authors introduced the classes of QTAG-modules namely as socle-regular and strongly socle-regular QTAG-modules which properly contain the classes of transitive and fully transitive QTAG-modules respectively. Here we define strongly and quasi transitivities and study the inter relations between various type of transitivities.

• Honam Mathematical Journal
• /
• v.28 no.4
• /
• pp.533-541
• /
• 2006

let E be a Finsler modules over $C^*$-algebras. A with norm-map $\rho$ and L(E) set of all A-linear bonded operators on E. We show that the canonical homomorphism ${\phi}:L(E){\rightarrow}L(E_I)$ sending each operator T to its restriction $T|E_I$ is injective if and only if I is an essential ideal in the underlying $C^*$-algebra A. We also show that $T{\in}L(E)$ is a bounded below if and only if ${\mid}{\mid}x{\mid}{\mid}={\mid}{\mid}{\rho}{\prime}(x){\mid}{\mid}$ is complete, where ${\rho}{\prime}(x)={\rho}(Tx)$ for all $x{\in}E$. Also, we give a necessary and sufficient condition for the equivalence of the norms generated by the norm map.

• East Asian mathematical journal
• /
• v.27 no.1
• /
• pp.75-82
• /
• 2011

In this paper, we will introduce the concept of fuzzy mulitplication module. We will define a new operation called a product on th family of all fuzzy submodules of a fuzzy mulitplication module. We will define a fuzzy subset of the idealization ring R+M and find some relations with the product of fuzzy submodules and product of fuzzy ideals of the idealization ring R+M. Some properties of weakly fuzzy prime submoduels and fuzzy prime submodules which are de ned by T.K.Mukherjee M.K.Sen and D.Roy will be introduced. We will investigate some properties of fuzzy prime submodules of a fuzzy multiplication module.

• Journal of the Korean Mathematical Society
• /
• v.53 no.2
• /
• pp.403-414
• /
• 2016

Let R be a ring, and let M be a left R-module. If M is Rad-supplementing, then every direct summand of M is Rad-supplementing, but not each factor module of M. Any finite direct sum of Rad-supplementing modules is Rad-supplementing. Every module with composition series is (Rad-)supplementing. M has a Rad-supplement in its injective envelope if and only if M has a Rad-supplement in every essential extension. R is left perfect if and only if R is semilocal, reduced and the free left R-module $(_RR)^{({\mathbb{N})}$ is Rad-supplementing if and only if R is reduced and the free left R-module $(_RR)^{({\mathbb{N})}$ is ample Rad-supplementing. M is ample Rad-supplementing if and only if every submodule of M is Rad-supplementing. Every left R-module is (ample) Rad-supplementing if and only if R/P(R) is left perfect, where P(R) is the sum of all left ideals I of R such that Rad I = I.