Inom matematiken är kongruensidealet av en surjektiv ringhomomorfi f : B → C av kommutativa ringar bilden under f av annihilatorn av nollrummet of f.

Källor redigera

Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Congruence ideal, 28 februari 2015.
  • Lenstra, H. W. (1995), ”Complete intersections and Gorenstein rings”, i Coates, John, Elliptic curves, modular forms, & Fermat's last theorem (Hong Kong, 1993), Ser. Number Theory, I, Int. Press, Cambridge, MA, s. 99–109, ISBN 1-57146-026-8