The finite basis property for the union of some varieties of algebras (Q923699)

From MaRDI portal
scientific article
Language Label Description Also known as
English
The finite basis property for the union of some varieties of algebras
scientific article

    Statements

    The finite basis property for the union of some varieties of algebras (English)
    0 references
    1990
    0 references
    Let F be an associative and commutative ring with 1 and \({\mathfrak A}\) be the variety of all associative algebras over F. Assume \({\mathfrak B}\) is a variety (over F) with a finitely based T-ideal T(\({\mathfrak B})\) and there is a multilinear polynomial in T(\({\mathfrak B})\) whose sum of coefficients is an invertible element in F. The main theorem in the present note states that the union of the varieties \({\mathfrak A}\) and \({\mathfrak B}\) (i.e. the least variety that contains both \({\mathfrak A}\) and \({\mathfrak B})\) is finitely based. As a straightforward consequence of this theorem it is obtained that if \({\mathfrak B}\) is a finitely based variety of Lie algebras (1/2\(\in F)\) or of Mal'cev algebras then the union of \({\mathfrak A}\) and \({\mathfrak B}\) is finitely based as well.
    0 references
    unions of varieties
    0 references
    PI algebras
    0 references
    finitely based T-ideal
    0 references
    multilinear polynomial
    0 references
    finitely based variety
    0 references
    Lie algebras
    0 references
    Mal'cev algebras
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references