Операда

Русская Википедия - свободная энциклопедия

Операда

Операда (Клон полилинейных операций) — семейство множеств

на соответствующих

и с операциями композиции:

удовлетворяющими обобщённым тождествам ассоциативности:

и наличию единицы

Операда называется линейной, если являются пространствами, действия симметрических групп являются представлениями, а композиции полилинейны.

Алгебра над линейной операдой — это пространство c полилинейными операциями композиции:

со свойствами унитарности

и обобщённой ассоциативности: