If the group is finite and
ab = ba
, then |
ab
|