• Communications of the Korean Mathematical Society
• /
• v.30 no.4
• /
• pp.363-377
• /
• 2015

Let R be a ring, (S,${\leq}$) a strictly ordered monoid and ${\omega}$ : S ${\rightarrow}$ End(R) a monoid homomorphism. The skew generalized power series ring R[[S,${\omega}$]] is a common generalization of (skew) polynomial rings, (skew) power series rings, (skew) Laurent polynomial rings, (skew) group rings, and Mal'cev-Neumann Laurent series rings. In this paper, we investigate the interplay between the ring-theoretical properties of R[[S,${\omega}$]] and the graph-theoretical properties of its zero-divisor graph ${\Gamma}$(R[[S,${\omega}$]]). Furthermore, we examine the preservation of diameter and girth of the zero-divisor graph under extension to skew generalized power series rings.

• Korean Journal of Mathematics
• /
• v.26 no.3
• /
• pp.503-517
• /
• 2018

Keeping in view the expediency of soft sets in algebraic structures and as a mathematical approach to vagueness, in this paper the concept of lattice ordered soft near rings is introduced. Different properties of lattice ordered soft near rings by using some operations of soft sets are investigated. The concept of idealistic soft near rings with respect to lattice ordered soft near ring homomorphisms is deliberated.

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

• Honam Mathematical Journal
• /
• v.26 no.1
• /
• pp.17-41
• /
• 2004

In this paper, we obtain the intuitionistic fuzzy subgroups generated by intuitionistic fuzzy sets and some properties preserved by a ring homomorphism. Furthermore, we introduce the concept of intuitionistic fuzzy coset and study some of it's properties.

• Honam Mathematical Journal
• /
• v.33 no.4
• /
• pp.499-518
• /
• 2011

We obtain the interval-valued fuzzy subgroups generated by interval-valued fuzzy sets and some properties preserved by a ring homomorphism. Furthermore, we introduce the concepts of interval-valued fuzzy coset and study some of it's properties.

• Communications of the Korean Mathematical Society
• /
• v.33 no.1
• /
• pp.37-44
• /
• 2018

We prove some theorems showing that a right Jordan ideal or a left Jordan ideal of a 3-prime near-ring must be commutative if it admits a nonzero derivation acting as a homomorphism or an antihomomorphism. Moreover, we give examples proving necessity of the conditions given.

• Journal of the Korean Mathematical Society
• /
• v.56 no.2
• /
• pp.539-558
• /
• 2019

An ideal of a commutative ring is called a d-ideal if it contains the annihilator of the annihilator of each of its elements. Denote by DId(A) the lattice of d-ideals of a ring A. We prove that, as in the case of f-rings, DId(A) is an algebraic frame. Call a ring homomorphism "compatible" if it maps equally annihilated elements in its domain to equally annihilated elements in the codomain. Denote by $SdRng_c$ the category whose objects are rings in which the sum of two d-ideals is a d-ideal, and whose morphisms are compatible ring homomorphisms. We show that $DId:\;SdRng_c{\rightarrow}CohFrm$ is a functor (CohFrm is the category of coherent frames with coherent maps), and we construct a natural transformation $RId{\rightarrow}DId$, in a most natural way, where RId is the functor that sends a ring to its frame of radical ideals. We prove that a ring A is a Baer ring if and only if it belongs to the category $SdRng_c$ and DId(A) is isomorphic to the frame of ideals of the Boolean algebra of idempotents of A. We end by showing that the category $SdRng_c$ has finite products.

• Communications of the Korean Mathematical Society
• /
• v.9 no.3
• /
• pp.503-511
• /
• 1994

In this paper, the ring A will mean a commutative Noetherian ring with non-zero multiplicative identity, it is understood that the ring homomorphisms respect identity elements and M will denote an A-module. Throughout this paper A and B will denote rings, $f : A \to B$ a ring homomorphism. C(A) (resp. C(B)) presents the category of all A-modules (resp. B-modules) and A-homomorphisms (resp. B-homorphisms) between them. The following ideas will be used without further explanation. B can be regarded as an A-module by means of f and $M\otimesB$ can be regarded as a B-module in the natural way. Furthermore the restriction of scalars provides a functor from C(B) to C(A).

• Kyungpook Mathematical Journal
• /
• v.51 no.2
• /
• pp.177-185
• /
• 2011

A right ideal I of a ring R is small in case for every proper right ideal K of R, K + I ${\neq}$ = R. A right R-module M is called PS-injective if every R-homomorphism f : aR ${\rightarrow}$ M for every principally small right ideal aR can be extended to R ${\rightarrow}$ M. A ring R is called right PS-injective if R is PS-injective as a right R-module. We develop, in this article, PS-injectivity as a generalization of P-injectivity and small injectivity. Many characterizations of right PS-injective rings are studied. In light of these facts, we get several new properties of a right GPF ring and a semiprimitive ring in terms of right PS-injectivity. Related examples are given as well.

• Kyungpook Mathematical Journal
• /
• v.43 no.4
• /
• pp.471-480
• /
• 2003

Let $\mathcal{R}$ be a commutative ring with 1, and Let M be a (left) R-module. M is said to be pointwise projective if for each epimorphism ${\alpha}:\mathcal{A}{\rightarrow}\mathcal{B}$, where A and $\mathcal{B}$ are any $\mathcal{R}$-modules, and for each homomorphism ${\beta}:\mathcal{M}{\rightarrow}\mathcal{B}$, then for every $m{\in}\mathcal{M}$, there exists a homomorphism ${\varphi}:\mathcal{M}{\rightarrow}\mathcal{A}$, which may depend on m, such that ${\alpha}{\circ}{\varphi}(m)={\beta}(m)$. Our mean concern in this paper is to study the relations between pointwise projectivemodules with cancellation modules and its geeralization.