Finite abelian groups
We defined a finite group in an earlier article. It is a finite set G with an operation, usually written as a product, so that the product of a and b is ab, which satisfies a few simple axioms. The group is abelian if this operation is commutative, so that we always have ba = [...]