2
$\begingroup$

If you have a $\phi$-invariant, normal subgroup $N$ (so $\phi(N)=N$) of a finite group $G$, for an $\phi$, then you get an induced automorphism of $G/N$ by $gN\mapsto \phi(gN)=\phi(g)N$. The order of the induced automorphism is a divisor of $\phi$.

If $\phi$ is a regular automorphism (only fixed point is the identity), then the induced automorphism is regular as well. Is the order of the induced automorphism equal to the order of $\phi$ if it is regular?

1 Answers 1

4

No, not necessarily. Taking $N=G$, the induced automorphism is the only automorphism of the trivial group. This means it has order 1. The morphism $\phi$ need not have order 1.

Edit for an example with proper subgroups: Take two groups $G$ and $H$ and automorphisms $\phi:G\to G$ and $\varphi:H\to H$. Consider the automorphism $\phi\oplus\varphi$ of $G\oplus H$. It has order the least common multiple of the orders of $\phi$ and $\varphi$. Taking the normal subgroup to be $G$, the induced automorphism is essentially $\varphi$, which does not necessarily have the same order as $\phi\oplus\varphi$. (oh, and make sure $\phi\oplus\varphi$ is regular)

  • 0
    Thank you both. Very helpful.2019-02-05