# Central automorphisms of a group form a subgroup of the automorphism group

I read this question about central automorphisms. The OP states that he could easily proof that the set of central automorphisms forms a subgroup of the automorphism group, however, I am not able to do this.

A central automorphism is a automorphism $\omega$ such that for every $g \in G$ the element $g^{-1}\omega\left(g\right) \in Z(G)$, where $Z(G)$ is the center of the group $G$.

First of all, the identity map is a central automorphism, so the set of central automorphisms is not empty.

Let $\omega, \theta$ be central automorphisms, then I am trying to show that $\omega \circ \theta^{-1}$ is such an automorphism itself (the subgroup criterion then assures that this set is a subgroup of the automorphis group). Let $x,g \in G$ be two arbitrary elements, then I need to show that $$g^{-1} \omega(\theta^{-1}(g))x = xg^{-1}\omega(\theta^{-1}(g))$$ However, I do not see how to use the information that $\omega, \theta$ are central homomorphisms...

Any hints on how to finish/remarks on my approach are highly appreciated.

• the inverses make it hard to read. Let's just show that $\omega \theta$ is central. Pick $g\in G$. We know that $\theta(g)=gz_1$ for some $z_1\in Z(G)$. Then $\omega(\theta (g))=\omega (gz_1)=\omega (g)\omega (z_1)$. Now $\omega (g)=gz_2$ for $z_2\in Z(G)$. Thus $\omega(\theta (g))=gz_2\omega(z_1)$ and the claim is clear. Can you finish? – lulu Sep 11 '17 at 20:03
• @Lulu: I agree about the inverses, looked better on the paper I was trying on. I think I could show that $\theta^{-1}$ is also a central automorphism: consider $g^{-1}\theta^{-1}(g)$, then $g = \theta(y)$ for some $y \in G$. Moreover, $y^{-1}\theta(y)$ is in the center, so $y^{-1}g$ is in the center. This implies that $g^{-1}y = g^{-1}\theta^{-1}(g)$ is in the center. Correct? – Student Sep 11 '17 at 20:14
• That looks good! – lulu Sep 11 '17 at 20:19

It's easier to show, separately, that $\omega\circ\theta$ and $\omega^{-1}$ are central automorphisms.
Since $\omega$ is a central automorphism, we have $$(\omega\circ\theta)(g) =\omega(\theta(g))\in\theta(g)Z(G).$$ Since $\theta$ is a central automorphism, $\theta(g)\in gZ(G)$, so in fact $(\omega\circ\theta)(g)\in gZ(G)$. Thus, $\omega\circ\theta$ is a central automorphism.
To show that $\omega^{-1}$ is a central automorphism, let $g\in G$, so that $\omega(g)\in gZ(G)$. Then $g\in \omega^{-1}(gZ(G)) = \omega^{-1}(g)Z(G)$, as $Z(G)$ is characteristic. So, $g = \omega^{-1}(g)z$, for $z\in Z(G)$, and hence $\omega^{-1}(g) = gz^{-1}\in gZ(G)$. This shows that $\omega^{-1}$ is a central automorphism.
• Thanks for the ellaborate answer. In my comment on the question, I think I was able to show that $\theta^{-1}$ is also a central automorphism, but I like your way better, since the notation is cleaner. (I also totally forgot about the center being a characteristic subgroup of $G$) Thank you very much! – Student Sep 11 '17 at 20:19