Geodesic
Polyabelian loops and Boolean completeness
Commentationes Mathematicae Universitatis Carolinae, Tome 41 (2000) no. 4, pp. 671-686

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

We consider the question of which loops are capable of expressing arbitrary Boolean functions through expressions of constants and variables. We call this property {\it Boolean completeness\/}. It is a generalization of functional completeness, and is intimately connected to the computational complexity of various questions about expressions, circuits, and equations defined over the loop. We say that a loop is {\it polyabelian\/} if it is an iterated affine quasidirect product of Abelian groups; polyabelianness coincides with solvability for groups, and lies properly between nilpotence and solvability for loops. Our main result is that a loop is Boolean-complete if and only if it is not polyabelian. Since groups are Boolean-complete if and only if they are not solvable, this shows that polyabelianness, for these purposes, is the appropriate generalization of solvability to loops.
Classification : 03G05, 06E30, 17A01, 17X08, 20N05, 68Q15, 68W30, 94C10
Keywords: loops; quasigroups; functional closure; solvability; quasidirect products; computational complexity 
@article{CMUC_2000__41_4_a2,
     author = {Lemieux, Fran\c{c}ois and Moore, Cristopher and Th\'erien, Denis},
     title = {Polyabelian loops and {Boolean} completeness},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {671--686},
     publisher = {mathdoc},
     volume = {41},
     number = {4},
     year = {2000},
     mrnumber = {1800174},
     zbl = {1051.20033},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_2000__41_4_a2/}
}
TY  - JOUR
AU  - Lemieux, François
AU  - Moore, Cristopher
AU  - Thérien, Denis
TI  - Polyabelian loops and Boolean completeness
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 2000
SP  - 671
EP  - 686
VL  - 41
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CMUC_2000__41_4_a2/
LA  - en
ID  - CMUC_2000__41_4_a2
ER  - 
%0 Journal Article
%A Lemieux, François
%A Moore, Cristopher
%A Thérien, Denis
%T Polyabelian loops and Boolean completeness
%J Commentationes Mathematicae Universitatis Carolinae
%D 2000
%P 671-686
%V 41
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CMUC_2000__41_4_a2/
%G en
%F CMUC_2000__41_4_a2
Lemieux, François; Moore, Cristopher; Thérien, Denis. Polyabelian loops and Boolean completeness. Commentationes Mathematicae Universitatis Carolinae, Tome 41 (2000) no. 4, pp. 671-686. http://geodesic.mathdoc.fr/item/CMUC_2000__41_4_a2/