• Journal of the Korean Mathematical Society
• /
• v.45 no.2
• /
• pp.425-433
• /
• 2008

Let R be a ring with identity $1_R$ and let U(R) denote the group of all units of R. A ring R is called locally finite if every finite subset in it generates a finite semi group multiplicatively. In this paper, some results are obtained as follows: (1) for any semilocal (hence semiperfect) ring R, U(R) is a finite (resp. locally finite) group if and only if R is a finite (resp. locally finite) ring; U(R) is a locally finite group if and only if U$(M_n(R))$ is a locally finite group where $M_n(R)$ is the full matrix ring of $n{\times}n$ matrices over R for any positive integer n; in addition, if $2=1_R+1_R$ is a unit in R, then U(R) is an abelian group if and only if R is a commutative ring; (2) for any semiperfect ring R, if E(R), the set of all idempotents in R, is commuting, then $R/J\cong\oplus_{i=1}^mD_i$ where each $D_i$ is a division ring for some positive integer m and |E(R)|=$2^m$; in addition, if 2=$1_R+1_R$ is a unit in R, then every idempotent is central.

• Journal of the Korean Mathematical Society
• /
• v.59 no.3
• /
• pp.571-594
• /
• 2022

Let D be an integral domain with quotient field K, Pic(D) be the ideal class group of D, and X be an indeterminate. A polynomial overring of D means a subring of K[X] containing D[X]. In this paper, we study almost Dedekind domains which are polynomial overrings of a principal ideal domain D, defined by the intersection of K[X] and rank-one discrete valuation rings with quotient field K(X), and their ideal class groups. Next, let ℤ be the ring of integers, ℚ be the field of rational numbers, and 𝔊f be the set of finitely generated abelian groups (up to isomorphism). As an application, among other things, we show that there exists an overring R of ℤ[X] such that (i) R is a Bezout domain, (ii) R∩ℚ[X] is an almost Dedekind domain, (iii) Pic(R∩ℚ[X]) = $\oplus_{G{\in}G_{f}}$ G, (iv) for each G ∈ 𝔊f, there is a multiplicative subset S of ℤ such that RS ∩ ℚ[X] is a Dedekind domain with Pic(RS ∩ ℚ[X]) = G, and (v) every invertible integral ideal I of R ∩ ℚ[X] can be written uniquely as I = XnQe11···Qekk for some integer n ≥ 0, maximal ideals Qi of R∩ℚ[X], and integers ei ≠ 0. We also completely characterize the almost Dedekind polynomial overrings of ℤ containing Int(ℤ).