Distributive and multiplication modules and rings. (Q1889619)

All rings are assumed to be associative and to have non-zero identity. An \(A\)-module \(M\) is called a: (i) distributive module (for brevity, d-module) if the lattice of its submodules is distributive; (ii) multiplication module (for brevity, m-module) if for every submodule \(N\) of \(M\) there exists an ideal \(B\) of \(A\) such that \(N=MB\). A right (respectively, left) ideal \(B\) of a ring \(A\) is called a multiplication right (respectively, left) ideal (for brevity, rm-ideal (respectively, lm-ideal)) if \(B_A\) (respectively, \(_AB\)) is an m-module. A ring is said to be right invariant if all its right ideals are ideals. If \(A\) is a ring, \(P\) a maximal right ideal of \(A\) and \(M\) a right \(A\)-module, then a set \(X\subseteq M\) is said to be \(P\)-closed (in \(M\)) if \(X\) contains every element \(m\in M\) such that \(ma\in X\) for some \(a\in A\setminus P\). The main results of the paper are the following ones. First, for a ring \(A\), the following conditions are equivalent: (1) every right ideal of \(A\) is a finitely generated rm-ideal; (2) \(A\) is a right Noetherian ring and every prime ideal of \(A\) is an rm-ideal; (3) \(A\) is a right distributive right Noetherian ring; (4) \(A\) is right invariant and every right m-module over \(A\) is a Noetherian d-module; (5) every right ideal \(M\) of \(A\) is an rm-ideal such that \(M\neq MP\) for every maximal ideal \(P\) of \(A\) containing the right annihilator of \(M\) in \(A\). Secondly, the following statements hold for a ring \(A\): (1) If \(A\) is with commutative multiplication of prime ideals, then \(A\) is a right distributive right Noetherian ring if and only if \(A\) is a finite direct product of right Artinian right uniserial rings and right invariant domains \(D_i\) such that for every \(D_i\) each proper quotient ring of the domain \(D_i\) is a finite direct product of right Artinian right uniserial rings; (2) If either \(A\) does not contain an infinite direct sum of nonzero ideals or \(A\) has only a finite number of minimal prime ideals, then all right ideals are rm-ideals and all left ideals are lm-ideals if and only if all semiprime ideals are m-ideals if and only if \(A\) is a finite direct product of invariant Artinian local principal ideal rings and invariant Noetherian domains such that all their nonzero ideals are invertible; (3) \(A\) is right distributive if and only if for every maximal right ideal \(P\) of \(A\) any two \(P\)-closed right ideals of \(A\) are comparable with respect to inclusion.