0 Daumen
638 Aufrufe

Aufgabe:

Finde alle selbstinversen Elemente im Ring Z/nZ wobei n ein Produkt von 2 Primzahlen ist, dh: n=p*q


Problem/Ansatz:

Ich glaube es können nur {1, -1} sein, aber ich kann es nicht richtig begründen.


Für ein a \in Z/nZ* müsste ja sonst gelten, dass a*a = 1, dh a*a-1 müsste ein Vielfaches von n sein... Und weiter fällt mir nichts mehr ein.


Kann mir vielleicht jdm helfen? Oder ist mein Ansatz schon komplett falsch?

Avatar von

Aber es ist z.B. 4 selbstinvers in Z15 !

hm. Simmt. Danke :)

2 Antworten

0 Daumen

Dein Ansatz ist ja schon gut  a2 - 1 Vielfaches von n oder sogar gleich n

gibt (a-1)(a+1) = n = p*q

Das geht ja jedenfalls, wenn a-1=p und a+1=q

also           a=p+1 und a=q-1

==>              p+1 = q-1

==>             2 = q - p

Also geht das zumindest immer, wenn p und q

sog. Primzahlzwillinge sind, also etwa 3 und 5

oder 5 und 7 etc.

Avatar von 289 k 🚀

Ah! Klar, die erste Umformung zu (a-1)(a+1) ist schlau.

Vielen Dank, das hilft sehr! :)

Aber noch eine Frage: Ich will es gerade formell aufschreiben, aber ich tue mir etwas schwer damit, falls (a-1)(a+1) = x*n sind (also ein Vielfaches von n)

<=> (a-1)(a+1) 0= x*p*q, und jetzt?

An sich kann ich doch dann nichts mehr genau über p & q aussagen, oder?

Das ändert ja nicht daran, dass es bei Primzahlzwillingen

jedenfalls immer klappt. Über andere Fälle

müsste man wohl noch was nachdenken.

0 Daumen

Ich denke, man sollte im Falle pqp\neq q mit dem chinesischen Restsatz

arbeiten: Z/pqZZ/pZ×Z/qZZ/pqZ\cong Z/pZ\times Z/qZ. Für die invertierbaren Elemente gilt

dann (Z/pqZ)(Z/pZ)×(Z/qZ)(Z/pqZ)^*\cong (Z/pZ)^*\times (Z/qZ)^*.

Selbstinvers sind dann die Elemente, die den Paaren

(1,1),(1,1),(1,1)(1,1), (1,-1),(-1,1) und (1,1)(-1,-1) des Gruppenprodukts

entsprechen.

Beispiel: p=3p=3 und q=7q=7:

a1a\equiv 1 mod 33, a1a\equiv 1 mod 77 liefert a1a\equiv 1 mod 2121,
a1a\equiv 1 mod 33, a1a\equiv -1 mod 77 liefert a13a\equiv 13 mod 2121,
a1a\equiv -1 mod 33, a1a\equiv 1 mod 77 liefert a8a\equiv 8 mod 2121,
a1a\equiv -1 mod 33, a1a\equiv -1 mod 77 liefert a201a\equiv 20\equiv -1 mod 2121,

Also findet man als betragsmäßig kleinste selbstinverse Reste:

±1,  ±8\pm 1,\; \pm 8.

Avatar von 29 k

Ein anderes Problem?

Stell deine Frage