Zahlbereiche/Restklassenbildung nach Primzahl/Fakt/Beweis

Beweis

Nach Fakt ist ${}R\cong \mathbb {Z} ^{n}$ (als abelsche Gruppen), wobei die Standardbasis der Ganzheitsbasis ${}a_{1},\ldots ,a_{n}$ entsprechen möge. Das von ${}m$ in ${}R$ erzeugte Ideal besteht aus allen ${}\mathbb {Z}$-Linearkombinationen der ${}ma_{1},\ldots ,ma_{n}$ und somit entspricht das Ideal (unter dieser Identifizierung) der von ${}(m,0,\ldots ,0),(0,m,0,\ldots ,0),\ldots ,(0,\ldots ,0,m)$ erzeugten Untergruppe von ${}\mathbb {Z} ^{n}$. Die Restklassengruppe ${}R/(m)$ ist demnach gleich ${}(\mathbb {Z} /(m))^{n}$ und besitzt ${}m^{n}$ Elemente. Aufgrund der Ganzheit ist nach Aufgabe ${}mR\cap \mathbb {Z} =m\mathbb {Z}$ und aufgrund des Homomorphiesatzes hat man einen injektiven Ringhomomorphismus

$\mathbb {Z} /(m)\longrightarrow R/(m),$

so dass ${}R/(m)$ eine von ${}0$ verschiedene ${}\mathbb {Z} /(m)$-Algebra ist.

Für eine Primzahl ${}p$ ist ${}R/(p)$ ein Vektorraum über ${}\mathbb {Z} /(p)$ der Dimension ${}n$. Deshalb gibt es darin (mindestens) ein maximales Ideal, und dieses entspricht nach Aufgabe einem maximalen Ideal ${}{\mathfrak {m}}$ in ${}R$ mit ${}p\in {\mathfrak {m}}$. Daher ist ${}(p)=(p)R\cap \mathbb {Z} \subseteq {\mathfrak {m}}\cap \mathbb {Z}$, und dieser Durchschnitt ist ein Primideal, also gleich ${}(p)$.

Zur bewiesenen Aussage