abelian group: a group that satisfies the commutative law
group: a set that is closed, associative, has an identity element and every element has an inverse
jotun: (Norse mythology) one of a race of giants often in conflict with the Aesir