On the number of essential arguments of homomorphisms between products of median algebras

Miguel Couceiro (1) , Gerasimos C Meletiou (2)

1 ORPAILLEUR - Knowledge representation, reasonning
2 Technological Educational Institute of Epirus [Grèce]

In this paper we characterize classes of median-homomorphisms between products of median algebras, that depend on a given number of arguments, by means of necessary and sufficent conditions that rely on the underlying algebraic and on the underlying order structure of median algebras. In particular, we show that a median-homomorphism that take values in a median algebra that does not contain a subalgebra isomorphic to the m-dimensional Boolean algebra as a subalgebra cannot depend on more than m − 1 arguments. In view of this result, we also characterize the latter class of median algebras. We also discuss extensions of our framework on homomorphisms over median algebras to wider classes of algebras.

Mots clés: Mathematics Subject Classification. 06A12; 06D99; 06F99 Median algebra; median-homomorphism; essential argument; hypercube-freeness; congruence distributivity

Domaines: Mathématiques [math]

Miguel Couceiro, Gerasimos C Meletiou. On the number of essential arguments of homomorphisms between products of median algebras. Algebra Universalis, 2018, 79 (4), pp.13. ⟨10.1007/s00012-018-0566-0⟩. ⟨hal-03409916⟩