Jónsson terimi - Jónsson term

İçinde evrensel cebir içinde matematik, bir çoğunluk dönemibazen a denir Jónsson terimi, bir dönem t tam olarak üç serbest değişkenler tatmin eden denklemler t(x, x, y) = t(x, y, x) = t(y, x, x) = x.[1]

Örneğin kafesler, dönem (x ∧ y) ∨ (y ∧ z) ∨ (z ∧ x) bir Jónsson terimidir.

Jónsson terim dizileri

Genel olarak, Jónsson şartları, daha resmi olarak Jónsson terimleri dizisi, belirli ilgili kimlikleri karşılayan üçlü terimler dizisidir. En erken olanlardan biri Maltsev durumu, bir Çeşitlilik ancak ve ancak bir dizi Jónsson terimine sahipse uyumlu dağılımlıdır. [2]

Çoğunluk süresi durumu özel durum tarafından verilir n = 2 bir dizi Jónsson terimi. [3]

Jónsson terimleri, İzlanda dilinde matematikçi Bjarni Jónsson.

Referanslar

  1. ^ R. Padmanabhan, Axioms for Lattices and Boolean Cebebras, World Scientific Publishing Company (2008)
  2. ^ İlk olarak B.Jónsson'da kanıtlanmıştır, Eşlik kafesleri dağınık olan cebirler. Matematik. Scand., 21: 110-121, 1967.
  3. ^ Clifford Bergman, Universal Algebra: Fundamentals and Selected Topics, Taylor & Francis (2011), s. 124 - 1256