Differences
This shows you the differences between two versions of the page.
loop [2013/08/06 21:42] nikolaj created |
loop [2013/08/06 21:48] nikolaj |
||
---|---|---|---|
Line 6: | Line 6: | ||
| @#88DDEE: $\langle X,* \rangle \in \mathrm{Quasigroup}(X)$ | | | @#88DDEE: $\langle X,* \rangle \in \mathrm{Quasigroup}(X)$ | | ||
- | | @#DDDDDD: $a,a^{-1}\in X$ | | + | | @#DDDDDD: $e,a\in X$ | |
- | | @#55EE55: $\forall a.\ \exists a^{-1}.\ (a*a^{-1}=a^{-1}*a=e)$ | | + | | @#55EE55: $\exists e.\ \forall a.\ (a*e=e*a=a) $ | |
Here we used infix notation for "$*$". | Here we used infix notation for "$*$". |