# Differences

This shows you the differences between two versions of the page.

Both sides previous revision Previous revision | |||

group [2015/04/16 19:16] nikolaj |
group [2015/04/16 19:17] (current) nikolaj |
||
---|---|---|---|

Line 11: | Line 11: | ||

----- | ----- | ||

=== Alternative definitions === | === Alternative definitions === | ||

+ | == 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 == | == Group axioms explicitly in the first order language == | ||

Let $\langle G,* \rangle $ be a set $G$ with a binary operation. | Let $\langle G,* \rangle $ be a set $G$ with a binary operation. | ||

Line 25: | Line 28: | ||

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. | ||

- | |||

- | == Sharper definitions == | ||

- | We could just define left units and left inverses and prove from the group axioms that they are already units and inverses. | ||

----- | ----- | ||

=== Subset of === | === Subset of === | ||

[[Monoid]], [[Loop]] | [[Monoid]], [[Loop]] |