# Commutator subgroup - or?

If $G$ is a group and $X, Y \subseteq G$ then the commutator subgroup of $G$ is defined as $[G, G] = \langle [x, y] \mid x, y\in G \rangle$, where $[x, y] = x^{-1}y^{-1}xy$ and the group generated by commutator elements from $X$ and $Y$ is $[X, Y] = \langle [x, y] \mid x\in X, y\in Y\rangle$.

Now I am reading an article where the author talks about $[\alpha, A]$ where $\alpha$ is an automorphism of the group $A$. What does this mean? Is it related to the commutator group? The author does not define it, so I guess it is widely known what it is supposed to mean, but I haven't seen it before and I haven't had any luck looking in my books or Googling.

-

$[\alpha,A]$ means the subgroup $\langle \alpha(a^{-1})a \mid a \in A \rangle$ of $A$.

The connection with the commutator subgroups is that $[\alpha,A]$ is equal to the subgroup $[\langle \alpha \rangle, A]$ of the semidirect $A \rtimes \langle \alpha \rangle$ because, in the semidirect product $\alpha^{-1} a \alpha$ is equal to $\alpha(a)$.

-
Thanks a lot, Derek! – user129954 Mar 22 '14 at 16:37
Is there a typo here, $\alpha(a^{-1})a$ is just $\alpha$...? – hayd Mar 22 '14 at 20:13
No, it is the product of $\alpha(a^{-1})$ and $a$. – user129954 Mar 22 '14 at 21:04