AKIT
English Eesti

kernel of a morphism

morfismi tuum

olemus
(a) üldistes algebrasüsteemides:
selline morfismiga f seotud binaarne seos
algebralise süsteemi elementide vahel,
mille puhul
elemendid a ja b on seotud (tuuma mõttes)
parajasti siis, kui f(a) = f(b)

(b) rühmateoorias:
ka kõigi
(sihtrühma) ühikelemendiks kujutuvate
(lähterühma) elementide hulk

(c) ringiteoorias:
ka kõigi
(sihtringi) nullelemendiks kujutuvate
elementide hulk

ülevaateid
https://math.stanford.edu/~vakil/0708-216/216class03.pdf

https://en.wikipedia.org/wiki/Kernel_(category_theory)

https://www.encyclopediaofmath.org/index.php/Kernel_of_a_morphism_in_a_category

https://ncatlab.org/nlab/show/kernel