Abgeschlossenheit:
Seien a, b ∈ ℝ, a, b ≠ -1. zz. ist a + b + ab ≠ -1 (dass da was reelles rauskommt ist klar). Angenommen a+b+ab=-1, dann gilt $$ a+b+ab=a+(1+a)b = -1 \implies -1-a=(1+a)b $$ da \( a \neq -1 \) können wir durch \( 1 + a \neq 0 \) teilen und erhalten \( b = -1 \). Widerspruch.
Abelsche Gruppe:
Assoziativ: \( a \circ (b \circ c) = a \circ (b+c+bc) = a + (b+c+bc) + a(b+c+bc) \stackrel{?}{=} (a+b+ab) + c + (a+b+ab)c = (a+b+ab) \circ c = (a\circ b)\circ c \)
Kommutativ: \( a \circ b = a+b+ab \stackrel{?}{=} b+a+ba = b \circ a \)
Neutrales Element: Suche eine reelle Zahl \( e\neq-1\), s.d. \( a \circ e = a + e + ae = a \) für alle \( a\neq-1\)
Inverses Element: Finde zu jedem \( a\neq -1 \) ein \( b \neq -1 \) s.d. \( a \circ b = a + b + ab = e \)