Also seinen A,B Untergruppen von G und
A∩B = {e}
Und die Abbildung
b) f : AxB -> G
(a,b) -> a°b
nenne ich mal f. Bleibt zu zeigen:
f ist Injektiv.
Seien also (a,b) und (c,d) aus AxB mit
f(a,b) = f(c,d).
Also a°b = c°d .
a besitzt in A ein Inverses a
-1 , also gilt
a
-1 ° (a°b ) = a
-1 ° (c°d )
Da ° assoziativ ist
( a
-1 ° a ) °b = ( a
-1 ° c ) °d ##und entsprechend mit d
-1 gibt es :
( a
-1 ° a ) °( b ° d
-1 )= ( a
-1 ° c ) °(d ° d
-1 )
also b ° d
-1 = a
-1 ° c #
Nun sind b und d beide in B , also auch d
-1 in B und
somit auch b ° d
-1 . Entsprechend a
-1 ° c in A.
Also wegen # beide in A∩B also beide = e.
Dann besagt ## aber b=d . Entsprechend, wenn man
a°b = c°d . zunächst ( von rechts ) mit d
-1 multipliziert:
a° ( b ° d
-1 ) = c also auch a=c.
Damit hat man insgesamt:
f(a,b) = f(c,d) ⇒ (a,b) = (c,d).
Also f Injektiv.