d | ρ | Label | ID | ||
---|---|---|---|---|---|
C10xDic3 | 120 | C10xDic3 | 120,24 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
Dic3:C10 = C5xC3:D4 | φ: C10/C5 → C2 ⊆ Out Dic3 | 60 | 2 | Dic3:C10 | 120,25 |
Dic3:2C10 = S3xC20 | φ: trivial image | 60 | 2 | Dic3:2C10 | 120,22 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
Dic3.C10 = C5xDic6 | φ: C10/C5 → C2 ⊆ Out Dic3 | 120 | 2 | Dic3.C10 | 120,21 |