×

On congruence-coherent Rees algebras and algebras with an operator. (Russian. English summary) Zbl 1434.08001

Summary: 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 \(\langle A, d, f \rangle\) 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 \(\langle A, d, f \rangle\) are obtained. Also, necessary and sufficient conditions of weakly and locally coherent for algebras \(\langle A, d, f, 0 \rangle\) with nullary operation 0 for which \(f(0)=0\) are obtained.

MSC:

08A02 Relational systems, laws of composition
PDFBibTeX XMLCite
Full Text: DOI MNR

References:

[1] Geiger D., “Coherent algebras”, Notices Amer. Math. Soc., 21 (1974), A-436
[2] Taylor W., “Uniformity of congruences”, Algebra Universalis, 4 (1974), 342-360 · Zbl 0313.08001 · doi:10.1007/BF02485747
[3] Beazer R., “Coherent De Morgan algebras”, Algebra Universalis, 24:1 (1987), 128-136 · Zbl 0644.06005 · doi:10.1007/BF01188390
[4] Adams M. E., Atallah M., Beazer R., “Congruence distributive double \(p\)-algebras”, Proc. Edinburgh Math. Soc., 39:2 (1996), 71-80 · Zbl 0853.06004 · doi:10.1017/S0013091500022793
[5] Duda J., “\(A\times A\) congruence coherent implies \(A\) congruence regular”, Algebra Universalis, 28 (1991), 301-302 · Zbl 0735.08001 · doi:10.1007/BF01190858
[6] Blyth T. S., Fang J., “Congruence coherent double MS-algebras”, Glasgow Math. J., 41:2 (1999), 289-295 · Zbl 0932.06007 · doi:10.1017/S0017089599971033
[7] Blyth T. S., Fang J., “Congruence Coherent Symmetric Extended de Morgan Algebras”, Studia Logica, 87 (2007), 51-63 · Zbl 1128.06003 · doi:10.1007/s11225-007-9076-3
[8] Chajda I., Duda J., “Rees algebras and their varieties”, Publ. Math. (Debrecen), 32 (1985), 17-22 · Zbl 0582.08003
[9] Chajda I., “Rees ideal algebras”, Math. Bohem., 122:2 (1997), 125-130 · Zbl 0889.08004
[10] Šešelja B., Tepavčević A., “On a characterization of Rees varieties”, Tatra Mountains Math. Publ., 5 (1995), 61-69 · Zbl 0883.08001
[11] Duda J., “Rees sublattices of a lattice”, Publ. Math., 35 (1988), 77-82 · Zbl 0657.06010
[12] Varlet J. C., “Nodal filters in semilattices”, Comm. Math. Univ. Carolinae, 14 (1973), 263-277 · Zbl 0276.06002
[13] Johnsson B., “A survey of Boolean algebras with operators”, Algebras and Orders, NATO ASI Series, 389, 1993, 239-286 · Zbl 0811.06012
[14] Hyndman J., Nation J. B., Nishida J., “Congruence Lattices of Semilattices with Operators”, Studia Logica, 104:2 (2016), 305-316 · Zbl 1417.06004 · doi:10.1007/s11225-015-9641-0
[15] Bonsangue M. M., Kurz A., Rewitzky I. M., “Coalgebraic representations of distributive lattices with operators”, Topology and its Applications, 154:4 (2007), 778-791 · Zbl 1108.06005 · doi:10.1016/j.topol.2005.10.010
[16] Adaricheva K. V., Nation J. B., “Lattices of quasi-equational theories as congruence lattices of semilattices with operators. I; II”, International Journal of Algebra and Computation, 22:07 (2012), 27 pp. · Zbl 1284.08019
[17] Nurakunov A. M., “Equational theories as congruences of enriched monoids”, Algebra Universalis, 58:3 (2008), 357-372 · Zbl 1151.08003 · doi:10.1007/s00012-008-2080-2
[18] Grätzer G., General Lattice Theory, Akademie-Verlag, Berlin, 1978 · Zbl 0385.06014
[19] Artamonov V. A., Salii V. N., Skornyakov L. A., ShevrinL. N., Shul’geifer E. G., General algebra, v. 2, ed. Skornyakov L. A., Nauka, M., 1991, 480 pp. (Russian) · Zbl 0768.00004
[20] Usol’tsev V. L., “On subdirect irreducible unars with Mal”tsev operation”, Izvestiya VGPU. Seriya estestvennye i fiziko-matematicheskie nauki, Volgograd, 2005, no. 4(13), 17-24 (Russian)
[21] Usol’tsev V. L., “Simple and pseudosimple algebras with operators”, Journal of Mathematical Sciences, 164:2 (2010), 281-293 · Zbl 1288.08003 · doi:10.1007/S1095800997306
[22] Egorova D. P., “The congruence lattice of unary algebra”, Mezhvuzovskiy Nauchnyy Sbornik, Uporyadochennye Mnozhestva i Reshetki, 5, Izdatel’stvo Saratovskogo universiteta, Saratov, 1978, 11-44 (Russian) · Zbl 0402.08004
[23] Usol’tsev V. L., “On Hamiltonian ternary algebras with operators”, Chebyshevskiy sbornik, 15:3 (2014), 100-113 (Russian) · Zbl 1434.08002
[24] Chajda I., “Weak coherence of congruences”, Czechoslovak Math. J., 41:1 (1991), 149-154 · Zbl 0796.08003
[25] Chajda I., “Locally coherent algebras”, Acta Univ. Palacki. Olomuc., Fac. rer. nat., Math., 38:1 (1999), 43-48 · Zbl 0958.08003
[26] Kartashov V. K., “On unars with Mal”tsev operation”, Universal algebra and application, Theses of International workshop dedicated memory of prof. L. A. Skornyakov, Volgograd, 1999, 31-32 (Russian)
[27] Pixley A. F., “Distributivity and permutability of congruence relations in equational classes of algebras”, Proc. Amer. Math. Soc., 14:1 (1963), 105-109 · Zbl 0113.24804 · doi:10.1090/S0002-9939-1963-0146104-X
[28] Usol’tsev V.L., “Free algebras of variety of unars with Mal”tsev operation \(p\), define by identity \(p(x, y, x) = y\)”, Chebyshevskiy sbornik, 12:2 (2011), 127-134 (Russian) · Zbl 1274.08030
[29] Usol’tsev V. L., “On strictly simple ternary algebras with operators”, Chebyshevskiy sbornik, 14:4 (2013), 196-204 (Russian) · Zbl 1433.08002
[30] Usol’tsev V. L., “On polynomially complete and abelian unars with Mal”tsev operation”, Uchenye zapiski Orlovskogo gosudarstvennogo universiteta, 6(50):2 (2012), 229-236 (Russian) · Zbl 1246.97019
[31] Usol’tsev V. L., “On hamiltonian closure on class of algebras with one operator”, Chebyshevskiy sbornik, 16:4 (2015), 284-302 (Russian) · Zbl 1441.08003
[32] Usol’tsev V. L., “Rees algebras and rees congruence algebras of one class of algebras with operator and basic near-unanimity operation”, Chebyshevskiy sbornik, 17:4 (2016), 157-166 (Russian) · Zbl 1373.08002
[33] Lata A. N., “On coatoms and complements in congruence lattices of unars with Mal”tsev operation”, Chebyshevskiy sbornik, 16:4 (2015), 212-226 (Russian) · Zbl 1441.08004
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.