logo

démo linéarité valuation


autredémo linéarité valuation

#msg1950094 Posté le 12-08-08 à 10:53
Posté par Profilxunil xunil

bonjour,

j'aimerais démontrer la linéarité de la valuation p-adique.

soient a et b deux entiers. pour tout nombre premier p:

v_p(ab)=v_p(a)+v_p(b).

on s'en sortirais certainement avec une lourde décomposition en facteur premier du produit ab mais bon je ne suis pas très tenté.

donc si vous avez une jolie démo ...

merci

re : démo linéarité valuation#msg1950117 Posté le 12-08-08 à 11:32
Posté par Profilxunil xunil

nn en fait c'est pas si lourd avec la décomp. c'est même évident
re : démo linéarité valuation#msg1950120 Posté le 12-08-08 à 11:35
Posté par Profilxunil xunil

en effet,

a=p_1^{a_1}p_2^{a_2}...p_k^{a_k}

b=p_1^{b_1}p_2^{b_2}...p_k^{b_k}

ab=p_1^{a_1+b_1}p_2^{a_2+b_2}...p_k^{a_k+b_k}

pour tout nombre premier p,

v_p(ab)=a_i+b_i (i\in \{1;2;...;k})

soit v_p(ab)=v_p(a)+v_p(b).

oué ca à l'air d'aller...



@+
re : démo linéarité valuation#msg1950255 Posté le 12-08-08 à 14:55
Posté par ProfilCamélia Camélia Correcteur

C'est bien de faire les questions et les réponses!

En fait c'est plus facile à rédiger si tu écris

a=p^{v_p(a)}q avec q non divisible par p et l'analogue pour b.
re : démo linéarité valuation#msg1950421 Posté le 12-08-08 à 17:13
Posté par Profilxunil xunil

oui c'est vrai c'est mieux

@+

Répondre à ce sujet

réservé Seuls les membres peuvent poster sur le forum !

Vous devez être connecté pour poster
attention Un modérateur est susceptible de supprimer toute contribution qui ne serait pas en relation avec le thème de discussion abordé, la ligne éditoriale du site, ou qui serait contraire à la loi.

  • Ce topic

    imprimer Imprimer
    réduire la tailleRéduire   /   agrandir la tailleAgrandir

    Pour plus d'options, connection connectez vous !
  • Fiches de maths

    * algèbre en post-bac
    16 fiches de mathématiques sur "algèbre" en post-bac disponibles.


cours particuliers - cours de maths haut de pagehaut Retrouvez cette page sur ilemaths l'île des mathématiques
© Tom_Pascal & Océane 2008