Projections of Semilocal Rings

S. S. Korobkov

DOI: https://doi.org/10.1007/s10469-022-09681-z

2022-10-23

Algebra and Logic

Abstract:Associative rings are considered. By a lattice isomorphism (or projection) of a ring R onto a ring R φ we mean an isomorphism φ of the subring lattice L( R ) of a ring R onto the subring lattice L( R φ ) of a ring R φ . Let M n (GF(p k )) be the ring of all square matrices of order n over a finite field GF( p k ), where n and k are natural numbers, p is a prime. A finite ring R with identity is called a semilocal (primary) ring if R/RadR ≅ M n (GF(p k )). It is known that a finite ring R with identity is a semilocal ring iff R ≅ M n ( K ) and K is a finite local ring. Here we study lattice isomorphisms of finite semilocal rings. It is proved that if φ is a projection of a ring R = M n ( K ), where K is an arbitrary finite local ring, onto a ring R φ , then R φ = Mn( K ′), in which case K ′ is a local ring lattice-isomorphic to the ring K . We thus prove that the class of semilocal rings is lattice definable.

mathematics,logic