Equivalence for varieties in general and for \(\mathcal {BOOL}\) in particular (Q1866805)

From MaRDI portal
Revision as of 01:48, 20 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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
    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
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    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
    0 references
    0 references