Групп Категория

- категория Gr, объектами к-рой являются всевозможные группы, а морфизмами - все гомоморфизмы групп. Иногда предполагают, что все рассматриваемые группы принадлежат фиксированному универсальному множеству. Г. К. Является локально малой биполной категорией с нулевыми морфизмами. Она обладает единственной структурой бикатегории, в к-рой допустимыми эпиморфизмами являются нормальные эпиморфизмы и допустимыми мономорфизмами - все мономорфизмы. Причем нормальные эпиморфизмы - это в точности сюръективные гомоморфизмы, а мономорфизмы - в точности инъективные гомоморфизмы. Проективными объектами Г. К. Являются свободные группы и только они, инъективными объектами - только единичные группы, к-рые будут одновременно и нулевыми объектами.

Аксиоматич. Описание Г. К. Дано П. Леру [3]. Г. К. Является частным случаем общего определения Г. К. Над произвольной категорией К. Категория состоит из всех групповых объектов из Кн гомоморфизмов между ними. Эта категория наследует ряд свойств категории К, она, в частности, полна, если полна категория К. Лит.:[1] Курош А. Г., Лившиц А. X., Шульгейфер Е. Г., "Успехи матем. Наук", 1960, т. 15, в. 6, с. 3-52. [2] Eckmann В., Hilton P. J., "Math. Ann.", 1962, Bd 145, №3, S. 227-55. 1963, Bd 151, №2, S. 150-86. 1963. Bd 150, № 2, S. 165-87. [3] Lerоux P., "Canad. Math. Bull.", 1972, v. 15, № 3, p. 375-80. М . Ш. Цаленко.