Untersuchen Sie, ob die Menge M{\displaystyle M} mit der Operation ∘{\displaystyle \circ } ein Gruppoid, eine Halbgruppe, ein Monoid bzw. eine Gruppe ist: M={x∈Q∣x≥0},a∘b=a+b1+ab{\displaystyle M=\{x\in \mathbb {Q} \mid x\geq 0\},a\circ b={\frac {a+b}{1+ab}}}
Sei x1=ak,x2=bj→ak+bj1+akbj=ak+bj1+abkj=aj+bkkjkj+abkj=(aj+bk)kj(kj+ab)kj=aj+bkkj+ab∈Q⇒abgeschlossen{\displaystyle x_{1}={\frac {a}{k}},x_{2}={\frac {b}{j}}\to {\frac {{\frac {a}{k}}+{\frac {b}{j}}}{1+{\frac {a}{k}}{\frac {b}{j}}}}={\frac {{\frac {a}{k}}+{\frac {b}{j}}}{1+{\frac {ab}{kj}}}}={\frac {\frac {aj+bk}{kj}}{\frac {kj+ab}{kj}}}={\frac {(aj+bk)kj}{(kj+ab)kj}}={\frac {aj+bk}{kj+ab}}\in \mathbb {Q} \Rightarrow abgeschlossen}
(a∘b)∘c=(a+b1+ab)∘c=a+b1+ab+c1+a+b1+abc=a+b+c+abc1+ab1+ab+ac+bc1+ab=(1+ab)(a+b+c+abc)(1+ab)(1+ab+ac+bc)=a+b+c+abc1+ab+ac+bc{\displaystyle (a\circ b)\circ c=({\frac {a+b}{1+ab}})\circ c={\frac {{\frac {a+b}{1+ab}}+c}{1+{\frac {a+b}{1+ab}}c}}={\frac {\frac {a+b+c+abc}{1+ab}}{\frac {1+ab+ac+bc}{1+ab}}}={\frac {(1+ab)(a+b+c+abc)}{(1+ab)(1+ab+ac+bc)}}={\frac {a+b+c+abc}{1+ab+ac+bc}}}
a∘(b∘c)=a∘(b+c1+bc)=a+b+c1+bc1+ab+c1+bc=a+abc+b+c1+bc1+bc+ab+ac1+bc=(1+bc)(a+abc+b+c)(1+bc)(1+bc+ab+ac)=a+b+c+abc1+ab+ac+bc{\displaystyle a\circ (b\circ c)=a\circ ({\frac {b+c}{1+bc}})={\frac {a+{\frac {b+c}{1+bc}}}{1+a{\frac {b+c}{1+bc}}}}={\frac {\frac {a+abc+b+c}{1+bc}}{\frac {1+bc+ab+ac}{1+bc}}}={\frac {(1+bc)(a+abc+b+c)}{(1+bc)(1+bc+ab+ac)}}={\frac {a+b+c+abc}{1+ab+ac+bc}}} ⇒assoziativ{\displaystyle \Rightarrow assoziativ}
unvollständig..
e = 0
a' = -a
=> (abelsche) Gruppe