• Korean Journal of Mathematics
• /
• v.21 no.4
• /
• pp.463-471
• /
• 2013

Let R be a ring with identity 1, $I(R){\neq}\{0\}$ be the set of all nonunit idempotents in R, and M(R) be the set of all primitive idempotents and 0 of R. We say that I(R) is additive if for all e, $f{\in}I(R)$ ($e{\neq}f$), $e+f{\in}I(R)$. In this paper, the following are shown: (1) I(R) is a finite additive set if and only if $M(R){\backslash}\{0\}$ is a complete set of primitive central idempotents, char(R) = 2 and every nonzero idempotent of R can be expressed as a sum of orthogonal primitive idempotents of R; (2) for a regular ring R such that I(R) is a finite additive set, if the multiplicative group of all units of R is abelian (resp. cyclic), then R is a commutative ring (resp. R is a finite direct product of finite field).

• Bulletin of the Korean Mathematical Society
• /
• v.48 no.5
• /
• pp.1033-1039
• /
• 2011

Let R be a ring with identity 1, I(R) be the set of all idempotents in R and G be the group of all units of R. In this paper, we show that for any semiperfect ring R in which 2 = 1+1 is a unit, I(R) is closed under multiplication if and only if R is a direct sum of local rings if and only if the set of all minimal idempotents in R is closed under multiplication and eGe is contained in the group of units of eRe. In particular, for a left Artinian ring in which 2 is a unit, R is a direct sum of local rings if and only if the set of all minimal idempotents in R is closed under multiplication.

• Journal of the Korean Mathematical Society
• /
• v.51 no.3
• /
• pp.463-472
• /
• 2014

Let R be a ring with identity 1, I(R) be the set of all nonunit idempotents in R and $S_{\ell}$(R) (resp. $S_r$(R)) be the set of all left (resp. right) semicentral idempotents in R. In this paper, the following are investigated: (1) $e{\in}S_{\ell}(R)$ (resp. $e{\in}S_r(R)$) if and only if re=ere (resp. er=ere) for all nilpotent elements $r{\in}R$ if and only if $fe{\in}I(R)$ (resp. $ef{\in}I(R)$) for all $f{\in}I(R)$ if and only if fe=efe (resp. ef=efe) for all $f{\in}I(R)$ if and only if fe=efe (resp. ef=efe) for all $f{\in}I(R)$ which are isomorphic to e if and only if $(fe)^n=(efe)^n$ (resp. $(ef)^n=(efe)^n$) for all $f{\in}I(R)$ which are isomorphic to e where n is some positive integer; (2) For a ring R having a complete set of centrally primitive idempotents, every nonzero left (resp. right) semicentral idempotent is a finite sum of orthogonal left (resp. right) semicentral primitive idempotents, and eRe has also a complete set of primitive idempotents for any $0{\neq}e{\in}S_{\ell}(R)$ (resp. 0$0{\neq}e{\in}S_r(R)$).

• Communications of the Korean Mathematical Society
• /
• v.13 no.4
• /
• pp.751-757
• /
• 1998

Using idempotents in quasi-lattices, we show that the category Latt of lattices is both reflective and coreflective in the category qLatt of quasi-lattices and homomorphisms. It is also shown that a quasi-ordered set is a quasi-lattice iff its partially ordered reflection is a lattice.

• Bulletin of the Korean Mathematical Society
• /
• v.46 no.6
• /
• pp.1091-1097
• /
• 2009

In this paper, we investigate the extensions of generalized stable rings. It is shown that a ring R is a generalized stable ring if and only if R has a complete orthogonal set {e$_1$, . . . , e$_n$} of idempotents such that e$_1$Re$_1$, . . . , e$_n$Re$_n$ are generalized stable rings. Also, we prove that a ring R is a generalized stable ring if and only if R[[X]] is a generalized stable ring if and only if T(R,M) is a generalized stable ring.

• East Asian mathematical journal
• /
• v.25 no.4
• /
• pp.433-440
• /
• 2009

Let R be a ring with unity, X the set of all nonzero, nonunits of R and G the group of all units of R. We will consider some group actions on X by G, the left (resp. right) regular action and the conjugate action. In this paper, by investigating these group actions we can have some results as follows: First, if E(R), the set of all nonzero nonunit idempotents of a unit-regular ring R, is commuting, then $o_{\ell}(x)\;=\;o_r(x)$, $o_c(x)\;=\;\{x\}$ for all $x\;{\in}\;X$ where $o_{\ell}(x)$ (resp. $o_r(x)$, $o_c(x)$) is the orbit of x under the left regular (resp. right regular, conjugate) action on X by G and R is abelian regular. Secondly, if R is a unit-regular ring with unity 1 such that G is a cyclic group and $2\;=\;1\;+\;1\;{\in}\;G$, then G is a finite group. Finally, if R is an abelian regular ring such that G is an abelian group, then R is a commutative ring.

• Bulletin of the Korean Mathematical Society
• /
• v.55 no.1
• /
• pp.25-40
• /
• 2018

We focus on the structure of the set of noncentral idempotents whose role is similar to one of central idempotents. We introduce the concept of quasi-Abelian rings which unit-regular rings satisfy. We first observe that the class of quasi-Abelian rings is seated between Abelian and direct finiteness. It is proved that a regular ring is directly finite if and only if it is quasi-Abelian. It is also shown that quasi-Abelian property is not left-right symmetric, but left-right symmetric when a given ring has an involution. Quasi-Abelian property is shown to do not pass to polynomial rings, comparing with Abelian property passing to polynomial rings.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.4
• /
• pp.993-1006
• /
• 2019

This article concerns a ring property which preserves the reversibility of elements at nonzero idempotents. A ring R shall be said to be quasi-reversible if $0{\neq}ab{\in}I(R)$ for a, $b{\in}R$ implies $ba{\in}I(R)$, where I(R) is the set of all idempotents in R. We investigate the quasi-reversibility of 2 by 2 full and upper triangular matrix rings over various kinds of reversible rings, concluding that the quasi-reversibility is a proper generalization of the reversibility. It is shown that the quasi-reversibility does not pass to polynomial rings. The structure of Abelian rings is also observed in relation with reversibility and quasi-reversibility.

• Bulletin of the Korean Mathematical Society
• /
• v.56 no.5
• /
• pp.1257-1272
• /
• 2019

This article concerns the structure of idempotents in reversible and pseudo-reversible rings in relation with various sorts of ring extensions. It is known that a ring R is reversible if and only if $ab{\in}I(R)$ for $a,b{\in}R$ implies ab = ba; and a ring R shall be said to be pseudoreversible if $0{\neq}ab{\in}I(R)$ for $a,b{\in}R$ implies ab = ba, where I(R) is the set of all idempotents in R. Pseudo-reversible is seated between reversible and quasi-reversible. It is proved that the reversibility, pseudoreversibility, and quasi-reversibility are equivalent in Dorroh extensions and direct products. Dorroh extensions are also used to construct several sorts of rings which are necessary in the process.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.4
• /
• pp.1055-1062
• /
• 2014

Let $O_n$ and $PO_n$ denote the order-preserving transformation and the partial order-preserving transformation semigroups on the set $X_n=\{1,{\ldots},n\}$, respectively. Then the strictly partial order-preserving transformation semigroup $SPO_n$ on the set $X_n$, under its natural order, is defined by $SPO_n=PO_n{\setminus}O_n$. In this paper we find necessary and sufficient conditions for any subset of SPO(n, r) to be a (minimal) generating set of SPO(n, r) for $2{\leq}r{\leq}n-1$.