Sulla congettura di Catalan: numeri $q$-primari

Messaggioda dan95 » 18/07/2022, 22:34

Sia $\zeta_p$ una radice primitiva $p$-esima dell'unità.

Diremo che $\alpha \in \mathbb{Z}[\zeta_p]$ è $q$-primario, con $q$ primo dispari, se esiste $\beta \in \mathbb{Z}[\zeta_p]$ tale che $\alpha \equiv \beta^q \mod p^2$.

Ora siano $C$ e $C_q$ rispettivamente il gruppo delle unità ciclotomiche e il gruppo delle unità ciclotomiche $q$-primarie di $\mathbb{Q}(\zeta_p)$.


Mostrare che se $p>q$ allora $C \ne C_q$.

Questo teorema è di fondamentale importanza per la dimostrazione della Congettura di Catalan (Teorema di Mihaiescu), infatti se esistessero soluzioni intere positive $a,b$ dell'equazione

$$a^p-b^q=1$$

con $p,q$ primi dispari, allora si può dimostrare (sotto opportune ipotesi) che $C=C_q$.
"Chi è padrone del proprio respiro, è padrone della propria vita."~ Antico proverbio

"La capacità di scegliere è un dono che la natura fa all'uomo. Scegliere è un dono che l'uomo fa a se stesso." D.B.

"Il genio è semplicemente un uomo con la mente da donna." D. B.
dan95
Cannot live without
Cannot live without
 
Messaggio: 2565 di 5287
Iscritto il: 10/06/2013, 16:37
Località: Roma Caput Mundi

Re: Sulla congettura di Catalan: numeri $q$-primari

Messaggioda Stickelberger » 09/02/2024, 08:35

Sei sicuro?

Se $q<p$ e' un primo che non divide $p-1$, allora $q$ non divide $\#(ZZ[\zeta_p]//(p^2))^{\times}$
e ogni elemento e' $q$-esima potenza. E quindi $C=C_q$.

Forse vuoi che $\alpha\equiv\beta^q$ mod $q^2$ nella definizione di $q$-primarita'?
Avatar utente
Stickelberger
Average Member
Average Member
 
Messaggio: 446 di 868
Iscritto il: 12/12/2010, 16:24

Re: Sulla congettura di Catalan: numeri $q$-primari

Messaggioda dan95 » 03/05/2024, 15:36

Scusa il ritardo… sì è $\alpha \equiv \beta^q \mod q^2 $
"Chi è padrone del proprio respiro, è padrone della propria vita."~ Antico proverbio

"La capacità di scegliere è un dono che la natura fa all'uomo. Scegliere è un dono che l'uomo fa a se stesso." D.B.

"Il genio è semplicemente un uomo con la mente da donna." D. B.
dan95
Cannot live without
Cannot live without
 
Messaggio: 2777 di 5287
Iscritto il: 10/06/2013, 16:37
Località: Roma Caput Mundi


Torna a Pensare un po' di più

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite