" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

РЕФЛЕКТОР

Значение РЕФЛЕКТОР в математической энциклопедии:

о б ъ е к т а к а т е г о р и и - понятие, описывающее "наибольшую" модель данного объекта в нек-ром классе объектов. А именно, пусть - подкатегория категории ; объект наз. рефлектором о б ъ е к т а в , или - р е ф л е к т о р о м,

если существует такой морфизм , что для любого объекта X из отображение

биективно. Другими словами, для любого морфизма существует такой единственный морфизм , что . -рефлектор объекта Аопределен неоднозначно, но любые два -рефлектора объекта Аизоморфны. -рефлектор левого нуля (инициального объекта) категории является левым нулем в

П р и м е р ы. В категории групп факторгруппа G/G' произвольной группы G по коммутанту является Р. группы Gв подкатегории абелевых групп. Для абелевой группы Аеефакторгруппа A/T(А)по периодич. подгруппе Т(А)является Р. группы Ав полной подкатегории абелевых групп без кручения. Пополнение (инъективная оболочка) группы А/Т(А)является Р. групп Аи А/Т(А)в подкатегории полных абелевых групп без кручения.

Обычно Р. рассматриваются в полных подкатегориях. Полная подкатегория категории , в к-рой существуют Р. для любых объектов из , наз. рефлективной. М. Ш. Цаленко.