On regular identities (Q795074)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On regular identities
scientific article

    Statements

    On regular identities (English)
    0 references
    0 references
    1983
    0 references
    An identity \({\mathfrak p}\equiv {\mathfrak q}\) is called regular if the set of variables occurring in \({\mathfrak p}\) is the same as those of \({\mathfrak q}\), it is called normal if \({\mathfrak p}={\mathfrak q}\) or neither \({\mathfrak p}\) and \({\mathfrak q}\) is a variable. The author proves that the regular and normal identities holding in a variety K of algebras form a basis for all the identities of K. Further if the type is finite and \({\mathfrak p}({\mathfrak x},{\mathfrak y})\equiv {\mathfrak x}\) holds in K for some polynomial in which both \({\mathfrak x}\) and \({\mathfrak y}\) occur, then if all the identities of K have a finite basis, so do the regular identities of K.
    0 references
    normal identities
    0 references
    variety
    0 references
    finite basis
    0 references
    regular identities
    0 references

    Identifiers