Групповой объект

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

Групповой объект — это обобщение понятия группы на объект произвольной категории, во многих случаях групповой объект можно понимать как группу с дополнительной структурой. Типичный пример — топологическая группа, имеющая структуру топологического пространства, согласующуюся с групповой структурой, в том смысле, что групповая операция непрерывна.

Определение

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

Пусть C — категория с терминальным объектом 1, в которой для любых двух объектов существует их произведение. Групповой объект в C — это объект G категории C вместе с тройкой морфизмов:

  • m : G × GG (морфизм, соответствующий «групповой операции»)
  • e : 1 → G («вложение тождественного элемента»)
  • inv: GG («взятие обратного элемента»),

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

  • m ассоциативен, то есть и  — один и тот же морфизм (здесь мы каноническим образом отождествляем и );
  • e является двусторонне нейтральным элементом, то есть где  — естественная проекция на второй множитель, и где  — естественная проекция на первый множитель;
  • обратный элемент действительно является обратным, то есть, если d : GG × G — диагональное отображение, а eG : GG — композиция единственного морфизма G → 1 и морфизма e, то
  • Букур И., Деляну А. Введение в теорию категорий и функторов. — М.: Мир, 1972. — 259 с.
  • Lang, Serge (2002), Algebra. — Graduate Texts in Mathematics 211 (Revised third ed.), New York: Springer-Verlag — ISBN 978-0-387-95385-4.