We investigate the structure of locally finite profinite rings. We classify (Jacobson-) semisimple locally finite profinite rings as products of complete matrix rings of bounded cardinality over finite fields, and we prove that the Jacobson radical of any locally finite profinite ring is nil of finite nilexponent. Our results apply to the context of small compact G-rings, where we also obtain a...

Group automata occur in the Krohn-Rhodes Decomposition Theorem and have been extensively investigated in the literature. The incidence rings of group automata were introduced by the first author in analogy with group rings and incidence rings of graphs. The main theorem of the present paper gives a complete description of the structure of incidence rings of group automata in terms of matrix rin...

This paper presents a Coq formalization of linear algebra over elementary divisor rings, that is, rings where every matrix is equivalent to a matrix in Smith normal form. The main results are the formalization that these rings support essential operations of linear algebra, the classification theorem of finitely presented modules over such rings and the uniqueness of the Smith normal form up to...

let $r$ be a reversible ring which is $alpha$-compatible for an endomorphism $alpha$ of $r$ and $f(x)=a_0+a_1x+cdots+a_nx^n$ be a nonzero skew polynomial in $r[x;alpha]$. it is proved that if there exists a nonzero skew polynomial $g(x)=b_0+b_1x+cdots+b_mx^m$ in $r[x;alpha]$ such that $g(x)f(x)=c$ is a constant in $r$, then $b_0a_0=c$ and there exist nonzero elements $a$ and $r$ in $r$ such tha...

we observe some new characterizations of $n$-presented modules. using the concepts of $(n,0)$-injectivity and $(n,0)$-flatness of modules, we also present some characterizations of right $n$-coherent rings, right $n$-hereditary rings, and right $n$-regular rings.