# Prove a Group is a Subgroup

If $(G,\oplus)$ is a group, let $H=\{a\in G\mid g\in G:a\oplus g=g\oplus a\}$. Prove that $(H,\oplus)$ is a subgroup of $(G,\oplus)$.

Isn't $H$ just $G$ with a different name. In other words, does it have the same members?

• If $G$ is abelian, yes. If it isn't abelian, then no. As an example, let $G$ be the group of all invertible $2\times 2$ matrices with real entries. Is $H = G$ in that case? – Mark Dec 14 '16 at 3:03
• No. $G$ is not necessarily commutative. Think about $G=S_3$ - what does $H$ look like in that case? – Ashwin Trisal Dec 14 '16 at 3:03

First, note the very useful comments made on your post. In this case, $H$ consists of the elements that commute with everything in $G$, and is known as the center of $G$, often denoted $Z(G)$. Here is the proof:
Take some $g, h \in H$. Then for any $x \in G$, $$(g \oplus h) \oplus x = g \oplus h \oplus x = g \oplus x \oplus h = x \oplus (g \oplus h),$$ so $g \oplus h \in H$.
Now see if you can prove also that $g^{-1}$ is in $H$, and you are done.
• the fact that $(g \oplus h) \oplus x = x \oplus (g \oplus h)$ shows that $g \oplus h$ meets the conditions for being in the set $H$, by the definition of $H$. – setholopolus Dec 14 '16 at 4:07