$\begingroup$Does this proof require/use the fact that $x$ is an unique such element?$\endgroup$
– Agnishom ChattopadhyaySep 10 '16 at 15:20

3

$\begingroup$How do you know that $z=x$? couldn't $z=e$? you should add that if $z=e$ then $y=xy$, which means that $x=e$, but we know that $x \neq e$ since $x$ has order $2$.$\endgroup$
– Borat SagdiyevSep 25 '16 at 19:30

$\begingroup$@AgnishomChattopadhyay Yes, because that's how you know that $z=x$ as opposed to some other element of order $2$$\endgroup$
– Borat SagdiyevSep 25 '16 at 19:34

$\begingroup$$z^2 = (y^{-1}xy)(y^{-1}xy)$ simplifies to $z^2 = x^2$, but how do you go from that to $z = x$? It could be that $z$ and $x$ are two elements that both have order 2, but they are different.$\endgroup$
– Goose BumperNov 3 '16 at 0:42

$\begingroup$You have $z^2 =x^2 = e$, and $x$ is the only element of the group $G$ which is its own inverse, i.e $x^2 = e$, and since $z^2 = e \implies z = x$.$\endgroup$
– DeepSeaNov 3 '16 at 0:59

More generally, if a group$~G$ contains exactly one element$~x$ having any given property that can be expressed in the language of group theory (in particular without mentioning any specific element of$~G$, other than the identity element$~e$), then $x$ is in the center of$~G$. Namely, any automorphism of$~G$ must send $x$ to an element with the same property, which means it has to fix$~x$. In particular this is the case for inner automorphisms (conjugation by some element of$~G$), and this implies that $x$ is in the centre of$~G$.

$\begingroup$Isn't that just relations of the form $x^n=e$, I can't think of anything else$\endgroup$
– Arun KumarJun 5 '14 at 13:40

$\begingroup$@ArunKumar: No, it can be much more general, since there can be quantified variables that range over the group. The only thing not allowed is constants explicitly designating specific elements (using which one could of course characterise any one element).$\endgroup$
– Marc van LeeuwenJun 5 '14 at 14:33

Every element of a conjugacy class has the same order. Since there is only one element of order 2 that element forms a singleton conjugacy class. An element has a singleton conjugacy class iff it is in the center.

If a group contain exacly one element of order 2.then it has exactly one sub group order 2.so it must be normal .so for any Y belongs to G yxy^-1 should be in x .and it shoud be x so from that we say that X must be in centre of G