# Definability for equational theories of commutative groupoids

Czechoslovak Mathematical Journal (2012)

- Volume: 62, Issue: 2, page 305-333
- ISSN: 0011-4642

## Access Full Article

top## Abstract

top## How to cite

topJežek, Jaroslav. "Definability for equational theories of commutative groupoids." Czechoslovak Mathematical Journal 62.2 (2012): 305-333. <http://eudml.org/doc/247133>.

@article{Ježek2012,

abstract = {We find several large classes of equations with the property that every automorphism of the lattice of equational theories of commutative groupoids fixes any equational theory generated by such equations, and every equational theory generated by finitely many such equations is a definable element of the lattice. We conjecture that the lattice has no non-identical automorphisms.},

author = {Ježek, Jaroslav},

journal = {Czechoslovak Mathematical Journal},

keywords = {simple algebra; idempotent; group; definability; equational theory; commutative groupoid; automorphisms},

language = {eng},

number = {2},

pages = {305-333},

publisher = {Institute of Mathematics, Academy of Sciences of the Czech Republic},

title = {Definability for equational theories of commutative groupoids},

url = {http://eudml.org/doc/247133},

volume = {62},

year = {2012},

}

TY - JOUR

AU - Ježek, Jaroslav

TI - Definability for equational theories of commutative groupoids

JO - Czechoslovak Mathematical Journal

PY - 2012

PB - Institute of Mathematics, Academy of Sciences of the Czech Republic

VL - 62

IS - 2

SP - 305

EP - 333

AB - We find several large classes of equations with the property that every automorphism of the lattice of equational theories of commutative groupoids fixes any equational theory generated by such equations, and every equational theory generated by finitely many such equations is a definable element of the lattice. We conjecture that the lattice has no non-identical automorphisms.

LA - eng

KW - simple algebra; idempotent; group; definability; equational theory; commutative groupoid; automorphisms

UR - http://eudml.org/doc/247133

ER -

## References

top- Grech, M., 10.1016/S0021-8693(02)00674-9, J. Algebra 261 (2003), 207-228. (2003) Zbl1026.20040MR1967162DOI10.1016/S0021-8693(02)00674-9
- Grech, M., 10.1090/S0002-9947-09-04849-1, Trans. Am. Math. Soc. 361 (2009), 3435-3462. (2009) MR2491887DOI10.1090/S0002-9947-09-04849-1
- Ježek, J., The lattice of equational theories. Part I: Modular elements, Czech. Math. J. 31 (1981), 127-152. (1981) MR0604120
- Ježek, J., The lattice of equational theories. Part II: The lattice of full sets of terms, Czech. Math. J. 31 (1981), 573-603. (1981) MR0631604
- Ježek, J., The lattice of equational theories. Part III: Definability and automorphisms, Czech. Math. J. 32 (1982), 129-164. (1982) MR0646718
- Ježek, J., The lattice of equational theories. Part IV: Equational theories of finite algebras, Czech. Math. J. 36 (1986), 331-341. (1986) MR0831318
- Ježek, J., 10.1007/s10587-006-0010-z, Czech. Math. J. 56 (2006), 133-154. (2006) Zbl1164.03318MR2207011DOI10.1007/s10587-006-0010-z
- Ježek, J., McKenzie, R., 10.1007/BF02573566, Semigroup Forum 46 (1993), 199-245. (1993) Zbl0782.20051MR1200214DOI10.1007/BF02573566
- Kisielewicz, A., 10.1090/S0002-9947-03-03351-8, Trans. Am. Math. Soc. 356 (2004), 3483-3504. (2004) Zbl1050.08005MR2055743DOI10.1090/S0002-9947-03-03351-8
- McKenzie, R. N., McNulty, G. F., Taylor, W. F., Algebras, Lattices, Varieties. Volume I, Wadsworth & Brooks/Cole Monterey (1987). (1987) Zbl0611.08001MR0883644
- Tarski, A., Equational logic and equational theories of algebras. Proc. Logic Colloq., Hannover 1966, Contrib. Math. Logic (1968), 275-288. (1968) MR0237410
- Vernikov, B. M., Proofs of definability of some varieties and sets of varieties of semigroups, Preprint. MR2898768

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.