Extensions 1→N→G→Q→1 with N=C₄oD₄ and Q=F₅

Direct product G=NxQ with N=C₄oD₄ and Q=F₅

		d	ρ	Label	ID
C₄oD₄xF₅		40	8	C4oD4xF5	320,1603

Semidirect products G=N:Q with N=C₄oD₄ and Q=F₅

extension	φ:Q→Out N	d	ρ	Label	ID
C₄oD₄:₁F₅ = D₅:C₄wrC₂	φ: F₅/D₅ → C₂ ⊆ Out C₄oD₄	40	8	C4oD4:1F5	320,1130
C₄oD₄:₂F₅ = C₄oD₄:F₅	φ: F₅/D₅ → C₂ ⊆ Out C₄oD₄	40	8	C4oD4:2F5	320,1131
C₄oD₄:₃F₅ = C₄oD₂₀:C₄	φ: F₅/D₅ → C₂ ⊆ Out C₄oD₄	80	8	C4oD4:3F5	320,1132
C₄oD₄:₄F₅ = D₄:F₅:C₂	φ: F₅/D₅ → C₂ ⊆ Out C₄oD₄	80	8	C4oD4:4F5	320,1133
C₄oD₄:₅F₅ = D₅.2₊¹⁺⁴	φ: F₅/D₅ → C₂ ⊆ Out C₄oD₄	40	8	C4oD4:5F5	320,1604

Non-split extensions G=N.Q with N=C₄oD₄ and Q=F₅

extension	φ:Q→Out N	d	ρ	Label	ID
C₄oD₄.₁F₅ = D₄.(C₅:C₈)	φ: F₅/D₅ → C₂ ⊆ Out C₄oD₄	160	8	C4oD4.1F5	320,270
C₄oD₄.₂F₅ = Dic₅.₂₂C₂⁴	φ: F₅/D₅ → C₂ ⊆ Out C₄oD₄	80	8	C4oD4.2F5	320,1602
C₄oD₄.₃F₅ = C₅:C₁₆.C₂²	φ: trivial image	160	8	C4oD4.3F5	320,1129
C₄oD₄.₄F₅ = Dic₅.₂₁C₂⁴	φ: trivial image	80	8	C4oD4.4F5	320,1601

׿

x

:

Z

F

o

wr

Q

<