# Problem Involving Semidirect Product

I am not sure how to do the following question:

Let $G$ be a group and $a \in G$, let $[g,a]=gag^{-1}a^{-1}$, and let $M(a) = \{g \in G | [g,a] \in Z(G) \}$. It is easy to see that the map $\psi : M(a) \rightarrow Z(G)$ defined by $\psi(g) = [g,a]$ is a homomorphism. Does this imply that $M \cong C_G(a) \rtimes Z(G)$ ?

I am not really sure in general how to show that something implies a semidirect product and hence I do not have an idea of how to approach this.

Thank you very much.

-
A useful property related to the semidirect product construction is that if $G \cong H \rtimes K,$ with $H, K \le G,$ then we must have $H \cap K =1.$ Now, if $x\in Z(G),$ then $xax^{-1} = a$ so that $x\in C_G (a).$ Thus any group with a nontrivial center cannot be factored in this form.