Es geht um die Anzahl des Restklassenringes
Wegen
gehört 2 {\displaystyle {}2} zu dem beschreibenden Ideal und dieses kann man somit auch als ( 2 , X 2 + 1 ) {\displaystyle {}{\left(2,X^{2}+1\right)}} schreiben. Der Restklassenring ist also
![{\displaystyle {}{\left(\mathbb {Z} [X]/{\left(X^{4}+1\right)}\right)}/{\left(X^{2}+1\right)}=\mathbb {Z} [X]/{\left(X^{4}+1,X^{2}+1\right)}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0fa287898dade22d1b4723fcea15faec569a0d44)
zu dem beschreibenden Ideal und dieses kann man somit auch als 
schreiben. Der Restklassenring ist also
![{\displaystyle \mathbb {Z} /(2)[X]/{\left(X^{2}+1\right)}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e958137d2839f17a487bf6dc4b3dbee3cfbb7299)
