ヨンソン期間

普遍代数学において、多数決項（時にはヨンソン項とも呼ばれる）とは、t ( x , x , y ) = t ( x, y, x ) = t ( y , x , x ) = xという方程式 を満たす、ちょうど 3 つの自由変数を持つ項tのことである。^{[ 1 ]}

例えば、格子の場合、項 ( x ∧ y ) ∨ ( y ∧ z ) ∨ ( z ∧ x ) は Jónsson 項です。

一般に、ヨンソン項、より正式にはヨンソン項の列は、特定の関連する恒等式を満たす三項式の列である。最も初期に発見されたマルツェフ条件の1つとして、多様体が合同分配的であるのは、それがヨンソン項の列を持つ場合に限る。^{[ 2 ]}

多数決項のケースは、Jónsson項の列のn=2の特殊なケースで与えられる。 ^{[ 3 ]}

ヨンソン用語は、アイスランドの数学者ビャルニ ヨンソンにちなんで命名されました。