Geodesic
An algorithm for free algebras
Commentationes Mathematicae Universitatis Carolinae, Tome 51 (2010) no. 1, pp. 9-17

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

MR   Zbl

We present an algorithm for constructing the free algebra over a given finite partial algebra in the variety determined by a finite list of equations. The algorithm succeeds whenever the desired free algebra is finite.
We present an algorithm for constructing the free algebra over a given finite partial algebra in the variety determined by a finite list of equations. The algorithm succeeds whenever the desired free algebra is finite.
Classification : 08B05, 08B20, 33-04
Keywords: reflection; free algebra; variety; algorithm 
Ježek, J. An algorithm for free algebras. Commentationes Mathematicae Universitatis Carolinae, Tome 51 (2010) no. 1, pp. 9-17. http://geodesic.mathdoc.fr/item/CMUC_2010_51_1_a1/
@article{CMUC_2010_51_1_a1,
     author = {Je\v{z}ek, J.},
     title = {An algorithm for free algebras},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {9--17},
     year = {2010},
     volume = {51},
     number = {1},
     mrnumber = {2666076},
     zbl = {1224.08006},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_2010_51_1_a1/}
}
TY  - JOUR
AU  - Ježek, J.
TI  - An algorithm for free algebras
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 2010
SP  - 9
EP  - 17
VL  - 51
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/CMUC_2010_51_1_a1/
LA  - en
ID  - CMUC_2010_51_1_a1
ER  - 
%0 Journal Article
%A Ježek, J.
%T An algorithm for free algebras
%J Commentationes Mathematicae Universitatis Carolinae
%D 2010
%P 9-17
%V 51
%N 1
%U http://geodesic.mathdoc.fr/item/CMUC_2010_51_1_a1/
%G en
%F CMUC_2010_51_1_a1