Ядро в алгебре — характеристика отображения f:A– B ,обозначаемая ker f отражающая отличие f от инъективного отображения, обычно — множество прообразов некоторого фиксированного (нулевого, единичного, нейтрального) элемента e. Конкретное определение может различаться, однако для инъективного отображения f множество ker f всегда должно быть тривиально, то есть состоять из одного элемента (как правило, нейтрального элемента из A.
Если множества A и B обладают некоторой структурой (например, являются группами или векторными пространствами), то ker f также должно обладать этой структурой, при этом различные формулировки основной теоремы о гомоморфизме связывают образ Im f и фактормножество A/ker f
