Kreisteilungsring/Charakterisierung/Fakt/Beweisverweis

Dies wird zuerst ausgehend von Fakt für Primzahlpotenzen bewiesen. Bei ergibt sich eine Ganzheitsbasis des Ganzheitsringes wegen der nach Fakt teilerfremden Diskiminanten aus den Produkten der Ganzheitsbasen der einzelnen Kreisteilungsringen zu den Primzahlpotenzen.