Scribd
Importer
117 vues2 pages

Solutions de Fermat dans Corps Finis

Ce document présente des résultats sur l'équation de Fermat dans un corps fini, notamment un lemme, un corollaire et un théorème sur l'existence de solutions non triviales à l'équation x^k + y^k = z^k dans Fq sous certaines conditions.

Transféré par

Amin Zekri
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd
117 vues2 pages

Solutions de Fermat dans Corps Finis

Ce document présente des résultats sur l'équation de Fermat dans un corps fini, notamment un lemme, un corollaire et un théorème sur l'existence de solutions non triviales à l'équation x^k + y^k = z^k dans Fq sous certaines conditions.

Transféré par

Amin Zekri
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd

Équation de Fermat dans un corps fini

Notations : G un groupe commutatif fini, φ une fonction de G dans C, χ un caractère


de |G|, sa transformée de Fourier est
X
φ̂(χ) = φ(x)χ(x)
x∈G

Si H est un sous-groupe de G, on note H ⊥ les caractères dont la restriction à H est


triviale. C’est un sous-groupe d’indice |H|.
Si χ est un caractère de F×q , ψ de Fq , on prend la convention χ(0) = 0 et on note
X
G(χ, ψ) = χ(x)ψ(x) = Fadd (χ)(ψ) = Fmul (ψ)(χ)
x∈Fq

Où Fadd est la transformée de Fourier dans Fq et Fmul celle dans F×


q .

Lemme. A1 , A2 ..Ar des parties de G, S = {(a1 , .., ar ) ∈ A1 ×..×Ar t.q. a1 +..+ar = 0}.
On a :
|A1 × .. × Ar |
|S| = +R
|G|
r
1 X Y
où R = 1d
Ai (χ)
|G|
χ∈Ĝ, χ6=χ0 i=1

Démonstration. On a
X r
Y
|S| = 1Ai (ai )
a1 +..+ar =0 i=1
= 1A1 (a1 ) ∗ ..1Ar (ar )(0)
r
1 XY
= 1d
Ai (χ)
|G| i=1
χ∈Ĝ

On a utilisé la transformée de Fourier inverse, et le fait que la transformée de Fourier


transforme convolution en produits. Il suffit d’isoler le terme χ = χ0 .

Corollaire. Dans le cas r = 3, S est non vide dès que


p
Λ(A3 ) |A1 × A2 |
< (1)
A3 |G|

Où Λ(A) := max |1c


A (χ)|.
χ∈Ĝ, χ6=χ0

1
|A1 ×A2 ×A3 |
Démonstration. Il suffit de montrer que sous cette condition, on a R < |G| . Avec
une inégalité de Cauchy-Schwarz, on a :
 1/2  1/2
Λ(A3 )  X d X d
R≤ |1A1 (χ)|2   |1A2 (χ)|2 

|G|
χ∈Ĝ χ∈G
b
!1/2 !1/2
X X
= Λ(A3 ) |1A1 (x)|2 |1A2 (x)|2 |2
x∈G x∈G
q
= Λ(A3 ) |A1 × A2 |

Ce qui conclut.

Théorème. Soit q un nombre premier, k un entier et d = k ∧ (q − 1) tel que q > d4 + 4.


Alors xk + y k = z k admet des solutions non triviales dans Fq .

Démonstration. Notons H = {xk , x ∈ F× d ×


q } = {x , x ∈ Fq } (on a égalité par une
relation de Bézout entre k, q − 1, d). C’est un sous-groupe multiplicatif d’indice d.
On va appliquer le corollaire avec A1 , A2 , A3 = −H, H, H dans G le groupe (additif !)
Fq . Le terme de droite dans (??) vaut q−1qd , il suffit donc de montrer :

(q − 1)2
Λ(H) <
qd2
Soit ψ un caractère non trivial de Fq , on a :
X
1c
H (ψ) = ψ(x)
x∈H
1 X X
= G(χ, ψ)χ̄(x)
q − 1 x∈H
×
χ∈F
c q

1 X X
= G(χ, ψ) χ̄(x)
q−1 x∈H
×
χ∈F
cq

1 X
= G(χ, ψ)
d ⊥
χ∈H

√
Pour tout caractère non trivial χ, |G(χ, ψ)| = q et G(1, ψ) = −1, d’où 1c H (ψ) ≤
√
1+(d−1) q √
d < q.
√ 2 4
Il suffit alors de vérifier q ≤ (q−1)
qd2
, c’est-à-dire d4 < (q−1)
q3
; q > d4 + 4 convient. En
effet, (q − 1)4 = (q 2 − 2q + 1)2 > (q 2 − 2q)2 = q 4 − 4q 3 + 4q 2 > (q − 4)q 3 .

Vous aimerez peut-être aussi