Ideals in universal algebras (Q798686)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Ideals in universal algebras
scientific article

    Statements

    Ideals in universal algebras (English)
    0 references
    0 references
    0 references
    0 references
    1984
    0 references
    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.
    0 references
    0 references
    0 references
    0 references
    0 references
    ideals in varieties
    0 references
    lattices of ideals
    0 references
    0-regular varieties
    0 references
    Mal'cev condition
    0 references
    ideal determined varieties
    0 references
    congruence lattice
    0 references
    commutators
    0 references
    0 references