Extensions 1→N→G→Q→1 with N=C4 and Q=He3:C4

Direct product G=NxQ with N=C4 and Q=He3:C4
dρLabelID
C4xHe3:C4723C4xHe3:C4432,275

Semidirect products G=N:Q with N=C4 and Q=He3:C4
extensionφ:Q→Aut NdρLabelID
C4:(He3:C4) = C4:(He3:C4)φ: He3:C4/He3:C2C2 ⊆ Aut C4726C4:(He3:C4)432,276

Non-split extensions G=N.Q with N=C4 and Q=He3:C4
extensionφ:Q→Aut NdρLabelID
C4.(He3:C4) = He3:1M4(2)φ: He3:C4/He3:C2C2 ⊆ Aut C4726C4.(He3:C4)432,274
C4.2(He3:C4) = He3:2C16central extension (φ=1)1443C4.2(He3:C4)432,57
C4.3(He3:C4) = He3:2(C2xC8)central extension (φ=1)723C4.3(He3:C4)432,273

׿
x
:
Z
F
o
wr
Q
<