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

Матеріал з testwiki
Версія від 16:41, 28 грудня 2021, створена imported>Олюсь
(різн.) ← Попередня версія | Поточна версія (різн.) | Новіша версія → (різн.)
Перейти до навігації Перейти до пошуку

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

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

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

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

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

Див. також

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

Література