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/12/18 18:47] nikolaj |
group [2014/12/18 18:48] nikolaj |
||
---|---|---|---|
Line 3: | Line 3: | ||
| @#55CCEE: context | @#55CCEE: $G$ | | | @#55CCEE: context | @#55CCEE: $G$ | | ||
| @#FFBB00: definiendum | @#FFBB00: $ \langle G,* \rangle \in \mathrm{it}$ | | | @#FFBB00: definiendum | @#FFBB00: $ \langle G,* \rangle \in \mathrm{it}$ | | ||
- | | @#AAFFAA: inclusion | @#AAFFAA: $\langle G,* \rangle \in \mathrm{monoid}(G)$ | | + | | @#AAFFAA: inclusion | @#AAFFAA: $\langle G,* \rangle \in \mathrm{monoid}(G)$ | |
- | | @#AADDEE: let | @#AADDEE: $e$ s.t. $\forall g.\, e*a=a*e=a$ | | + | | @#AADDEE: let | @#AADDEE: $e$ | |
+ | | @#AADDEE: such that | @#AADDEE: $\forall g.\, e*a=a*e=a$ | | ||
| @#DDDDDD: range | @#DDDDDD: $g,g^{-1}\in G$ | | | @#DDDDDD: range | @#DDDDDD: $g,g^{-1}\in G$ | | ||
| @#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)$ | |