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