Details

A group is a set together with a binary operation on , i.e., a function to (called the group law of ) that combines any two elements and to form another element, denoted or . To qualify as a group, the set and operation, (, ), must satisfy four requirements known as the group axioms: closure, associativity, identity element, and inverse element. If , then the group is commutative or Abelian.

In this Demonstration, the group law is the composition of permutations of the set . For example, .