ON HAMILTONIAN CLOSURE ON CLASS OF ALGEBRAS WITH ONE OPERATOR

In this article we study Hamiltonian simple algebras and lattices of Hamiltonian closed subalgebras in class of algebras with one operator. Obtained for algebras with arbitrary basic signature results are used for the description of Hamiltonian simple algebras and lattices of Hamiltonian closed subalgebras from class of unars with Mal’tsev operation that by V. K. Kartashov were defined. Unar with Mal’tsev operation is an algebra with one Mal’tsev operation p(x, y, z) and one unary operation acting as endomorphism with respect to operation p(x, y, z). Universal algebra A is called Hamiltonian if every subuniverse of A is a block of some congruence of the algebra A. A. G. Pinus defined a Hamiltonian closure on an arbitrary universal algebra. Precisely, the Hamiltonian closure B of a subalgebra B of a universal algebra A is the smallest subalgebra of algebra A containing B that coincides with some block of some congruence on algebra A. Subalgebra B of universal algebra A is called Hamiltonian closed if B = B. Set of all Hamiltonian closed subalgebras of algebra A with added empty set is lattice with respect to inclusion. A universal algebra A is called a Hamiltonian simple algebra if B = A for each non-empty and non-one-element subalgebra B of A. We found necessary conditions of Hamiltonian simplicity for arbitrary algebras with one operator and idempotent basic operations of positive arity. For these algebras families of their subalgebras forming chains with respect to inclusion in their lattices of Hamiltonian closed subalgebras are constructed. We also found necessary conditions of Hamiltonian simplicity for arbitrary algebras with one operator and with connected unary reduct. It is showed these conditions are not sufficient. For arbitrary algebras with one operator and idempotent basic operations necessary conditions of their lattice of Hamiltonian closed subalgebras is chain are obtained. We found necessary and sufficient conditions of Hamiltonian simplicity for unars with Mal’tsev operation that by V. K. Kartashov were defined. The structure of lattices of Hamiltonian closed subalgebras for algebras from this class is described. For these lattices necessary and sufficient conditions of their distributivity and modularity are obtained. We also found necessary and sufficient conditions when a lattice of Hamiltonian closed subalgebras of algebras from given class is a chain. The structure of atoms and coatoms of such lattices is described.

1. Pinus, A. G. 2014, "Hamiltonian closure on universal algebras" , Sibirskiy Matematicheskiy Zhurnal, vol. 55, no. 3(325), pp. 610–616 (Russian); translated in Siberian Mathematical Journal, vol. 55, no. 3(325), pp. 498–502. DOI: 10.1134/S0037446614030112

2. Cs´ak´any, B. 1964, "Abelian properties of primitive classes of universal algebras" , Acta Scientiarum Mathematicarum, vol. 25, pp. 202–208 (Russian).

3. Shoda, K. 1952, "Zur theorie der algebraischen erweiterungen" , Osaka Mathematical Journal, vol. 4, pp. 133–143.

4. Kiss, E. W. & Valeriot, M. 1993, "Abelian algebras and the Hamiltonian property" , Journal of Pure and Applied Algebra, vol. 87, no. 1, pp. 37–49. DOI: 10.1016/0022-4049(93)90067-4

5. Klukovits, L. 1975, "Hamiltonian varieties of universal algebras" , Acta Scientiarum Mathematicarum, vol. 37, pp. 11–15.

6. Kiss, E. W. 1981, "Each Hamiltonian variety has the congruence extension property" , Algebra Universalis, vol. 12, no. 2, pp. 395–398. DOI: 10.1007/ BF02483899

7. Stepanova, A. A. & Trikashnaya, N. V. 2009, "Abelian and Hamiltonian groupoids" , Fundamental’naya i prikladnaya matematika, vol. 15, no. 7, pp. 165– 177 (Russian); translated in Journal of Mathematical Sciences, 2010, vol. 169, issue 5, pp. 671–679. DOI: 10.1007/s10958-010-0068-x

8. Chajda, I., Eigenthaler, G. & Langer, H. 2003, "Congruence classes in universal algebra" , Heldermann Verlag, Vienna, 192 pp.

9. Lo´s, J. 1964, "Normal subalgebras in universal algebras" , Colloquium Mathematicum, vol. 12, issue 2, pp. 151–153.

10. Kurosh, A. G. 1974, "Obshchaya algebra. Lekcii 1969-1970 uchebnogo goda" [General Algebra. Lectures 1969-1970 Academic Year], Nauka, Moscow, 160 pp. (Russian)

11. Kilp, M., Knauer, U. & Mikhalev, A. V. 2000, "Monoids, Acts and Categories with Applications to Wreath Products and Graphs" , Walter de Gruyter, Berlin, 529 pp.

12. Skornyakov, L. A. 1982, "Unars" , Colloquia Mathematica Societatis Janos Bolyai, Universal Algebra (Esztergom 1977), vol. 29, pp. 735–743.

13. Wenzel, G. H. 1970, "Subdirect irreducibility and equational compactness in unary algebras ⟨A; f⟩" , Archiv der Mathematik, Basel, vol. 21, pp. 256–264. DOI: 10.1007/BF01220912

14. Usol’tsev, V. L. 2013, "On strictly simple ternary algebras with operators" , Chebyshevskiy sbornik, vol. 14, issue 4(48), pp. 196–204 (Russian).

15. Mudrinski, N. 2014, "Uniform Mal’cev algebras with small congruence lattices" , Algebra Universalis, vol. 72, pp. 57–69. DOI: 10.1007/s00012-014-0288-x

16. Bulatov, A. A. 2006, "The property of being polynomial for Mal’tsev constraint satisfaction problems" , Algebra i Logika, vol. 45, no. 6, pp. 655-686 (Russian); translated in Algebra and Logic, vol. 45, no. 6, pp. 371-388. DOI: 10.1007/s10469- 006-0035-2

17. Pixley, A. F. 1963, "Distributivity and permutability of congruence relations in equational classes of algebras" , Proceedings of the American Mathematical Society, vol. 14, no. 1, pp. 105–109. DOI: 10.1090/S0002-9939-1963-0146104-X

18. Kartashov, V. K. 1999, "On unars with Mal’tsev operation" , Universal’naya algebra i ee prilozheniya: Tezisy soobshcheniy uchastnikov mezhdunarodnogo seminara, posvyashchennogo pamyati prof. Mosk. gos. un-ta L.A. Skornyakova (Universal algebra and application: theses of International workshop dedicated memory of prof. L. A. Skornyakov), Volgograd, pp. 31–32. (Russian)

19. Usol’tsev, V. L. 2014, "On Hamiltonian ternary algebras with operators" , Chebyshevskiy sbornik, vol. 15, issue 3(51), pp. 100–113. (Russian)

20. Gr¨atzer, G. 1978, "General Lattice Theory" , Akademie-Verlag, Berlin.

21. Usol’tsev, V. L. 2008, "Simple and pseudosimple algebras with operators" , Fundamental’naya i prikladnaya matematika, vol. 14, no. 7, pp. 189–207 (Russian); translated in Journal of Mathematical Sciences, 2010, vol. 164, no. 2, pp. 281-293. DOI: 10.1007/S1095800997306

22. Usol’tsev, V. L. 2012, "On polynomially complete and Abelian unars with Mal’tsev operation Uchenye Zapiski Orlovskogo Gos. Univ., vol. 6(50), part 2, pp. 229–236. (Russian)