§ Semidirect product as commuting conditions
Recall that in , is normal. This is from the mnemonic
that it looks like , or from the fact that the acting/twisting subgroup
is a fish that wants to "eat"/act on the normal subgroup .
So, we have as is normal, thus . This can be
written as . So:
In the case of translations and rotations, it's the translations that are normal.
This can be seen either by noticing that they are abelian, and are thus normal, while
rotations don't "look normal". Alternatively, one can try to consider translate-rotate
- When commuting, the element that gets changed/twisted in the normal subgroup. This is because the normal subgroup has the requisite constraint on it to be twistable.
- The element that remains invariant is the actor.
- First rotating by and then translating by along the x-axis has the same effect as first translating by at 45 degrees to the x-axis, and then rotating by the same r.
- This begs the question, is there some other translation
t'' and some other rotation
r'' such that
t''; r'' (
r'' next) has the same effect as
- First let's translate by along the x-axis and then rotating by . Now let's think, if we wanted to rotate and then translate, what rotation would we start with? it would HAVE TO BE , since there's no other way to get the axis in such an angle in the final state. But if we rotate by , then NO translation can get us to the final state we want. So, it's impossible to find a
rotation;translationpair that mimics our starting