Jónssonův termín - Jónsson term

v univerzální algebra, v rámci matematika, a většinový termín, někdy nazývané a Jónssonův termín, je období t s přesně třemi volné proměnné který uspokojuje rovnice t(X, X, y) = t(X, y, X) = t(y, X, X) = X.[1]

Například pro mříže, termín (X ∧ y) ∨ (y ∧ z) ∨ (z ∧ X) je Jónssonův výraz.

Sekvence Jónssonova termínu

Obecně, Jónssonovy podmínkyformálněji a sled Jónssonových výrazů, je posloupnost ternárních výrazů, které splňují určité související identity. Jeden z prvních Maltsevův stav, a odrůda je shoda distributivní právě tehdy, má-li posloupnost Jónssonových výrazů. [2]

Případ většinového období je dán zvláštním případem n = 2 posloupnosti Jónssonových výrazů. [3]

Jónssonovy výrazy jsou pojmenovány po islandštině matematik Bjarni Jónsson.

Reference

  1. ^ R. Padmanabhan, Axioms for Lattices and Boolean Algebras, World Scientific Publishing Company (2008)
  2. ^ Původně prokázáno v B. Jónsson, Algebry, jejichž kongruenční mřížky jsou distribuční. Matematika. Scand., 21: 110-121, 1967.
  3. ^ Clifford Bergman, Universal Algebra: Fundamentals and Selected Topics, Taylor & Francis (2011), str. 124 - 1256