Algebraic multiplication \(m\)-lattices (Q1866829)

Considering a ring \(R\) with identity as a module, its ideals form the set of subalgebras and in addition they may be considered as congruences. In particular they form a sum-algebraic lattice with an associative multiplication, satisfying the identity \(A\cdot (\sum B_i)\cdot C=\sum AB_iC\) \((i\in I)\), and a maximum \(1:=R\), satisfying \(1\cdot A=A\cdot 1=A.\) This is taken as the fundamental structure of the paper, that is, sum-algebraic \(m\)-lattices (AML) whose lattice maximum acts as its semigroup identity. This concept is supported by more natural examples, namely filters of any bounded distributive lattice, the set of all Rees ideals of some monoid with 0, the set of all lattice filters of any \(l\)-group cone with 0: all satisfy the conditions of an AML. It is shown that studying AML theory means studying abstract ideal theory. Studying AML's with property (M), i.e. satisfying the condition \( ({\mathfrak a} \supseteq {\mathfrak b} \Rightarrow {\mathfrak a} \bot {\mathfrak b}),\) or equivalently multiplication AML's, means doing classical ideal theory from a very general point of view. In the paper the prime criterion for AML's is proved. Also many important characterizations of multiplication AML's are given.