Ways to Show a Group is Abelian

After some exposure to group theory, you quickly learn that when trying to prove a group $G$ is abelian, checking if $xy=yx$ for arbitrary $x,y$ in $G$ is not always the most efficient - or helpful! - tactic. Here is a (not comprehensive) running tab of other ways you may be able to prove your group is abelian:

  • Show the commutator $[x,y]=xyx^{-1}y^{-1}$of two arbitary elements $x,y \in G$ must be the identity
  • Show the group is isomorphic to a direct product of two abelian (sub)groups
  • Check if the group has order $p^2$ for any prime $p$ OR if the order is $pq$ for primes $p\leq q$ with $p\nmid q-1$.
  • Show the group is cyclic.
  • Show $|Z(G)|=|G|.$
  • Prove $G/Z(G)$ is cyclic. (e.g. does $G/Z(G)$ have prime order?)
  • Show that $G$ has a trivial commutator subgroup, i.e. is $[G,G]=\{e\}$.

Here's a thought map which is (probably) more fun than practical. Note, $p$ and $q$ denote primes below:

Reference: D. Dummit and R. Foote, Abstract Algebra, 3rd ed., Wiley, 2004. 

Related Posts

Why are Noetherian Rings Special?

The Back Pocket

Motivation for the Tensor Product

The Back Pocket

One Unspoken Rule of Algebra

The Back Pocket
Leave a comment!