Kategorie:Theorie der lokalen Ringhomomorphismen/Definitionen