This is an old revision of the document!


Group

Set

context $G$
definiendum $ \langle G,* \rangle \in \mathrm{it}$
inclusion $\langle G,* \rangle \in \mathrm{monoid}(G)$
let $e$
such that $\forall g.\, e*a=a*e=a$
range $g,g^{-1}\in G$
postulate $\forall g.\,\exists g^{-1}.\;(g*g^{-1}=g^{-1}*g=e)$

Alternative definitions

Let $\langle G,* \rangle $ be a set $G$ with a binary operation. I'll rewrite the group axioms explicitly in the first order language:

1. $\forall (a,b\in G).\ (a*b\in G)$

2. $\forall (a,b,c\in G).\ ((a*b)*c=a*(b*c))$

3. $\exists (e\in G).\ \forall (a\in G).\ (a*e=e*a=a) $

4. $\forall (a\in G).\ \exists (a^{-1}\in G).\ (a*a^{-1}=a^{-1}*a=e)$

The first axiom is already implied if “$*$” is a binary operation $*:G\times G\to G$.

For given $G$, the set $\text{group}(G)$ is the set of all pairs $\langle G,* \rangle$, containing $G$ itself, as well a binary operation which fulfills the group axioms. One generally calls $G$ the group, i.e. the set with respect to which the operation “$*$” is defined.


Subset of

Link to graph
Log In
Improvements of the human condition