Ядро (алгебра)
Ядро в общей алгебре — характеристика отображения , обозначаемая , отражающая отличие от инъективного отображения, обычно — множество прообразов некоторого фиксированного (нулевого, единичного, нейтрального) элемента . Конкретное определение может различаться, однако для инъективного отображения множество всегда должно быть тривиально, то есть состоять из одного элемента (как правило, нейтрального элемента из ). Конструкция возникла как обобщение понятия ядра линейного отображения и естественным образом обобщена на отображения любых структур с нулём или нейтральным элементом.
Если множества и обладают некоторой структурой (например, являются группами или векторными пространствами), то также должно обладать этой структурой, при этом различные формулировки основной теоремы о гомоморфизме связывают образ и фактормножество .
Дальнейшее обобщение понятия осуществлено в теории категорий, в которой также используется двойственная конструкция — коядро.
Литература
- Винберг Э. Б. Курс алгебры. — 3-е изд. — Москва: Факториал Пресс, 2002. — 544 с. — 3000 экз. — ISBN 5-88688-060-7.