Infinite primal algebras and Post varieties (Q1320697): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Mal'tsev conditions and representability of varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Congruence varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lattice of Mal'tsev theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3794236 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Interpretations of module varieties / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Free algebras in discriminator varieties / rank | |||
Normal rank |
Latest revision as of 15:25, 22 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Infinite primal algebras and Post varieties |
scientific article |
Statements
Infinite primal algebras and Post varieties (English)
0 references
18 May 1994
0 references
For an infinite primal algebra \(A\), the author proves that its set of identities has no finite basis. Thus, Post varieties \(P_ \alpha\), \(\alpha\geq \omega\), are not finitely based, which was proved by the author [Algebra Logika 22, No. 6, 693-706 (1983; Zbl 0575.08004)] for \(\alpha\geq 2^ \omega\) only. In the same paper, it was proved that the theory \(\text{SC}(P_ \omega)\) is the unique complete Mal'tsev theory. Nevertheless, it has remained unsolved whether varieties having complete SC-theories exist. Here, the class of varieties with complete SC-theories is characterized in terms of representability of finitely based varieties. With the help of this, a variety with a complete SC-theory in which no Post variety \(P_ \alpha\), \(\alpha\geq \omega\), has a representation, is constructed. The structure of free algebras of finite rank in Post varieties \(P_ \alpha\), \(\alpha\geq \omega\), is given.
0 references
strong Mal'tsev conditions
0 references
infinite primal algebra
0 references
Post varieties
0 references
varieties with complete SC-theories
0 references
finitely based varieties
0 references
free algebras of finite rank
0 references