Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
added this little diagram:
$\array{ 2 D_{2n} &\overset{\phantom{AA}}{\hookrightarrow}& Pin_-(2) &\overset{\phantom{AA}}{\hookrightarrow}& Spin(3) \\ \big\downarrow &{}^{(pb)}& \big\downarrow &{}^{(pb)}& \big\downarrow \\ D_{2n} &\overset{\phantom{AA}}{\hookrightarrow}& O(2) &\overset{\phantom{AA}}{\hookrightarrow}& SO(3) }$There’s a $Pin_{+}(2)$ group as well, I take it. Is either of them the default when $Pin(2)$ is mentioned?
Yes, there is $Pin_+(2)$, obtained by changing the square of the reflection generator from $-1$ to +1. I focused on $Pin_-(2)$ just because that’s the choice that fits into the story of the finite subgroups of SU(2). But if anyone has the energy, it would be good to add discussion of $Pin_+(2)$, too.
1 to 4 of 4