Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
group [2014/04/07 16:43] nikolaj |
group [2014/12/18 18:47] nikolaj |
||
---|---|---|---|
Line 8: | Line 8: | ||
| @#55EE55: postulate | @#55EE55: $\forall g.\,\exists g^{-1}.\;(g*g^{-1}=g^{-1}*g=e)$ | | | @#55EE55: postulate | @#55EE55: $\forall g.\,\exists g^{-1}.\;(g*g^{-1}=g^{-1}*g=e)$ | | ||
- | ==== Discussion ==== | + | === Alternative definitions === |
- | === Alternative definition === | + | |
Let $\langle G,* \rangle $ be a set $G$ with a binary operation. I'll rewrite the group axioms explicitly in the first order language: | Let $\langle G,* \rangle $ be a set $G$ with a binary operation. I'll rewrite the group axioms explicitly in the first order language: | ||
Line 24: | Line 23: | ||
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. | 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. | ||
- | ==== Parents ==== | + | ----- |
=== Subset of === | === Subset of === | ||
[[Monoid]], [[Loop]] | [[Monoid]], [[Loop]] |