Альтернативність

Матеріал з testwiki
Перейти до навігації Перейти до пошуку

Альтернативність — властивість бінарної операції в абстрактній алгебрі.

Якщо операція є асоціативною, то вона також є альтернативною. Тобто альтернативність — це деяке послаблення умови асоціативності. А саме:

  •  (xy)y=x(yy) — права альтернативність,
  •  y(yx)=(yy)x — ліва альтернативність.

Якщо визначена операція спряження, то визначення можна переформулювати як:

  •  (xy)y¯=x(yy¯),
  •  y¯(yx)=(y¯y)x.

Див. також

Шаблон:Портал

Література