Inscription / Connexion Nouveau Sujet
Niveau autre
Partager :

Une petite somme

Posté par
H_aldnoer
01-03-08 à 01:00

Bonsoir,

Montrer que \Bigsum_{a\in\mathbb{F}_q} a=0.
Simple ok, je vois pas comment débuter!

Posté par
robby3
re : Une petite somme 01-03-08 à 01:13

on amis des exercices un peu n=énervant ce soir je trouve
c'est quoi cette somme?!
t'as la correction?

j'ai essayé de prendre l'exponentielle...de mettre à la puissance q...rien à faire!!

Posté par
H_aldnoer
re : Une petite somme 01-03-08 à 01:16

Non j'ai rien!
Pas de corrigé!

Posté par
Ju007
re : Une petite somme 01-03-08 à 01:16

Fq c'est Z/qZ non?

et ben ça marche que pour q impair!

Tu utilises le fait que a -> -a est bijectif...

Posté par
robby3
re : Une petite somme 01-03-08 à 01:18

salut
bah si c'est pas préciser que q=p^n c'est que q ça doit etre q

tu peux nous montrer s'il te plait?

Posté par
H_aldnoer
re : Une petite somme 01-03-08 à 01:19

Oui q=p^n le corps de décomposition etc etc ...

Posté par
Ju007
re : Une petite somme 01-03-08 à 01:25

ben F : a -> -a est bijectif (facile à prouver)

donc \large \bigsum_{a \in F_q} a = \bigsum_{a \in F_q} F(a) = -\bigsum_{a \in F_q} a

d'où \large 2 \bigsum_{a \in F_q} a = 0

et on peut simplifier par 2 si q impair...

Posté par
robby3
re : Une petite somme 01-03-08 à 01:29

ah oué
Bah merci à toi...fallait l'avoir vu au moins une fois celui-là .

Bonne nuit à toi,et merci!

Posté par
H_aldnoer
re : Une petite somme 01-03-08 à 01:31

Je ne comprend pas la toute première égalité!

Posté par
Ju007
re : Une petite somme 01-03-08 à 01:39

En fait tu réindices tes termes.

Comme c'est une permutation, tu as le droit de le faire.

De manière générale, pour tout s permutation de I,
\bigsum_{i \in I} a_i = \bigsum_{i \in I} a_s(i)

Posté par
Cauchy
re : Une petite somme 01-03-08 à 01:44

Salut,

juste une remarque, on est dans un corps fini tu prends l'exponentielle ca veut dire quoi?

Posté par
Ju007
re : Une petite somme 01-03-08 à 01:45

Salut,

qui prend l'exponentielle?

Posté par
anonyme
re : Une petite somme 01-03-08 à 01:48

Bonsoir,
Fq est un corps, donc tout élément est inversible, de là on déduit que q est premier, et donc forcément impaire (sauf pour 2)
Les classes de Fq sont 0,1,2,...,q-1, donc
2.a = q(q-1)=0
2 est inversible, donc (a)=0 ...

Posté par
Cauchy
re : Une petite somme 01-03-08 à 01:50

Non c'est ce que robby disait dans son premier message, je parle pas de ta démo

Posté par
robby3
re : Une petite somme 01-03-08 à 11:50

Citation :
Non c'est ce que robby disait dans son premier message

>Je crois que robby il était fatigué un peu

Posté par
lolo217
re : Une petite somme 01-03-08 à 13:45

et si p =2 c'est faux  0+1 = 1  (suffit pas de dire que la peuve ne marche pas faut vérifier que le résultat n'est pas correct)

Posté par
H_aldnoer
re : Une petite somme 01-03-08 à 14:07

J'ai fait dans le cas p=2 et n=2.
Je trouve un corps à 4 éléments qui sont : 0,1,a,1+a.

On obtient que 0+1+a+1+a=2+2a=0 !

Posté par
H_aldnoer
re : Une petite somme 01-03-08 à 14:08

J'espère que c'est clair pour tout le monde que \mathbb{F}_q est le corps de décomposition de X^q-X !

Posté par
1 Schumi 1
re : Une petite somme 01-03-08 à 14:17

Sur F_p, c'est le corps de décomposition du poly de F_p[X] X^q-X.

Posté par
robby3
re : Une petite somme 01-03-08 à 14:17

lolo a fait p=2 n=1 si je ne m'abuse

Posté par
1 Schumi 1
re : Une petite somme 01-03-08 à 14:18

Je crois que tu ne t'abuses pas. Elle a bien pris Z/2Z. Enfin c'est ce que j'ai cru comprendre aussi.

Posté par
robby3
re : Une petite somme 01-03-08 à 14:19

euhh lolo c'est un monsieur je crois

Citation :
Elle

Posté par
lolo217
re : Une petite somme 01-03-08 à 14:21

oui d'ailleurs grâce au polynôme de H_al en carcatéristique 2 c'est vrai  ssi q> 2  le seul cas où c'est faux c'est p = 2 .

D'ailleurs la preuve ci-dessus (z'avez vu cette preuve ?) donne le résultat directement pour tout les  q  pair impair ou autre  lol

Posté par
Rodrigo
re : Une petite somme 01-03-08 à 14:21

Ca marche si p est impair et q=p^n (fonction symétrique des racines).

Posté par
1 Schumi 1
re : Une petite somme 01-03-08 à 14:21

J'ai toujours pensé le contraire. T'en es sûr?
Avec cette gourde, on sera vite fixé de toute façon.

Posté par
lolo217
re : Une petite somme 01-03-08 à 14:22

Désolé Rodrigo j'ai gagné

Posté par
H_aldnoer
re : Une petite somme 01-03-08 à 14:23

Bon alors n>1, ok?

Posté par
lolo217
re : Une petite somme 01-03-08 à 14:23

oui

Posté par
Rodrigo
re : Une petite somme 01-03-08 à 14:25

??

Posté par
1 Schumi 1
re : Une petite somme 01-03-08 à 14:26

C'est du grand charabia vos derniers posts là. On y comprend plus rien.

Posté par
lolo217
re : Une petite somme 01-03-08 à 14:26

ben mon message avec la même preuve est apparu quelques secondes avant le tiens (décidément faut tout détailler)

Posté par
robby3
re : Une petite somme 01-03-08 à 14:27

Citation :
(décidément faut tout détailler)

>
je vous laisse!
Bonne aprés midi!

Posté par
H_aldnoer
re : Une petite somme 01-03-08 à 14:33

J'ai perdu le fil ...

Posté par
lolo217
re : Une petite somme 01-03-08 à 20:04

il est ici  

Bon allez je détaille :  Xq-X  est le produit des  X-a  pour  a  parcourant  Fq . Par conséquent la somme des éléments de Fq  est égal à la somme des racines  = -le coeffiicent de  Xq-1 dans le polynôme.
Donc 0  si q >2  et  1 si  q = 2 .

Posté par
H_aldnoer
re : Une petite somme 01-03-08 à 20:18

J'ai retrouver le fil
Merci lolo



Vous devez être membre accéder à ce service...

Pas encore inscrit ?

1 compte par personne, multi-compte interdit !

Ou identifiez-vous :


Rester sur la page

Inscription gratuite

Fiches en rapport

parmi 1674 fiches de maths

Désolé, votre version d'Internet Explorer est plus que périmée ! Merci de le mettre à jour ou de télécharger Firefox ou Google Chrome pour utiliser le site. Votre ordinateur vous remerciera !