Passa al tema normale
Discussioni su Algebra astratta, Logica Matematica, Teoria dei Numeri, Matematica Discreta, Teoria dei Codici, Algebra degli insiemi finiti, Crittografia.

Regole del forum

Consulta il nostro regolamento e la guida per scrivere le formule
Rispondi al messaggio

Pare carino

13/04/2006, 17:17

Sia p un primo dispari e d un intero tale che per ogni intero $s>1$ risulta $p^{d^s}\equiv1(d)$. Mostratre che allora la congruenza è verificata anche per s=1.

18/04/2006, 20:36

eppure sembra facile... almeno per d dispari è poco più di una banalità

Re: Pare carino

18/04/2006, 21:30

ubermensch ha scritto:Sia p un primo dispari e d un intero tale che per ogni intero $s>1$ risulta $p^{d^s}\equiv1(d)$. Mostratre che allora la congruenza è verificata anche per s=1.

...una curiosità: tu l'hai dimostrato, uber? :|

18/04/2006, 21:40

no... hai idee te?

18/04/2006, 21:51

Sì, uber, ho idea che è un altro fake. E mi chiedo: te l'inventi o sono pescati da qualche libro? Nel secondo caso, brucia il libro! Nel primo caso, invece, per uniformità di trattamento... :-D

18/04/2006, 22:09

cosa intendi per "un altro fake"?
è una cosa che mi serve per completare la dimostrazione di un risultato che avevo postato qualche tempo fa: se $h,k$ sono due interi per cui $p^h\equiv1(h)$ e $p^k\equiv1(k)$, allora anche $p^{hk}\equiv1(hk)$

18/04/2006, 22:14

IL vocabolario dice fake=falso.... pensi sia falsa? o sai che è falsa?

18/04/2006, 22:28

Ho saputo ch'era falsa dopo averla fissata per non più di due minuti. Prendi $p=3$ e $d = 10$. Siccome $3$ non è un residuo quadratico mod 5, banalmente or$d_{10}(3) = 4$. Perciò $p^{d^s} \equiv 1$ mod d, per ogni intero $s > 1$, eppure $p^d - 1$ non è divisibile per $d$.

18/04/2006, 22:50

mmmmmmmmmmmm.....
hai perfettamente ragione (come al solito!)
in realtà mi servirebbe qualcosa di meno per completare la dimostrazione. In particolare mi serve che se $n_1$ e $n_2$ hanno gli stessi fattori primi e $h_1$, $k_1$ sono coprimi fra loro e con gli $n_i$. Allora se $p^{n_1^2n_2^2h_1k_1}\equiv1(n_1^2n_2^2h_1k_1)$, anche $p^{n_1n_2h_1k_1}\equiv1(n_1n_2h_1k_1)$.
Rispondi al messaggio


Skuola.net News è una testata giornalistica iscritta al Registro degli Operatori della Comunicazione.
Registrazione: n° 20792 del 23/12/2010.
©2000— Skuola Network s.r.l. Tutti i diritti riservati. — P.I. 10404470014.