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

• East Asian mathematical journal
• /
• v.37 no.1
• /
• pp.33-40
• /
• 2021

We discuss the condition that if ab = 0 for elements a, b in a ring R then aIb = 0 for some essential ideal I of R. A ring with such condition is called IEIP. We prove that a ring R is IEIP if and only if Dn(R) is IEIP for every n ≥ 2, where Dn(R) is the ring of n by n upper triangular matrices over R whose diagonals are equal. We construct an IEIP ring that is not Abelian and show that a well-known Abelian ring is not IEIP, noting that rings with the insertion-of-factors-property are Abelian.

• Bulletin of the Korean Mathematical Society
• /
• v.51 no.6
• /
• pp.1689-1696
• /
• 2014

Recently, it was proved that every p-Schur ring over an abelian group of order $p^3$ is Schurian. In this paper, we prove that every commutative p-Schur ring over a non-abelian group of order $p^3$ is Schurian.

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

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

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.6
• /
• pp.2107-2117
• /
• 2017

We study the quasi-commutativity in relation with powers of coefficients of polynomials. In the procedure we introduce the concept of ${\pi}$-quasi-commutative ring as a generalization of quasi-commutative rings. We show first that every ${\pi}$-quasi-commutative ring is Abelian and that a locally finite Abelian ring is ${\pi}$-quasi-commutative. The role of these facts are essential to our study in this note. The structures of various sorts of ${\pi}$-quasi-commutative rings are investigated to answer the questions raised naturally in the process, in relation to the structure of Jacobson and nil radicals.

• Journal of the Korean Mathematical Society
• /
• v.58 no.1
• /
• pp.149-171
• /
• 2021

Let Cl(A) denote the class group of an arbitrary integral domain A introduced by Bouvier in 1982. Then Cl(A) is the ideal class (resp., divisor class) group of A if A is a Dedekind or a Prüfer (resp., Krull) domain. Let G be an abelian group. In this paper, we show that there is a ring of Krull type D such that Cl(D) = G but D is not a Krull domain. We then use this ring to construct a Prüfer ring of Krull type E such that Cl(E) = G but E is not a Dedekind domain. This is a generalization of Claborn's result that every abelian group is the ideal class group of a Dedekind domain.

• Korean Journal of Mathematics
• /
• v.22 no.4
• /
• pp.611-619
• /
• 2014

We in this note study a ring theoretic property which unifies Armendariz and IFP. We call this new concept INFP. We first show that idempotents and nilpotents are connected by the Abelian ring property. Next the structure of INFP rings is studied in relation to several sorts of algebraic systems.

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

• Bulletin of the Korean Mathematical Society
• /
• v.29 no.1
• /
• pp.153-163
• /
• 1992

Carlitz module is used to study abelian extensions of K=$F_{q}$(T). In number theory every abelian etension of Q is contained in a cyclotomic field. Similarly every abelian extension of $F_{q}$(T) with some condition on .inf. is contained in a cyclotomic function field. Hence the study of cyclotomic function fields in analogy with cyclotomic fields is an important subject in number theory. Much are known in this direction such as ring of integers, class groups and units ([G], [G-R]). In this article we are concerned with the ring of integers in a cyclotomic function field. In [G], it is shown that the ring of integers is generated by a primitive root of the Carlitz module using the ramification theory and localization. Here we will give another proof, which is rather elementary and explicit, of this fact following the methods in [W].[W].