A group is an abstraction of a collection of symmetries of an object. The collection of symmetries of a triangle (rotating by or $240^{\circ}$ degrees and flipping), rearrangements of a collection of objects (permutations), or rotations of a sphere, are all examples of groups. A group abstracts from these examples by forgetting what the symmetries are symmetries of, and only considers how symmetries behave.

A group $G$ is a pair $(X, ∙)$ where:

$X$ is a set, called the "underlying set." By abuse of notation, $X$ is usually denoted by the same symbol as the group $G$ , which we will do for the rest of the article.
$∙ : G \times G \to G$ is a binary operation. That is, a function that takes two elements of a set and returns a third. We will abbreviate $x ∙ y$ by $x y$ when not ambiguous. This operation is subject to the following axioms:

1) The set X is the collection of abstract symmetries that this group represents. "Abstract," because these elements aren't necessarily symmetries of something, but almost all examples will be.

2) The operation $∙$ is the abstract composition operation.

3) The axiom of closure is redundant, since $∙$ is defined as a function $G \times G \to G$ , but it is useful to emphasize this, as sometimes one can forget to check that a given subsets of symmetries of an object is closed under composition.

4) The axiom of identity says that there is an element $e$ in $G$ that is a do-nothing symmetry: If you apply $∙$ to $e$ and $x$ , then $∙$ simply returns $x$ . The identity is unique: Given two elements $e$ and $z$ that satisfy axiom 2, we have $z e = e z = z .$ Thus, we can speak of "the identity" $e$ of $G$ . This justifies the use of $e$ in the axiom of inversion: axioms 1 through 3 ensure that $e$ exists and is unique, so we can reference it in axiom 4.

$e$ is often written $1$ or $1_{G}$ , because $∙$ is often treated as an analog of multiplication on the set $X$ , and $1$ is the multiplicative identity. (Sometimes, e.g. in the case of rings, $∙$ is treated as an analog of addition, in which case the identity is often written $0$ or $0_{G}$ .)

5) The axiom of inverses says that for every element $x$ in $X$ , there is some other element $y$ that $∙$ treats like the opposite of $x$ , in the sense that $x y = e$ and vice versa. The inverse of $x$ is usually written $x^{- 1}$ , or sometimes $(- x)$ in cases where $∙$ is analogous to addition.

6) The axiom of associativity says that \bullet behaves like composition of functions. When composing a bunch of functions, it doesn't matter what order the individual compositions are computed in. When composing $f$ , $g$ , and $h$ , we can compute $g \circ f$ , and then compute $h \circ (g \circ f)$ , or we can compute $h \circ g$ and then compute $(h \circ g) \circ f$ , and we will get the same result.

Equivalently, a group is a monoid which satisfies "every element has an inverse".

Equivalently, a group is a category with exactly one object, which satisfies "every arrow has an inverse"; the arrows are viewed as elements of the group. This justifies the intuition that groups are collections of symmetries. The object of this category can be thought of an abstract object that the isomorphisms are symmetries of. A functor from this category into the category of sets associates this object with a set, and each of the morphisms a permutation of that set.

Examples

The most familiar example of a group is perhaps $(Z, +)$ , the integers under addition. To see that it satisfies the group axioms, note that:

(a) $Z$ is a set, and (b) $+$ is a function of type $Z \times Z \to Z$
$(x + y) + z = x + (y + z)$
$0 + x = x = x + 0$
Every element $x$ has an inverse $- x$ , because $x + (- x) = 0$ .

For more examples, see the examples page.

Notation

Given a group $G = (X, ∙)$ , we say " $X$ forms a group under $∙$ ." $X$ is called the underlying set of $G$ , and $∙$ is called the group operation.

$x ∙ y$ is usually abbreviated $x y$ .

$G$ is generally allowed to substitute for $X$ when discussing the group. For example, we say that the elements $x, y \in X$ are "in $G$ ," and sometimes write " $x, y \in G$ " or talk about the "elements of $G$ ."

The order of a group, written $| G |$ , is the size $| X |$ of its underlying set: If $X$ has nine elements, then $| G | = 9$ and we say that $G$ has order nine.

Resources

Groups are a ubiquitous and useful algebraic structure. Whenever it makes sense to talk about symmetries of a mathematical object, or physical system, groups pop up. For a discussion of group theory and its various applications, refer to the group theory page.

A group is a monoid with inverses, and an associative loop. For more on how groups relate to other algebraic structures, refer to the tree of algebraic structures.