Stasik hat geschrieben:Aufgabe 4:
sehe ich das richtig, dass fuer abbildungen der Form x -> ax + b b keine rolle spielt?
Nein. Natürlich spielt es eine Rolle, nur eben nicht für die Frage nach der Bijektivität.
Stasik hat geschrieben:und die abbildung ist bijektiv falls ggT von a und anzahl der restklasen gleich 1 ist? ;) warum ist das so? (das mit b ist klar, und a darf keine einheit sein?)
Schau dir doch einfach das Beispiel an: es ist ja ggT(196,256) = 4 = 17*196 - 13*256. (Die Restklasse 196 ist also keine Einheit in Z_256, da es kein Element x aus Z_256 geben kann mit 196x = 1 mod 256)
Also (4 - 17*196) mod 256 = 0. Jetzt ist 4*64 = 256, d.h. multipliziere mit 64 und erhalte (256 - 64*17*196) mod 256 = 64*17*196 mod 256 = 64*196 mod 256 ist natürlich immer noch = 0 mod 256. Es sind also 0, 64, 128, 192 die Urbilder der Nullrestklasse unter der Abbildung x -> 196x. Also gibt es auch diese vier Urbilder der Restklasse b unter der Abbildung x-> 196x + b.