En álgebra universal , dentro de las matemáticas , un término mayoritario , a veces llamado término de Jónsson , es un término t con exactamente tres variables libres que satisface las ecuaciones t ( x , x , y ) = t ( x , y , x ) = t ( y , x , x ) = x . [1]
Por ejemplo, para redes , el término ( x ∧ y ) ∨ ( y ∧ z ) ∨ ( z ∧ x ) es un término de Jónsson.
En general, los términos de Jónsson , más formalmente, una secuencia de términos de Jónsson , es una secuencia de términos ternarios que satisfacen ciertas identidades relacionadas. Una de las primeras condiciones de Maltsev , una variedad es congruencia distributiva si y sólo si tiene una secuencia de términos de Jónsson. [2]
El caso de un término mayoritario viene dado por el caso especial n=2 de una secuencia de términos de Jónsson. [3]
Los términos de Jónsson llevan el nombre del matemático islandés Bjarni Jónsson .