Операда

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску

Операда даёт общий подход к описанию таких свойств, как коммутативность или антикоммутативность, а также различные вариации ассоциативности. Отношение алгебры и операды похожи на отношение представлений групп и групп.

Определение

[править | править код]

Операда (клон полилинейных операций) — семейство множеств с левым действием симметрических групп на соответствующих и с операциями композиции:

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

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

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

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

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

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

  • Простейшей операдой является ассоциативное кольцо с единицей: . Алгебра над ней — это правый -модуль.
  • Структуру линейной операды можно определить на семействе групповых алгебр над симметрическими группами , а также и на , где моноид.

Алгебры над операдами, без явного определения этих понятий, были впервые по существу использованы американским математиком Джеймсом Сташефом[англ.] в статье 1963 года. Композиционные комплексы были введены американским математиком Мюрреем Герстенхабером в статье 1968 года. Клоны полилинейных операций и мультиоператорные алгебры были введены советским алгебраистом В. А. Артамоновым в статье 1969 года. Немного позднее родственное понятие операд и алгебр над ними было открыто американским топологом Дж. Питером Мэем. С тех пор западные учёные считают изобретателем операд Питера Мэя.[1] Примерно в то же самое время американский тополог Майкл Бордман и немецкий тополог Райнер Фогт написали труд, считающийся классическим в теории операд, используя вместо этого названия ПРОПы Маклейна и алгебраические теории Ловера.

Примечания

[править | править код]
  1. week220. Дата обращения: 18 марта 2006. Архивировано 4 марта 2006 года.

Литература

[править | править код]
  • Stasheff J. D. Homotopy Associativity of H-Spaces. I // Transactions of the American Mathematical Society. — 1963. — vol. 108. — No. 2. — pp. 275—292.
  • Gerstenhaber M. On the deformations of rings and algebras:III // Annals of Mathematics, Second Series. — 1968. — vol. 88. — No. 1. — pp. 1—34.
  • Артамонов В. А. Клоны полилинейных операций и мультиоператорные алгебры // УМН. — 1969. — т. 24. — № 1. — с. 47—59.
  • May J. P. The geometry of iterated loop spaces // Lecture Notes in Mathematics. — vol. 271. — Berlin: Springer-Verlag, 1972. — 175 p.
  • Boardman J. M.; Vogt R. M. Homotopy Invariant Algebraic Structures on Topological Spaces // Lecture Notes in Mathematics. — vol. 347. — Berlin: Springer-Verlag, 1973.