Definition:Group Axioms

From ProofWiki
Jump to: navigation, search

Definition

A group is an algebraic structure $\struct {G, \circ}$ which satisfies the following four conditions:

\((G \, 0)\)   $:$   Closure      \(\displaystyle \forall a, b \in G:\) \(\displaystyle a \circ b \in G \)             
\((G \, 1)\)   $:$   Associativity      \(\displaystyle \forall a, b, c \in G:\) \(\displaystyle a \circ \paren {b \circ c} = \paren {a \circ b} \circ c \)             
\((G \, 2)\)   $:$   Identity      \(\displaystyle \exists e \in G: \forall a \in G:\) \(\displaystyle e \circ a = a = a \circ e \)             
\((G \, 3)\)   $:$   Inverse      \(\displaystyle \forall a \in G: \exists b \in G:\) \(\displaystyle a \circ b = e = b \circ a \)             

These four stipulations are called the group axioms.


Also known as

The group axioms are also known as the group postulates, but the latter term is less indicative of the nature of these statements.

The numbering of the axioms themselves is to a certain extent arbitrary. For example, some sources do not include $G \, 0$ on the grounds that it is taken for granted that $\circ$ is closed in $G$. However, in the treatment of more abstract aspects of group theory it is recommended that this axiom be taken into account.


Also see


Sources