Cubo in un campo finito

Messaggioda peppespe » 14/12/2008, 11:50

Come noto per verificare se un elemento x è un quadrato in un campo finito di ordine n, posso utilizzare il simbolo di Jacobi, ma come posso verificare se questi è un cubo nel medesimo campo?
Ragazzi aiutatemi, ho cercato in rete ma nulla in merito.
peppespe
Starting Member
Starting Member
 
Messaggio: 1 di 4
Iscritto il: 14/12/2008, 11:43

Messaggioda Lord K » 17/12/2008, 09:50

una traccia. Proviamo a generalizzarlo ricordando che se:

$x^2\equiv a (n)$ abbiamo che $(x/a) \equiv a^((n-1)/2) (n)$ e abbiamo soluzione al problema se e solamente se $GCD(a,n)=1$

Da notare che il suddetto simbolo di Jacobi non garantisce per $a$,$n$ qualsiasi la risoluzione del problema quadratico. Quello che a noi serve è il simbolo di Legendre!

Portiamoci ora sul problema posto:

$x^3 \equiv a (n)$

Sappiamo che:

$alpha^n \equiv alpha (n)$

Possiamo avere i seguenti casi:

1) $n=3k+1$

Allora la soluzione esiste se:

$a^((n-1)/3) \equiv 1 (n)$

analogo al simbolo di Legendre... il secondo caso a brevissimo...

P.S: la mia notazione $a\equivb(c)$ corrisponde a $a\equivb(modc)$
"La realtà è una invenzione di chi ha dimenticato come si sogna!" C.M.
"Le domande non sono mai stupide, esprimono dei nostri dubbi, solo le risposte possono esserlo!" Un saggio.
Lord K
Senior Member
Senior Member
 
Messaggio: 594 di 1686
Iscritto il: 10/04/2008, 13:50
Località: Trieste ed alle volte Udine & Ferrara.

Messaggioda Lord K » 17/12/2008, 10:06

2) $n=3k+2$

Qui la situazione è lievemente più complicata. Sempre dal teorema di Fermat:

$alpha^(3k+2) \equiv alpha (n)$
$alpha^(3k) \equiv alpha^(-1) (n)$

$alpha^(-3k) \equiv alpha (n)$

Da cui abbiamo la soluzione al problema:

$x^3 \equiv a(n)$

$x \equiv a^((2-n)/3) (n)
"La realtà è una invenzione di chi ha dimenticato come si sogna!" C.M.
"Le domande non sono mai stupide, esprimono dei nostri dubbi, solo le risposte possono esserlo!" Un saggio.
Lord K
Senior Member
Senior Member
 
Messaggio: 595 di 1686
Iscritto il: 10/04/2008, 13:50
Località: Trieste ed alle volte Udine & Ferrara.


Torna a Algebra, logica, teoria dei numeri e matematica discreta

Chi c’è in linea

Visitano il forum: Nessuno e 1 ospite