Niech m i a będą względnie pierwsze

Podzielność. Reszty z dzielenia. Kongruencje. Systemy pozycyjne. Równania diofantyczne. Liczby pierwsze i względnie pierwsze. NWW i NWD.
max123321
Użytkownik
Użytkownik
Posty: 2733
Rejestracja: 26 maja 2016, o 01:25
Płeć: Mężczyzna
Lokalizacja: Kraków
Podziękował: 812 razy

Niech m i a będą względnie pierwsze

Post autor: max123321 » 11 maja 2021, o 23:21

Niech \(\displaystyle{ m}\) i \(\displaystyle{ a}\) będą względnie pierwsze. Pokazać, że równanie
\(\displaystyle{ x^n=a \mod m}\)
ma rozwiązanie wtedy i tylko wtedy gdy
\(\displaystyle{ a^{\phi (m)/d}=1 \mod m}\)
gdzie \(\displaystyle{ d=NWD(n,\phi(m))}\)

Jak to zrobić? Może mi ktoś pomóc?
Rekrutacja Instytut Matematyczny, Uniwersytet Wrocławski (gif)

Awatar użytkownika
Premislav
Użytkownik
Użytkownik
Posty: 15336
Rejestracja: 17 sie 2012, o 13:12
Płeć: Mężczyzna
Lokalizacja: Warszawa
Podziękował: 173 razy
Pomógł: 5101 razy

Re: Niech m i a będą względnie pierwsze

Post autor: Premislav » 12 maja 2021, o 05:20

Powiedzmy, że istnieje takie \(\displaystyle{ x}\), że
\(\displaystyle{ x^n\equiv a\pmod{m}}\). Podnosimy tę kongruencję stronami do potęgi \(\displaystyle{ \frac{\phi(m)}{d}}\) i mamy
\(\displaystyle{ \left(x^{\phi(m)}\right)^{\frac{n}{d}}\equiv a^{\frac{\phi(m)}{d}}\pmod{m} \ (*)}\).
Musi być oczywiście \(\displaystyle{ (x,m)=1}\), bo łatwo udowodnić, że \(\displaystyle{ (x,m)|a}\), no i naturalnie \(\displaystyle{ (x,m)|m}\), a z założenia \(\displaystyle{ (a,m)=1}\).
Wobec tego z tw. Eulera mamy \(\displaystyle{ x^{\phi(m)}\equiv 1\pmod{m}}\) i lewa strona \(\displaystyle{ (*)}\) przystaje do \(\displaystyle{ 1\pmod{m}}\), więc prawa także musi.

W drugą stronę: powiedzmy, że \(\displaystyle{ (a,m)=1}\) i \(\displaystyle{ n\in \NN^{+}}\) jest takie, że
\(\displaystyle{ a^{\frac{\phi(m)}{d}}\equiv 1\pmod{m}}\), gdzie \(\displaystyle{ d=(n, \phi(m))}\).
Mamy \(\displaystyle{ \left(n, \frac{\phi(m)}{d}\right)=1}\), zatem z algorytmu Euklidesa wynika istnienie takich \(\displaystyle{ s,t\in \ZZ}\), że
\(\displaystyle{ ns+t\frac{\phi(m)}{d}=1}\). Oczywiście nie może być jednocześnie \(\displaystyle{ s<0, \ t<0}\).
Jeśli \(\displaystyle{ t< 0}\), to zapisujemy
\(\displaystyle{ ns-1=-t\frac{\phi(m)}{d}}\) i mamy:
\(\displaystyle{ a^{ns-1}\equiv a^{-t\frac{\phi(m)}{d}}\pmod{m}\\a^{ns-1}\equiv 1\pmod{m}\\a^{ns}\equiv a\pmod{m}}\)
czyli wystarczy wziąć
\(\displaystyle{ x:=a^s}\) (mogliśmy pomnożyć kongruencję stronami przez \(\displaystyle{ a}\), bo z założenia jest \(\displaystyle{ (a,m)=1}\)).
Jeśli \(\displaystyle{ t\ge 0}\), to robimy taką sztuczkę, żeby znaleźć inne \(\displaystyle{ t}\), ujemne:
skoro
\(\displaystyle{ ns+t\frac{\phi(m)}{d}=1}\), to dla dowolnej liczby całkowitej \(\displaystyle{ k}\) zajdzie
\(\displaystyle{ n\left(s+k\frac{\phi(m)}{d}\right)+\frac{\phi(m)}{d}\cdot\left(t-kn\right)=1}\)
i dobieramy takie \(\displaystyle{ k\in \ZZ}\), by \(\displaystyle{ t-kn<0}\), a potem bierzemy \(\displaystyle{ t'=t-kn}\) i postępujemy jak poprzednio
(wówczas można wziąć \(\displaystyle{ x:=a^{s+k\frac{\phi(m)}{d}}}\) i wszystko gro i bucy).

Awatar użytkownika
Dasio11
Moderator
Moderator
Posty: 9517
Rejestracja: 21 kwie 2009, o 19:04
Płeć: Mężczyzna
Lokalizacja: Wrocław
Podziękował: 38 razy
Pomógł: 2116 razy

Re: Niech m i a będą względnie pierwsze

Post autor: Dasio11 » 12 maja 2021, o 15:57

Implikacja w lewo jest nieprawdziwa, na przykład równanie

\(\displaystyle{ x^2 \equiv 3 \pmod{8}}\)

nie ma rozwiązań mimo że \(\displaystyle{ 3^2 \equiv 1 \pmod{8}}\).

Awatar użytkownika
Premislav
Użytkownik
Użytkownik
Posty: 15336
Rejestracja: 17 sie 2012, o 13:12
Płeć: Mężczyzna
Lokalizacja: Warszawa
Podziękował: 173 razy
Pomógł: 5101 razy

Re: Niech m i a będą względnie pierwsze

Post autor: Premislav » 12 maja 2021, o 19:14

Do jasnej cholery, jak zwykle coś źle, a tak się starałem. :(
Oczywiście zły jest fragment \(\displaystyle{ \left(n, \frac{\phi(m)}{d}\right)=1}\), tak wcale nie musi być, dopiero \(\displaystyle{ \left(\frac{n}{d}, \frac{\phi(m)}{d}\right)=1}\).
A ja sobie myślałem „no przecież dzielimy przez \(\displaystyle{ \NWD}\) i powinno być w porządku", ale zapomniałem, że dzielimy tylko jedną liczbę.
Chrzanię matmę i swoje życie.

Awatar użytkownika
karolex123
Użytkownik
Użytkownik
Posty: 736
Rejestracja: 22 gru 2012, o 11:01
Płeć: Mężczyzna
Lokalizacja: somewhere
Podziękował: 38 razy
Pomógł: 124 razy

Re: Niech m i a będą względnie pierwsze

Post autor: karolex123 » 13 maja 2021, o 14:02

Implikacja w drugą stronę jest prawdziwa, o ile istnieje pierwiastek pierwotny modulo \(\displaystyle{ m}\).

ODPOWIEDZ