Definition:Group Axioms/Left

From ProofWiki
Jump to navigation Jump to search


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

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

Also see