Archives
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
Motivation for the Tensor Product
The Back Pocket
What do Polygons and Galois Theory Have in Common?
The Back Pocket
Operator Norm, Intuitively
The Back Pocket
Leave a comment!