Ideal lattices and the structure of rings

TLDR: In this article it was shown that a ring has a complemented right ideal lattice if and only if it is isomorphic with a discrete direct sum of quasi-simple rings.

Abstract: It is well known that the set of all ideals(2) of a ring forms a complete modular lattice with respect to set inclusion. The same is true of the set of all right ideals. Our purpose in this paper is to consider the consequences of imposing certain additional restrictions on these ideal lattices. In particular, we discuss the case in which one or both of these lattices is complemented, and the case in which one or both is distributive. In §1 two strictly latticetheoretic results are noted for the sake of their application to the complemented case. In §2 rings which have a complemented ideal lattice are considered. Such rings are characterized as discrete direct sums of simple rings. The structure space of primitive ideals of such rings is also discussed. In §3 corresponding results are obtained for rings whose lattice of right ideals is complemented. In particular, it is shown that a ring has a complemented right ideal lattice if and only if it is isomorphic with a discrete direct sum of quasi-simple rings. The socle [7](3) and the maximal regular ideal [5] are discussed in connection with such rings. The effect of an identity element is considered in §4. In §5 rings with distributive ideal lattices are considered and still another variant of regularity [20] is introduced. It is shown that a semi-simple ring with a distributive right ideal lattice is isomorphic with a subdirect sum of division rings. In the concluding section a type of ideal, introduced by L. Fuchs [9] in connection with commutative rings with distributive ideal lattice, and which we call strongly irreducible, is considered. Some properties of these ideals, analogous to corresponding ones for prime ideals [19], are developed. Finally, it is observed that a topology may be introduced in the set of all proper strongly irreducible ideals in such a way that the resulting space contains the spaces of prime [19] and primitive [13] ideals as subspaces. I wish to take this opportunity to thank Professor M. F. Smiley for the encouragement and many helpful suggestions he has given me throughout the preparation of this paper. 1. Some lattice-theoretic preliminaries. In this section we state two results of a strictly lattice-theoretic nature with a view toward subsequent applications to rings. Our notation and terminology is that of Birkhoff [3]. In