group A set with a single operation - multiplication that follows the group axioms: Associativity For Identity element There exists an element such that for all . Inverse element For every , such that . References