Ideals in universal algebras (Q798686)

The authors consider ideals in varieties with 0, which were introduced by \textit{A. Ursini} [Boll. Un. Mat. Ital., IV. Ser. 6, 90--95 (1972; Zbl 0263.08006)] as a generalization of ideals in rings, normal subgroups etc. Ideals are defined by equations in classes of algebras with a constant 0 and for every congruence \(\theta [0]\theta\) is an ideal. Important is the case that also every ideal is \([0]\theta\) for a unique congruence \(\theta\), in which case the lattices of ideals and congruences are isomorphic. These varieties are called ideal determined. Using a result of Fichtner on 0-regular varieties a Mal'cev condition for ideal determined varieties can be stated. Some characterizations on the congruence lattice follow. In the second part, in ideal determined varieties commutators on congruences (and ideals) are considered. Here a characterization of the commutator \([I,J]\) of ideals \(I, J\) is given using terms.