Spazio dedicato a problemi che vanno al di là dei semplici temi d'esame o degli esercizi standard.
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$.
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'?
03/05/2024, 15:36
Scusa il ritardo… sì è $\alpha \equiv \beta^q \mod q^2 $
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.