d | ρ | Label | ID | ||
---|---|---|---|---|---|
D4xC5:C8 | 160 | D4xC5:C8 | 320,1110 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
D4:(C5:C8) = Dic5.23D8 | φ: C5:C8/Dic5 → C2 ⊆ Out D4 | 160 | D4:(C5:C8) | 320,262 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
D4.(C5:C8) = D4.(C5:C8) | φ: C5:C8/Dic5 → C2 ⊆ Out D4 | 160 | 8 | D4.(C5:C8) | 320,270 |
D4.2(C5:C8) = C5:C16.C22 | φ: trivial image | 160 | 8 | D4.2(C5:C8) | 320,1129 |