Zeige, dass das Polynom X 9 − X ∈ Z / ( 3 ) [ X ] {\displaystyle {}X^{9}-X\in \mathbb {Z} /(3)[X]} die Zerlegung
besitzt, wobei die Faktoren in der zweiten Zerlegung irreduzibel sind. Zeige, dass die Restklassenkörper
untereinander isomorph sind.