The structure of compact rings (Q1184028)

The authors prove several theorems about the structure of compact rings with identity. A ring \(A\) with identity is called local if the subset of nonunits is an ideal. Necessary and sufficient conditions are found in order that a compact ring \(A\) with identity \((1/2\in A)\) is a topological direct product, every factor being either a matrix ring over a finite field or a compact local ring. In the paper it is proved that the group of invertible elements of a compact ring \(A\) with identity \((1/2\in A)\) is a periodic 2-group if and only if \(A\) is topologically isomorphic to a ring of the form \(F_1^{m_1}\times\cdots\times F_n^{m_n}\), where \(F_1,\ldots,F_n\) are finite fields, \(\mathrm{card } F_i=2^{k_i}+1\), \(i=1,\ldots,n\) and \(m_1,\ldots,m_n\) are some cardinal numbers. A topological analogue of the known result of Andrunakievich and Ryabukhin about rings without nilpotent elements is given: If a compact ring \(A\) with identity without algebraic nilpotent elements satisfies the ascending chain condition on closed ideals, then \(A\) is a topological subdirect product of compact local rings without zero divisors. Theorem 3.11 generalizes in the class of compact rings with identity the result of \textit{J. E. Cude} [see Pac. J. Math. 32, 615--619 (1970; Zbl 0185.09702)]: If \(A\) is a compact local ring without algebraic nilpotent elements and its Jacobson radical is commutative, then \(A\) is commutative, too.