• Communications of the Korean Mathematical Society
• /
• v.28 no.1
• /
• pp.63-69
• /
• 2013

On any semigroup S, there is an equivalence relation ${\phi}^S$, called the locally equivalence relation, given by a ${\phi}^Sb{\Leftrightarrow}aSa=bSb$ for all $a$, $b{\in}S$. In Theorem 4 [4], Tiefenbach has shown that if ${\phi}^S$ is a band congruence, then $G_a$ := $[a]_{{\phi}^S}{\cap}(aSa)$ is a group. We show in this study that $G_a$ := $[a]_{{\phi}^S}{\cap}(aSa)$ is also a group whenever a is any idempotent element of S. Another main result of this study is to investigate the relationships between $[a]_{{\phi}^S}$ and $aSa$ in terms of semigroup theory, where ${\phi}^S$ may not be a band congruence.

• Kyungpook Mathematical Journal
• /
• v.55 no.4
• /
• pp.885-892
• /
• 2015

In this paper, we mainly obtain the following assertions: (1) If T is a quasi-*-n-paranormal operator, then T is finite and simply polaroid. (2) If T or $T^*$ is a quasi-*-n-paranormal operator, then Weyl's theorem holds for f(T), where f is an analytic function on ${\sigma}(T)$ and is not constant on each connected component of the open set U containing ${\sigma}(T)$. (3) If E is the Riesz idempotent for a nonzero isolated point ${\lambda}$ of the spectrum of a quasi-*-n-paranormal operator, then E is self-adjoint and $EH=N(T-{\lambda})=N(T-{\lambda})^*$.

• East Asian mathematical journal
• /
• v.36 no.1
• /
• pp.73-79
• /
• 2020

A ring R is called generalized regular if for every nonzero x in R there exists y in R such that xy is a nonzero idempotent. In this paper, we observe some equivalent conditions for the generalized regular rings that are abelian in terms of idempotents, and we also investigate the primitivity of an idempotent for such a ring. By using the investigation, we characterize such a kind of rings that are noetherian by showing that an abelian generalized regular ring R is noetherian if and only if R is isomorphic to a direct product of finitely many division rings. We also observe some interesting consequences of our results.

• Honam Mathematical Journal
• /
• v.21 no.1
• /
• pp.57-64
• /
• 1999

Let K be a algebraically closed field of characteristic 0 and G be abelian group $Z_2{\times}Z_2{\times}Z_2$ or $Z_2{\times}Z_4$. We find the conditions which the elements of the group ring KG are unit and idempotent respecting using the basic table matrix of G. We can see that if ${\alpha}={\sum}r(g)g$ is an idempotent element of KG, then $r(1)=0,\;\frac{1}{{\mid}G{\mid}},\;\frac{2}{{\mid}G{\mid}},\;{\cdots},\frac{{\mid}G{\mid}-1}{{\mid}G{\mid}},\;1$.

• Journal of the Korean Mathematical Society
• /
• v.51 no.4
• /
• pp.751-771
• /
• 2014

We study the structure of idempotents in polynomial rings, power series rings, concentrating in the case of rings without identity. In the procedure we introduce right Insertion-of-Idempotents-Property (simply, right IIP) and right Idempotent-Reversible (simply, right IR) as generalizations of Abelian rings. It is proved that these two ring properties pass to power series rings and polynomial rings. It is also shown that ${\pi}$-regular rings are strongly ${\pi}$-regular when they are right IIP or right IR. Next the noncommutative right IR rings, right IIP rings, and Abelian rings of minimal order are completely determined up to isomorphism. These results lead to methods to construct such kinds of noncommutative rings appropriate for the situations occurred naturally in studying standard ring theoretic properties.

• The Pure and Applied Mathematics
• /
• v.12 no.4 s.30
• /
• pp.253-274
• /
• 2005

An additive regular Semiring S is left inversive if the Set E+ (S) of all additive idempotents is left regular. The set LC(S) of all left inversive semiring congruences on an additive regular semiring S is a lattice. The relations $\theta$ and k (resp.), induced by tr. and ker (resp.), are congruences on LC(S) and each $\theta$-class p$\theta$ (resp. each k-class pk) is a complete modular sublattice with $p_{min}$ and $p_{max}$ (resp. With $p^{min}$ and $p^{max}$), as the least and greatest elements. $p_{min},\;p_{max},\;p^{min}$ and $p^{max}$, in particular ${\epsilon}_{max}$, the maximum additive idempotent separating congruence has been characterized explicitly. A semiring is quasi-inversive if and only if it is a subdirect product of a left inversive and a right inversive semiring.

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

This paper is intended as a discussion of some generalizations of the notion of a reversible ring, which may be obtained by the restriction of the zero commutative property from the whole ring to some of its subsets. By the INCZ property we will mean the commutativity of idempotent elements of a ring with its nilpotent elements at zero, and by ICZ property we will mean the commutativity of idempotent elements of a ring at zero. We will prove that the INCZ property is equivalent to the abelianity even for nonunital rings. Thus the INCZ property implies the ICZ property. Under the assumption on the existence of unit, also the ICZ property implies the INCZ property. As we will see, in the case of nonunital rings, there are a few classes of rings separating the class of INCZ rings from the class of ICZ rings. We will prove that the classes of rings, that will be discussed in this note, are closed under extending to the rings of polynomials and formal power series.

• Journal of the Korean Mathematical Society
• /
• v.56 no.5
• /
• pp.1159-1172
• /
• 2019

A semigroup S is called a weakly abundant semigroup if its every $\tilde{\mathcal{L}}$-class and every $\tilde{\mathcal{R}}$-class contains an idempotent. Our purpose is to study an analogue of orthodox semigroups in the class of weakly abundant semigroups. Such an analogue is called a left quasi-abundant semigroup, which is a weakly abundant semigroup with a left quasi-normal band of idempotents and having the congruence condition (C). To build our main structure theorem for left quasi-abundant semigroups, we first give a sufficient and necessary condition of the idempotent set E(S) of a weakly abundant semigroup S being a left quasi-normal band. And then we construct a left quasi-abundant semigroup in terms of weak spined products. Such a result is a generalisation of that of Guo and Shum for left semi-perfect abundant semigroups. In addition, we consider a type Q semigroup which is a left quasi-abundant semigroup having the PC condition.

• Bulletin of the Korean Mathematical Society
• /
• v.58 no.4
• /
• pp.973-981
• /
• 2021

Let R be a commutative ring with identity 1, n ≥ 3, and let 𝒯_n(R) be the linear Lie algebra of all upper triangular n × n matrices over R. A linear map 𝜑 on 𝒯_n(R) is called to be strong commutativity preserving if [𝜑(x), 𝜑(y)] = [x, y] for any x, y ∈ 𝒯_n(R). We show that an invertible linear map 𝜑 preserves strong commutativity on 𝒯_n(R) if and only if it is a composition of an idempotent scalar multiplication, an extremal inner automorphism and a linear map induced by a linear function on 𝒯_n(R).

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.1
• /
• pp.83-92
• /
• 2024

Let R be a commutative ring with nonzero identity and M be an R-module. In this paper, we first introduce the concept of S-idempotent element of R. Then we give a relation between S-idempotents of R and clopen sets of S-Zariski topology. After that we define S-pure ideal which is a generalization of the notion of pure ideal. In fact, every pure ideal is S-pure but the converse may not be true. Afterwards, we show that there is a relation between S-pure ideals of R and closed sets of S-Zariski topology that are stable under generalization.