Bestimme $C_{ON}(\alpha)$

Es ist klar, daß $N\leq C_{ON}(\alpha)$. Der zweite Standarderzeuger $b \in ON$ hat Ordnung 4 und $o(\alpha\cdot b^2)=14$. Mit GAP kann man nachrechnen, daß für $x_4 := (\alpha\cdot b^2)^7$:

$$C_{ON}(\alpha) = \langle n_1, n_2, n_3, x_4 \rangle.$$

Das folgende Script berechnet x.4$= x_4$ mit der MeatAxe: