§ Semidirect product mnemonic
I just learnt that when we write the semidirect product , the
is to look like a combination of ( is normal in )
and the operator; This tells us that it is the part that is normal.
- A good example to remember is , where we define a group element by the action: [ for translation and for rotation ].
- Let's compose these. We find that:
Another mnemonic for the semidirect product:
- Here, we have the rotation act non-trivially on the translation .
- We need the translation to be normal, since we are messing with the translation by a rotation.
- We want the translations to be closed under this messing about by the rotation action; The action of a rotation on a translation should give us another translation. Thus, the translations ought to be normal in the full group .
my thesis adviser told me that the acting group (the non-normal subgroup) opens its mouth and tries to swallow / "act on" the group it acts upon (the normal subgroup). The group that is acted on must be normal, because we act "by conjugation". Alternatively, being normal is "tasty", and thus needs to be eaten.