Джонссон термині - Jónsson term

Жылы әмбебап алгебра, ішінде математика, а көпшілік мерзімі, кейде а деп аталады Джонссон термині, Бұл мерзім т дәл үшеуімен еркін айнымалылар қанағаттандыратын теңдеулер т(х, х, ж) = т(х, ж, х) = т(ж, х, х) = х.^[1]

Мысалы үшін торлар, термин (х ∧ ж) ∨ (ж ∧ з) ∨ (з ∧ х) - бұл Джонсон термині.

Джонсон терминінің реттілігі

Жалпы алғанда, Юнсон шарттары, ресми түрде, а Джонссон терминдерінің бірізділігі, бұл белгілі бір ұқсастықты қанағаттандыратын үштік терминдер тізбегі. Алғашқылардың бірі Мальцевтің жағдайы, а әртүрлілік егер ол Джонсон терминдерінің дәйектілігі болған жағдайда ғана сәйкес келеді. ^[2]

Көпшіліктің ісі ерекше жағдайда беріледі n = 2 Джонсон терминдерінің бірізділігі. ^[3]

Йонссон терминдері исландиялықтардың есімімен аталады математик Бьярни Йонссон.

Әдебиеттер тізімі