An abelian group is a set, "A", together with an operation "•". It combines any two elements "a" and "b" to form another element denoted . For the group to be abelian, the operation and the elements must follow some requirements. These are known as the "abelian group axioms":