d | ρ | Label | ID | ||
---|---|---|---|---|---|
C10xDic5 | 40 | C10xDic5 | 200,30 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
Dic5:C10 = C5xC5:D4 | φ: C10/C5 → C2 ⊆ Out Dic5 | 20 | 2 | Dic5:C10 | 200,31 |
Dic5:2C10 = D5xC20 | φ: trivial image | 40 | 2 | Dic5:2C10 | 200,28 |
extension | φ:Q→Out N | d | ρ | Label | ID |
---|---|---|---|---|---|
Dic5.1C10 = C5xDic10 | φ: C10/C5 → C2 ⊆ Out Dic5 | 40 | 2 | Dic5.1C10 | 200,27 |
Dic5.2C10 = C5xC5:C8 | φ: C10/C5 → C2 ⊆ Out Dic5 | 40 | 4 | Dic5.2C10 | 200,18 |