No label defined (Q4031405)

Es sei \(G = \langle a,b : a^ n = 1,\;b^ m = a^ t,\;bab^{-1} = a^ r\rangle\) eine metazyklische Gruppe mit \((r,n) = 1\), \(n| t(r - 1)\) und \(r^ m \equiv 1\pod n\). Nach Clifford gelten für die Einschränkung einer irreduziblen Darstellung \(\partial\) von \(G\) auf den zyklischen Normalteiler \(N = \langle a \rangle\) folgende Eigenschaften: 1) Die Einschränkung \(\partial |_ N\) zerfällt in irreduzible Bestandteile, die untereinander \(G\)-konjugiert sind. Das bedeutet: Sind \(\partial_ 1\) und \(\partial_ 2\) zwei irreduzible Bestandteile von \(\partial |_{N}\), so gibt es ein Element \(c \in G\) derart, daß \(\partial_ 1(a) = \partial_ 2(cac^{-1})\) ist. 2) Sind \(\partial_ 1\) und \(\partial_ 2\) zwei nichtäquivalente irreduzible Bestandteile von \(\partial|_ N\), so ist die Anzahl der zu \(\partial_ 1\) äquivalenten Bestandteile von \(\partial|_ N\) gleich der Anzahl der zu \(\partial_ 2\) äquivalenten. Diese Vielfachheit ist im allgemeinen nicht bekannt. Ist aber die Darstellung \(\partial\) sogar absolut irreduzibel, so ist die Vielfachheit der irreduziblen Bestandteile von \(\partial |_ N\) gleich eins. Wir wollen nun umgekehrt von den absolut irreduziblen Darstellungen des zyklischen Normalteilers \(N = \langle a\rangle\) ausgehen und daraus die absolut irreduziblen Darstellungen der ganzen metazyklischen Gruppe \(G\) aufbauen.