Podstawowe twierdzenie teorii idealnej w ciałach liczbowych

W teorii liczb fundamentalne twierdzenie teorii idealnych ciał liczbowych mówi, że każdy niezerowy ideał właściwy w pierścieniu liczb całkowitych ciała liczbowego dopuszcza jednoznaczną faktoryzację do iloczynu niezerowych ideałów pierwszych . Innymi słowy, każdy pierścień liczb całkowitych pola liczbowego jest domeną Dedekinda .

• Keith Conrad, Idealna faktoryzacja
•   Hilbert, D. (20 sierpnia 1998). Teoria algebraicznych pól liczbowych . Trans. przez Iaina T. Adamsona. Springer Verlag. ISBN 3-540-62779-0 .