ON CONGRUENCE-COHERENT REES ALGEBRAS AND ALGEBRAS WITH AN OPERATOR
https://doi.org/10.22405/2226-8383-2017-18-2-154-172
Abstract
The paper contains a classification of congruence-coherent Rees algebras and algebras with an operator. The concept of coherence was introduced by D.Geiger. An algebra A is called coherent if each of its subalgebras containing a class of some congruence on A is a union of such classes.
In Section 3 conditions for the absence of congruence-coherence property for algebras having proper subalgebras are found. Necessary condition of congruence-coherence for Rees algebras are obtained. Sufficient condition of congruence-coherence for algebras with an operator are obtained. In this section we give a complete classification of congruence-coherent unars.
In Section 4 some modification of the congruence-coherent is considered. The concept of weak and locally coherence was introduced by I.Chajda. An algebra A with a nullary operation 0 is called weakly coherent if each of its subalgebras including the kernel of some congruence on A is a union of classes of this congruence. An algebra A with a nullary operation 0 is called locally coherent if each of its subalgebras including a class of some congruence on A also includes a class the kernel of this congruence. Section 4 is devoted to proving sufficient conditions for algebras with an operator being weakly and locally coherent.
In Section 5 deals with algebras ⟨A,d,f⟩ with one ternary operation d(x,y,z) and one unary operation f acting as endomorphism with respect to the operation d(x,y,z). Ternary operation d(x,y,z) was defined according to the approach offered by V.K. Kartashov. Necessary and sufficient conditions of congruence-coherent for algebras ⟨A,d,f⟩ are obtained. Also, necessary and sufficient conditions of weakly and locally coherent for algebras ⟨A,d,f,0⟩ with nullary operation 0 for which f(0) = 0 are obtained.
About the Author
A. N. Lata
Lomonosov Moscow State University
Russian Federation
Postgraduate student, Department of Higher Algebra, Faculty of Mechanics and Mathematics
Russian Federation
Postgraduate student, Department of Higher Algebra, Faculty of Mechanics and Mathematics
References
1. Geiger, D. 1974, “Coherent algebras“, Notices Amer. Math. Soc., vol. 21, A-436.
2. Taylor, W. 1974, “Uniformity of congruences“, Algebra Universalis, vol. 4, no. 1, pp. 342-360. doi:10.1007/BF02485747
3. Beazer, R. 1987, “Coherent De Morgan algebras“, Algebra Universalis, vol. 24, no. 1, pp. 128-136. doi:10.1007/BF01188390
4. Adams, M. E., Atallah, M. & Beazer, R. 1996, “Congruence distributive double ????–algebras“, Proc. Edinburgh Math. Soc., vol. 39, no. 2, pp. 71–80. doi: 10.1017/S0013091500022793
5. Duda, J. 1991, “????×???? congruence coherent implies A congruence regular“, Algebra Universalis, vol. 28, no. 2, pp. 301–302. doi: 10.1007/BF01190858
6. Blyth, T. S., Fang, J. 1999, “Congruence coherent double MS-algebras“, Glasgow Math. J., vol. 41, no. 2, pp. 289–295.
7. Blyth, T. S., Fang, J. 2007, “Congruence Coherent Symmetric Extended de Morgan Algebras“, Studia Logica, vol. 87, no. 1, pp. 51–63. doi:10.1007/s11225-007-9076-3
8. Chajda, I., Duda, J. 1985, “Rees algebras and their varieties“, Publ. Math. (Debrecen), vol. 32, pp. 17–22.
9. Chajda, I. 1997, “Rees ideal algebras“, Math. Bohem., vol. 122, no. 2, pp. 125–130.
10. Seˇselja, B., Tepavˇcevi´c, A. 1995,“On a characterization of Rees varieties“, ˇ Tatra Mountains Math. Publ., vol. 5, pp. 61–69.
11. Duda, J. 1988, “Rees sublattices of a lattice“, Publ. Math. (Debrecen), vol. 35, pp. 77–82.
12. Varlet, J. C. 1973, “Nodal filters in semilattices“, Comm. Math. Univ. Carolinae, vol. 14, no. 2, pp. 263–277.
13. Johnsson, B. 1993, “A survey of Boolean algebras with operators“, Algebras and Orders, NATO ASI Series, vol. 389, pp. 239–286. doi: 10.1007/978-94-017-0697-1_6
14. Hyndman, J., Nation, J. B. & Nishida, J. 2016,“Congruence Lattices of Semilattices with Operators“, Studia Logica, vol. 104, no. 2, pp. 305–316. doi:10.1007/s11225-015-9641-0
15. Bonsangue, M. M., Kurz, A. & Rewitzky, I. M. 2007, “Coalgebraic representations of distributive lattices with operators“, Topology and its Applications, vol. 154, no. 4, pp. 778–791. doi: 10.1016/j.topol.2005.10.010
16. Adaricheva, K. V., Nation, J. B. 2012, “Lattices of quasi-equational theories as congruence lattices of semilattices with operators: part I, part II“, International Journal of Algebra and Computation, vol. 22, issue 07, part I: 27 pp. doi: 10.1142/S0218196712500658; part II: 16 pp. doi: 10.1142/S021819671250066X
17. Nurakunov, A. M. 2008, “Equational theories as congruences of enriched monoids“, Algebra Universalis, vol. 58, no. 3, pp. 357–372. doi: 10.1007/s00012-008-2080-2
18. Gr¨atzer, G. 1978, "General Lattice Theory Akademie-Verlag, Berlin.
19. Artamonov, V. A., Salii, V. N., Skornyakov, L. A., Shevrin, L. N. & Shul’geifer, E.G. 1991, "Obshchaya algebra. Tom 2"[General algebra. Vol. 2], in Skornyakov, L.A. (ed.), Nauka, Moscow, 480 pp. (Russian)
20. Usol’tsev, V.L. 2005, “On subdirect irreducible unars with Mal’tsev operation“, Izvestiya VGPU. Seriya estestvennye i fiziko-matematicheskie nauki, Volgograd, no. 4(13), pp. 17-24. (Russian)
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); translation in Journal of Mathematical Sciences, 2010, vol. 164, no. 2, pp. 281-293. doi: 10.1007/S1095800997306
22. Egorova, D.P. 1978, “The congruence lattice of unary algebra“, Uporyadochennye Mnozhestva i Reshetki: Mezhvuzovskiy Nauchnyy Sbornik, Izdatel’stvo Saratovskogo universiteta, Saratov, issue 5, pp. 11–44. (Russian)
23. Chajda, I. 1991, “Weak coherence of congruences“, Czechoslovak Math. J., vol. 41, no. 1, pp. 149–154.
24. Chajda, I. 1999, “Locally coherent algebras“, Acta Univ. Palacki. Olomuc., Fac. rer. nat., Math., vol. 38, no. 1, pp. 43–48.
25. 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)
26. Pixley, A. F. 1963, “Distributivity and permutability of congruence relations in equational classes of algebras“, Proc. Amer. Math. Soc., vol. 14, no. 1, pp. 105–109. doi: 10.1090/S0002- 9939-1963-0146104-X
27. Usol’tsev, V.L. 2011, “Free algebras of variety of unars with Mal’tsev operation ????, define by identity ????(????, ????, ????) = ????“, Chebyshevskiy sbornik, vol. 12, issue 2, pp. 127–134. (Russian)
28. Usol’tsev, V. L. 2013, “On strictly simple ternary algebras with operators“, Chebyshevskiy sbornik, vol. 14, issue 4, pp. 196–204. (Russian)
29. Usol’tsev, V. L. 2012, “On polynomially complete and abelian unars with Mal’tsev operation“, Uchenye zapiski Orlovskogo gosudarstvennogo universiteta, Izdatel’stvo Orlovskogo gosudarstvennogo universiteta, Orel, vol. 6(50), part 2, pp. 229–236. (Russian)
30. Usol’tsev, V. L. 2014, “On Hamiltonian ternary algebras with operators“, Chebyshevskiy sbornik, vol. 15, issue 3, pp. 100–113. (Russian)
31. Usol’tsev, V. L. 2015, “On hamiltonian closure on class of algebras with one operator“, Chebyshevskiy sbornik, vol. 16, issue 4, pp. 284–302. (Russian)
32. Usol’tsev, V. L. 2016, “Rees algebras and rees congruence algebras of one class of algebras with operator and basic near-unanimity operation“, Chebyshevskiy sbornik, vol. 17, issue 4, pp. 157– 166. (Russian)
33. Lata, A. N. 2015, “On coatoms and complements in congruence lattices of unars with Mal’tsev operation“, Chebyshevskiy sbornik, vol. 16, issue 4, pp. 212–226. (Russian)
Review
For citations:
Lata A.N. ON CONGRUENCE-COHERENT REES ALGEBRAS AND ALGEBRAS WITH AN OPERATOR. Chebyshevskii Sbornik. 2017;18(2):154-172. (In Russ.) https://doi.org/10.22405/2226-8383-2017-18-2-154-172
Views:
652
Email this article 