Zahlbereich/Ideal/Restklassenring/Endlich/Fakt/Beweis

Beweis

Nach Fakt gibt es ein ${}m\in \mathbb {Z} \cap {\mathfrak {a}}$, ${}m\neq 0$. Damit ist ${}mR\subseteq {\mathfrak {a}}$ und damit hat man eine surjektive Abbildung

$R/(m)\longrightarrow R/{\mathfrak {a}}.$

Der Ring links ist nach Fakt endlich (mit ${}m^{n}$ Elementen), also besitzt der Ring rechts auch nur endlich viele Elemente.

Zur bewiesenen Aussage