On finite groups whose center is elementary abelian group

261 Views Asked by At

Let $G$ be a finite 2-group such that $Z(G)$ is elementary abelian 2-group ($\mid Z(G)\mid\geq 4$) and $Inn(G)$ is of order 4. Then prove that there exists an $\alpha\in Aut(G)$ such that $\alpha(g)\neq g$ for some $g\in Z(G)$. Thank you

1

There are 1 best solutions below

3
On BEST ANSWER

Let $G = \mathbb{Z}_4 \rtimes \mathbb{Z}_4 = \langle a \rangle \rtimes \langle b \rangle$ where $b$ acts on $\langle a \rangle$ by inversion. We can write $G$ with the polycyclic presentation $$G=\langle a,b,c,d | a^2=c,b^2=d,a^b=ac\rangle,$$ from which it is clear that $Z(G)=\langle c,d\rangle\cong \mathbb{Z}_2\times \mathbb{Z}_2$.

$\text{Aut}(G)$ is isomorphic to the subgroup of the upper triangular unipotent matrix group $U(4,2)$ consisting of matrices of the form $$\left(\begin{array}{cccc}1&\star&\star&\star\\0&1&\star&\star\\0&0&1&0\\0&0&0&1\end{array}\right)$$ where the $\star$'s are $0$'s or $1$'s. You can see the implied isomorphism from the polycyclic presentation; $\text{Aut}(G)$ is generated by the automorphisms $$a\mapsto ab,\hspace{10pt} a\mapsto ac,\hspace{10pt} a\mapsto ad, \hspace{10pt}b\mapsto bc, \hspace{6pt}\text{and}\hspace{6pt}b\mapsto bd.$$But each one of these fixes $c$ and $d$, and thus fixes the center. So your claim is false.