An algorithm for free algebras

Jaroslav Ježek

Commentationes Mathematicae Universitatis Carolinae (2010)

  • Volume: 51, Issue: 1, page 9-17
  • ISSN: 0010-2628

Abstract

top
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.

How to cite

top

Jež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
  1. Burris S., Sankappanavar H.P., A course in universal algebra, Graduate Texts in Mathematics, Springer, New York, 1981. Zbl0478.08001MR0648287
  2. Ježek J., Quackenbush R.W., 10.1007/BF01190253, Algebra Universalis 27 (1990), 49–69. MR1025835DOI10.1007/BF01190253
  3. McKenzie R., 10.2307/2271899, J. Symbolic Logic 40 (1975), 186-196. MR0376323DOI10.2307/2271899
  4. McKenzie R., McNulty G., Taylor W., Algebras, lattices, varieties. Vol. I., Wadsworth & Brooks/Cole, Monterey, 1987. MR0883644

NotesEmbed ?

top

You must be logged in to post comments.