Частное от отношения эквивалентности
- В математике задается категория C, частное от объекта X определяется отношением эквивалентности f:R→X×X.
- Отношение эквивалентности f является рефлексивным, симметричным и транзитивным.
- Основной случай на практике — когда C является категорией всех схем над некоторой схемой S.
- Понятие C также может быть использовано как категория пучков.
- Карта q:X→Q, отправляющая элемент x в класс эквивалентности, к которому принадлежит x, является частным.
- В алгебраической геометрии частное отображение q:Z→Q можно рассматривать как относительную версию карты Абеля.
Полный текст статьи: