Equivalence for varieties in general and for \(\mathcal {BOOL}\) in particular (Q1866805): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 06:00, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Equivalence for varieties in general and for \(\mathcal {BOOL}\) in particular |
scientific article |
Statements
Equivalence for varieties in general and for \(\mathcal {BOOL}\) in particular (English)
0 references
23 April 2003
0 references
\textit{R. McKenzie} [in: A. Ursini et al. (eds.), Logic and algebra, Lecture Notes Pure Appl. Math. 180, 211-243 (1996; Zbl 0859.08006)] has characterized the varieties equivalent to a given variety in a purely algebraic fashion. The author of the paper under review characterizes the varieties \(\mathcal {W}\) equivalent to a variety \(\mathcal {V}\) in a purely categorical way. The varieties \(\mathcal {W}\) are described as the models of those Lawvere theories which are Morita equivalent to the Lawvere theory of \(\mathcal {V}\). As an application it is shown that the varieties \({\mathcal P}_m \) of Post algebras of fixed orders \(m\) are the only varieties equivalent to the variety \(\mathcal {BOOL}\) of Boolean algebras. The results are generalized to more general classes of algebras.
0 references
equivalences between varieties
0 references
Morita equivalence of Lawvere theories
0 references
varietal generator
0 references
Boolean algebras
0 references
Post algebras
0 references