Kategorie:Theorie der graduierten Körpererweiterungen/Definitionen