On subtractive varieties. V: Congruence modularity and the commutators (Q1866798): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q354675
Property / author
 
Property / author: Aldo Ursini / rank
Normal rank
 

Revision as of 18:12, 13 February 2024

scientific article
Language Label Description Also known as
English
On subtractive varieties. V: Congruence modularity and the commutators
scientific article

    Statements

    On subtractive varieties. V: Congruence modularity and the commutators (English)
    0 references
    23 April 2003
    0 references
    The paper is a continuation of a long series of the papers having the first part of the title in common (see Zbl 0799.08010, Zbl 0902.08010, Zbl 0906.08005 and Zbl 0934.08002). The author previously introduced the concept of ideal in universal algebra and showed that, in a subtractive variety \(\mathcal V\), every ideal is a congruence kernel. Recall that \(\mathcal V\) is subtractive if there is a binary term \(s\) such that \(\mathcal V\) satisfies \(s(x,x) = 0\) and \(s(x,0) = x\). In another paper of this series he introduced the concept of commutator of ideals. For an ideal \(I\) of an algebra \(\mathcal A\) the smallest congruence on \(\mathcal A\) having the kernel \(I\) is denoted by \(I^{\delta }\) and the largest one with this property by \(I^{\epsilon }\). For a congruence \(\Theta \in \operatorname {Con} \mathcal A\), its kernel is denoted by \(0/ \Theta \). In a congruence modular subtractive variety there are both the commutator \([I,J]\) of ideals \(I,J\) and that of congruences. It is proved that \([I,J] = 0/ [I^{\delta },J^{\delta }]\). In general, the identity \([0/ \alpha , 0/ \beta ] = 0/ [\alpha , \beta ]\) for \(\alpha , \beta \in \operatorname {Con}\mathcal A\) does not hold, but several sufficient conditions for it are derived. The author deals also with equationally definable principal commutators in a subtractive variety and with the extension property of commutators of ideals.
    0 references
    0 references
    ideal
    0 references
    commutator
    0 references
    subtractive variety
    0 references
    congruence kernel
    0 references
    extension property
    0 references

    Identifiers