Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
group [2014/12/18 18:48] nikolaj |
group [2015/04/16 19:17] nikolaj |
||
|---|---|---|---|
| Line 9: | Line 9: | ||
| | @#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)$ | | ||
| + | ----- | ||
| === Alternative definitions === | === 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: | + | == Sharper definitions == |
| + | We could just define left units and left inverses and prove from the group axioms that they are already units and inverses. | ||
| + | |||
| + | == Group axioms explicitly in the first order language == | ||
| + | Let $\langle G,* \rangle $ be a set $G$ with a binary operation. | ||
| 1. $\forall (a,b\in G).\ (a*b\in G)$ | 1. $\forall (a,b\in G).\ (a*b\in G)$ | ||
| Line 25: | Line 30: | ||
| ----- | ----- | ||
| - | |||
| === Subset of === | === Subset of === | ||
| [[Monoid]], [[Loop]] | [[Monoid]], [[Loop]] | ||
