mathe. hinternanderausführen von homomorphismen

[Sholvar]

ich hab 2 homomorphismen gegeben

(G1,^)->(G2,~)
(G2,~)->(G3,#)

die zeichen sind irgendwelche rechenoperationen.

so, nun soll ich beweisen, dass (G1,^)->(G3,#) auch ein Homomorphismus ist und zwar mit f3 = f2 ° f1 also f3(x)=f2(f1(x))

kein plan wie ich das angehen soll. hlp plz 8[

 

[DeCaY4]

ist das nicht einfach nur die transitivität von relationen auf homomorphismen angewandt? O_o

 

[Sholvar]

zu zeigen: f3(x1+x2) = f3(x1) +f3(x2)

f3(x1+x2) = f2(f1(x1+x2) nach def. von f3

<==> f3(x1+x2) = f2 [ (f1(x1) + f1(x2) ] nach def. homomorphisms

<==> f3(x1+x2) = f2(f1(x1) + f2(f1(x2) nach def. homomorphismus

<==> f3(x1+x2) = f3(x1) + f3(x2) nach def. von f3 q.e.d.

thx für hilfe.

 

[DeCaY4]

np

 

[DeCaY4]

btw http://www.youtube.com/watch?v=A7abOsrTuaY&mode=related&search=

 

[DeCaY4]

ach falscher thread lol, kann gelöscht werden