Izomorfizm struktury na strukturę

mctl · Post autor: **mctl** » 15 kwie 2007, o 15:35

Link do zadanka: ... 002ft8.jpg
za duzo znaczków róznych zeby to przepisywac
Prosilbym o jakąś podpowiedź jak zacząć

h4wk · Post autor: **h4wk** » 11 cze 2007, o 19:10

Musisz pokazac ze ta funkcja jest homomorfizmem czyli zachowuje dzialanie symboli funkcyjnych.
To znaczy ze
a*b = fi(a) + fi(b)
gdzie * to dzialanie w pierwszej strukturze a + to dzialanie w drugiej strukturze.
Potem trzeba pokazac ze ten homomorfizm jest izomorfizmem czyli ze jest roznowartosciowy i na.

Pzd Piotrek