Exact-m-majority terms
-
Paolo Lipparini
Abstract
We say that an idempotent term t is an exact-m-majority term if t evaluates to a, whenever the element a occurs exactly m times in the arguments of t, and all the other arguments are equal.
If m < n and some variety đ„ has an n-ary exact-m-majority term, then đ„ is congruence modular. For certain values of n and m, for example, n = 5 and m = 3, the existence of an n-ary exact-m-majority term neither implies congruence distributivity, nor congruence permutability.
Work performed under the auspices of G.N.S.A.G.A. Work partially supported by PRIN 2012 âLogica, Modelli e Insiemiâ. The author acknowledges the MIUR Department Project awarded to the Department of Mathematics, University of Rome Tor Vergata, CUP E83C18000100006.
-
Communicated by Roberto Giuntini
References
[1] Baker, K. A.âPixley, A. F.: Polynomial interpolation and the Chinese remainder theorem for algebraic systems, Math. Z. 143 (1975), 165â174.10.1007/BF01187059Search in Google Scholar
[2] Barto, L.: Finitely related algebras in congruence distributive varieties have near unanimity terms, Canad. J. Math. 65 (2013), 3â21.10.4153/CJM-2011-087-3Search in Google Scholar
[3] Berman, J.âIdziak, P.âMarkoviÄ, P.âMcKenzie, R.âValeriote, M.âWillard, R.: Varieties with few subalgebras of powers, Trans. Amer. Math. Soc. 362 (2010), 1445â1473.10.1090/S0002-9947-09-04874-0Search in Google Scholar
[4] Hobby, D.âMcKenzie, R.: The Structure of Finite Algebras. Contemp. Math., vol. 76, 1988.10.1090/conm/076Search in Google Scholar
[5] Idziak, P.âMarkoviÄ, P.âMcKenzie, R.âValeriote, M.âWillard, R.: Tractability and learnability arising from algebras with few subpowers, SIAM J. Comput. 39 (2010), 3023â3037.10.1137/090775646Search in Google Scholar
[6] Kazda, A.âKozik, M.âMcKenzie, R.âMoore, M.: Absorption and directed JĂłnsson terms. In: Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science (J. Czelakowski, ed.), Outstanding Contributions to Logic 16, Springer, Cham, 2018, pp. 203â220.10.1007/978-3-319-74772-9_7Search in Google Scholar
[7] Kazda, A.âOprĆĄal, J.âValeriote, M.âZhuk, D.: Deciding the existence of minority terms, Canad. Math. Bull. 63 (2020), 577â591.10.4153/S0008439519000651Search in Google Scholar
[8] Lipparini, P.: Mitschkeâs Theorem is sharp, Algebra Universalis 83(7) (2022), 1â2010.1007/s00012-021-00762-1Search in Google Scholar
[9] MarĂłti, M.âZĂĄdori, L.: Reflexive digraphs with near unanimity polymorphisms, Discrete Math. 312 (2012), 2316â2328.10.1016/j.disc.2012.03.040Search in Google Scholar
[10] Mitschke, A.: Near unanimity identities and congruence distributivity in equational classes, Algebra Universalis 8 (1978), 29â32.10.1007/BF02485367Search in Google Scholar
[11] Taylor, W.: Varieties obeying homotopy laws, Canadian J. Math. 29 (1977), 498â527.10.4153/CJM-1977-054-9Search in Google Scholar
© 2024 Mathematical Institute Slovak Academy of Sciences
Articles in the same Issue
- Right algebras in Sup and the topological representation of semi-unital and semi-integral quantales, revisited
- Topological representation of some lattices
- Exact-m-majority terms
- Polynomials whose coefficients are generalized Leonardo numbers
- A study on error bounds for Newton-type inequalities in conformable fractional integrals
- Improved conditions for the distributivity of the product for Ï-algebras with respect to the intersection
- Close-to-convex functions associated with a rational function
- Complete monotonicity for a ratio of finitely many gamma functions
- Class of bounds of the generalized Volterra functions
- Some new uniqueness and UlamâHyers type stability results for nonlinear fractional neutral hybrid differential equations with time-varying lags
- Existence of positive solutions to a class of boundary value problems with derivative dependence on the half-line
- Solving Fredholm integro-differential equations involving integral condition: A new numerical method
- Bounds of some divergence measures on time scales via AbelâGontscharoff interpolation
- Weighted 1MP and MP1 inverses for operators
- Non-commutative effect algebras, L-algebras, and local duality
- Operator Bohr-type inequalities
- Some results for weighted Bergman space operators via Berezin symbols
- Lower separation axioms in bitopogenous spaces
- Fisher information in order statistics and their concomitants for Cambanis bivariate distribution
- Irreducibility of strong size levels
Articles in the same Issue
- Right algebras in Sup and the topological representation of semi-unital and semi-integral quantales, revisited
- Topological representation of some lattices
- Exact-m-majority terms
- Polynomials whose coefficients are generalized Leonardo numbers
- A study on error bounds for Newton-type inequalities in conformable fractional integrals
- Improved conditions for the distributivity of the product for Ï-algebras with respect to the intersection
- Close-to-convex functions associated with a rational function
- Complete monotonicity for a ratio of finitely many gamma functions
- Class of bounds of the generalized Volterra functions
- Some new uniqueness and UlamâHyers type stability results for nonlinear fractional neutral hybrid differential equations with time-varying lags
- Existence of positive solutions to a class of boundary value problems with derivative dependence on the half-line
- Solving Fredholm integro-differential equations involving integral condition: A new numerical method
- Bounds of some divergence measures on time scales via AbelâGontscharoff interpolation
- Weighted 1MP and MP1 inverses for operators
- Non-commutative effect algebras, L-algebras, and local duality
- Operator Bohr-type inequalities
- Some results for weighted Bergman space operators via Berezin symbols
- Lower separation axioms in bitopogenous spaces
- Fisher information in order statistics and their concomitants for Cambanis bivariate distribution
- Irreducibility of strong size levels
