d | ρ | Label | ID | ||
---|---|---|---|---|---|
C2xQ8xD7 | 112 | C2xQ8xD7 | 224,181 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
(C2xQ8):1D7 = C2xQ8:D7 | φ: D7/C7 → C2 ⊆ Out C2xQ8 | 112 | (C2xQ8):1D7 | 224,136 | |
(C2xQ8):2D7 = C28.C23 | φ: D7/C7 → C2 ⊆ Out C2xQ8 | 112 | 4 | (C2xQ8):2D7 | 224,137 |
(C2xQ8):3D7 = D14:3Q8 | φ: D7/C7 → C2 ⊆ Out C2xQ8 | 112 | (C2xQ8):3D7 | 224,141 | |
(C2xQ8):4D7 = C28.23D4 | φ: D7/C7 → C2 ⊆ Out C2xQ8 | 112 | (C2xQ8):4D7 | 224,142 | |
(C2xQ8):5D7 = Q8.10D14 | φ: D7/C7 → C2 ⊆ Out C2xQ8 | 112 | 4 | (C2xQ8):5D7 | 224,183 |
(C2xQ8):6D7 = C2xQ8:2D7 | φ: trivial image | 112 | (C2xQ8):6D7 | 224,182 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
(C2xQ8).1D7 = Q8:Dic7 | φ: D7/C7 → C2 ⊆ Out C2xQ8 | 224 | (C2xQ8).1D7 | 224,41 | |
(C2xQ8).2D7 = C28.10D4 | φ: D7/C7 → C2 ⊆ Out C2xQ8 | 112 | 4 | (C2xQ8).2D7 | 224,42 |
(C2xQ8).3D7 = C2xC7:Q16 | φ: D7/C7 → C2 ⊆ Out C2xQ8 | 224 | (C2xQ8).3D7 | 224,138 | |
(C2xQ8).4D7 = Dic7:Q8 | φ: D7/C7 → C2 ⊆ Out C2xQ8 | 224 | (C2xQ8).4D7 | 224,139 | |
(C2xQ8).5D7 = Q8xDic7 | φ: trivial image | 224 | (C2xQ8).5D7 | 224,140 |