d | ρ | Label | ID | ||
---|---|---|---|---|---|
F5xC3:D4 | 60 | 8 | F5xC3:D4 | 480,1010 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
C3:D4:F5 = C3:D4:F5 | φ: F5/D5 → C2 ⊆ Out C3:D4 | 60 | 8 | C3:D4:F5 | 480,1012 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
C3:D4.F5 = D15:C8:C2 | φ: F5/D5 → C2 ⊆ Out C3:D4 | 240 | 8 | C3:D4.F5 | 480,1005 |
C3:D4.2F5 = C5:C8.D6 | φ: trivial image | 240 | 8 | C3:D4.2F5 | 480,1003 |