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