Kategorie:Theorie der Einheitswurzeln in einem kommutativen Ring/Definitionen