Abstract
We prove that in a locally finite variety with the congruence extension property, locally solvable congruences are central and locally solvable algebras are Hamiltonian. Also, we prove that a maximal subuniverse of a finite algebra in an Abelian variety is identical with an equivalence class of some congruence.
Similar content being viewed by others
References
Biró, B., Kiss, E. W. andPálfy, P. P.,On the congruence extension property, Universal Algebra (Proc. Conf. Esztergom, 1977), Coll. Math. Soc. J. Bolyai29 (1982), 129–151.
Gould, V. andWild, M.,Every Hamiltonian variety has the congruence extension property —a short proof, Algebra Universalis26 (1989), 187–188.
Hobby, D. andMcKenzie, R.,The structure of finite algebras, Amer. Math. Soc. Contemporary Mathematics No. 76, 1988.
Kearnes, K.,The relationship between AP, RS and CEP, Proc. Amer. Math. Soc.105 (1989), 827–839.
Kiss, E. W.,Each Hamiltonian variety has the congruence extension property, Algebra Universalis12 (1981), 395–398.
Kiss, E. W.,Injectivity and related concepts in modular varieties, I–II, Bull. Austral. Math. Soc.32 (1985), 33–53.
Kiss, E. W. andPröhle, P.,Problems and results in tame congruence theory (A survey of the workshop), (preprint).
Klukovits, L.,Hamiltonian varieties of universal algebras, Acta Sci. Math.37 (1975), 11–15.
Shapiro, J.,Finite algebras with Abelian properties, Algebra Universalis25 (1988), 334–364.
Valeriote, M.,Finite simple abelian algebras are strictly simple, Proc. Amer. Math. Soc.108 (1990), 49–57.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
McKenzie, R. Congruence extension, Hamiltonian and Abelian properties in locally finite varieties. Algebra Universalis 28, 589–603 (1991). https://doi.org/10.1007/BF01195865
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01195865