Магма (алгебра) — Википедия

Магма (алгебра) В абстрактной алгебре магма, бинар или группоид являются базовыми алгебраическими структурами.  Термин «группоид» был введен в 1927 году […]

Магма (алгебра)

  • В абстрактной алгебре магма, бинар или группоид являются базовыми алгебраическими структурами. 
  • Термин «группоид» был введен в 1927 году Генрихом Брандтом и используется в теории категорий. 
  • Магма — это набор M с операцией , которая отправляет любые два элемента a, b ∈ M в другой элемент, a b ∈ M. 
  • Для квалификации как magma, набор и операция (M, ) должны удовлетворять требованию (известному как magma или аксиома замыкания). 
  • Морфизм магм — это функция f : M → N, которая преобразует магму (M, ) в магму (N, ∗), сохраняя бинарную операцию. 
  • Существует несколько различных видов магмы, в зависимости от того, каким аксиомам должна удовлетворять операция. 
  • Категория магм, обозначаемая Mag, — это категория, объектами которой являются магмы, а морфизмами — гомоморфизмы магм. 

Полный текст статьи:

Магма (алгебра) — Википедия

Оставьте комментарий

Прокрутить вверх