Zahlbereiche/Restklassenbildung nach Primzahl/Fakt

Es sei eine endliche Körpererweiterung vom Grad und der zugehörige Zahlbereich. Es sei . Dann gibt es einen Gruppenisomorphismus

Für eine Primzahl ist eine Algebra der Dimension über dem Körper . Zu jeder Primzahl gibt es Primideale in mit .