Extensions 1→N→G→Q→1 with N=C₃₁ and Q=C₄⋊C₄

Direct product G=N×Q with N=C₃₁ and Q=C₄⋊C₄

		d	ρ	Label	ID
C₄⋊C₄×C₃₁		496		C4:C4xC31	496,21

Semidirect products G=N:Q with N=C₃₁ and Q=C₄⋊C₄

extension	φ:Q→Aut N	d	ρ	Label	ID
C₃₁⋊₁(C₄⋊C₄) = Dic₃₁⋊C₄	φ: C₄⋊C₄/C₂×C₄ → C₂ ⊆ Aut C₃₁	496		C31:1(C4:C4)	496,11
C₃₁⋊₂(C₄⋊C₄) = C₄⋊Dic₃₁	φ: C₄⋊C₄/C₂×C₄ → C₂ ⊆ Aut C₃₁	496		C31:2(C4:C4)	496,12

׿

×

⋊

ℤ

𝔽

○

≀

ℚ

◁