Hu's Primal Algebra Theorem revisited
Commentationes Mathematicae Universitatis Carolinae, Tome 41 (2000) no. 4, pp. 855-859
Cet article a éte moissonné depuis la source Czech Digital Mathematics Library
It is shown how Lawvere's one-to-one translation between Birkhoff's description of varieties and the categorical one (see [6]) turns Hu's theorem on varieties generated by a primal algebra (see [4], [5]) into a simple reformulation of the classical representation theorem of finite Boolean algebras as powerset algebras.
It is shown how Lawvere's one-to-one translation between Birkhoff's description of varieties and the categorical one (see [6]) turns Hu's theorem on varieties generated by a primal algebra (see [4], [5]) into a simple reformulation of the classical representation theorem of finite Boolean algebras as powerset algebras.
Classification :
06B20, 06D25, 08A40, 08B99, 18C05
Keywords: Lawvere theory; equivalence between varieties; Hu's theorem; primal algebra; Post algebras
Keywords: Lawvere theory; equivalence between varieties; Hu's theorem; primal algebra; Post algebras
@article{CMUC_2000_41_4_a18,
author = {Porst, Hans-E.},
title = {Hu's {Primal} {Algebra} {Theorem} revisited},
journal = {Commentationes Mathematicae Universitatis Carolinae},
pages = {855--859},
year = {2000},
volume = {41},
number = {4},
mrnumber = {1800177},
zbl = {1048.08003},
language = {en},
url = {http://geodesic.mathdoc.fr/item/CMUC_2000_41_4_a18/}
}
Porst, Hans-E. Hu's Primal Algebra Theorem revisited. Commentationes Mathematicae Universitatis Carolinae, Tome 41 (2000) no. 4, pp. 855-859. http://geodesic.mathdoc.fr/item/CMUC_2000_41_4_a18/