Table:
Six homomorphisms from pm
| type |
P(k) = -1 |
wallpaper type of kernel group, with remarks |
pm
![[Image]](../../../buttons/image.gif) |
none |
pm, same as the extended group |
pm'
 |
M |
p1 |
p'b1m
![[Image]](../../../buttons/image.gif) |
t1 |
pm = {t12, t2, M}
|
p'bm
![[Image]](../../../buttons/image.gif) |
t2 |
pm = {t1, t22, M};
new negating mirror |
| |
M and t2 |
same as above,
i(M) = M t2 |
p'bg
![[Image]](../../../buttons/image.gif) |
t1 and M |
pg = {t12, t2,
t1 M};
doubled cell |
| |
t2 |
not a new type, interchange t1 and t2 |
c'm
 |
t1 and t2 |
cm = {t1 t2,
t1 t2-1, M};
doubled cell |
| |
M, t1 and t2 |
same as above,
i(M) = M t2 |