Kreisteilungsring/Charakterisierung/Fakt/Beweisverweis

Dies wird zuerst ausgehend von Fakt für Primzahlpotenzen bewiesen. Bei ${}n=p_{1}^{r_{1}}\cdot p_{k}^{r_{k}}$ ergibt sich eine Ganzheitsbasis des Ganzheitsringes wegen der nach Fakt teilerfremden Diskiminanten aus den Produkten der Ganzheitsbasen der einzelnen Kreisteilungsringen zu den Primzahlpotenzen.