An algorithm for free algebras
Commentationes Mathematicae Universitatis Carolinae (2010)
- Volume: 51, Issue: 1, page 9-17
- ISSN: 0010-2628
Access Full Article
top
Abstract
topHow to cite
topJežek, Jaroslav. "An algorithm for free algebras." Commentationes Mathematicae Universitatis Carolinae 51.1 (2010): 9-17. <http://eudml.org/doc/37738>.
@article{Ježek2010,
abstract = {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.},
author = {Ježek, Jaroslav},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {reflection; free algebra; variety; algorithm; reflection; free algebra; partial algebra; variety; algorithm},
language = {eng},
number = {1},
pages = {9-17},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {An algorithm for free algebras},
url = {http://eudml.org/doc/37738},
volume = {51},
year = {2010},
}
TY - JOUR
AU - Ježek, Jaroslav
TI - An algorithm for free algebras
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 2010
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 51
IS - 1
SP - 9
EP - 17
AB - 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.
LA - eng
KW - reflection; free algebra; variety; algorithm; reflection; free algebra; partial algebra; variety; algorithm
UR - http://eudml.org/doc/37738
ER -
References
top- Burris S., Sankappanavar H.P., A course in universal algebra, Graduate Texts in Mathematics, Springer, New York, 1981. Zbl0478.08001MR0648287
- Ježek J., Quackenbush R.W., 10.1007/BF01190253, Algebra Universalis 27 (1990), 49–69. MR1025835DOI10.1007/BF01190253
- McKenzie R., 10.2307/2271899, J. Symbolic Logic 40 (1975), 186-196. MR0376323DOI10.2307/2271899
- McKenzie R., McNulty G., Taylor W., Algebras, lattices, varieties. Vol. I., Wadsworth & Brooks/Cole, Monterey, 1987. MR0883644
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.