Nombres algébriques — Les-mathematiques.net The most powerful custom community solution in the world

Nombres algébriques

Modifié (January 2022) dans Algèbre
Quelle est la structure de l'ensemble des nombres algébriques réels ?
Si x est algébrique réel et q rationnel, alors qx est algébrique réel.
Qu'en est-il du produit et de la somme de deux nombres algébriques ?
Merci de vos réponses.

Réponses

  • C'est un corps, bien que ce ne soit pas tout à fait évident. Pareil dans le cas complexe.
  • Comment le montre-t-on?
  • Modifié (January 2022)
    Il faut voir que le produit et la somme de deux nombres algébriques sont encore algébriques. Avec la théorie de Galois, c'est facile : si $x_1$ et $y_1$ sont algébriques, si $\{x_i\}_{i \in I}$ et $\{y_j\}_{j \in J}$ sont les conjugués algébriques de $x$ et de $y$, alors $P_+ (X) = \prod_{i \in I,j \in J} (X-x_i-y_j)$ et $P_{\times} (X)= \prod_{i \in I,j \in J} (X-x_iy_j)$ sont à coefficients entiers et admettent respectivement $x_1+y_1$ et $x_1y_1$ pour racines.
  • et sans Galois :

    Lemme : x est algébrique sur K ssi K(x) est un K -espace vectoriel de dimension finie.

    Si a et b sont algébriques sur K alors
    K(a,b) / K est de dimension K(a,b)/K(a) multiplié par K(a)/K donc finie.

    Or K(a+b) et K(ab) sont contenus dans K(a,b) d'où le résultat (niveau L1 suffit de connaître les résultats de bases sur les espaces vectoriels).

    lolo
  • Effectivement, c'est plus simple ainsi.
  • Modifié (January 2022)
    Pardonnez mon inculture,mais en Licence je n'ai jamais étudié d'espaces vectoriels notés K(x). Le cours d'algèbre portant sur les groupes. Mais il est possible que les programmes aient changé depuis.
    Pourriez-vous donc me dire ce que signifie K(x) ?
    Encore désolé.
    Merci d'avance.
  • C’est l’ensemble des fractions rationnelles sur un corps.
    Algebraic symbols are used when you do not know what you are talking about.
            -- Schnoebelen, Philippe
  • Je connaissais K(X) (X majuscule),mais pas K(x) (x minuscule désignant un nombre).
  • Si $x$ appartient à un surcorps de $K$, $K(x)$ est le corps engendré par $x$, i.e. le plus petit corps contenant $x$ (tu as dû voir ces notions avec un groupe, ou un espace vectoriel). On montre facilement que $K(x)$ est l'ensemble des combinaisons linéaires (à coefficients dans $K$) des $x^{j}, j\in\Z$.
    A ne pas confondre avec un corps de fractions rationnelles, $x$ étant ici un élément fixe et non une indéterminée.
  • Gah, my bad.
    Algebraic symbols are used when you do not know what you are talking about.
            -- Schnoebelen, Philippe
  • grand wazzo, tu as raison sauf que les xj sont dans Q et pas dans j.
  • >toto : pourquoi dans Q ? Est-ce que tu veux dire que $x^{1/2}\in K(x)$ ?
  • pardon j'ai dis n'imprte quoi, je pensais que tu disais que les coefficients étaient valeurs dans Z, ils sont bien à valeurs dans K bien entendu.
  • granwazoo : pour les combinaisons ce n'est vrai que si x est algébrique sur K (et alors des exposants entiers suffisent), sinon K(x) = { P(x)/ Q(x) où P et Q parcourent K[X] et Q(x) non nul } (pense à 1/(x+1) !)

    propriété : x algébrique sur K si et seulement si K[x] = K(x) .

    [Corrigé selon ton indication. AD]
  • je voulais écrire K(x) = { P(x)/ Q(x) où P et Q parcourent K[X] et Q(x) non nul}
  • Modifié (January 2022)
    Il y a une preuve matricielle de la stabilité des entiers algébriques complexes par puissance:
    Donnons nous a1 un entier algébrique complexe et P=(X-a1)^m1....(X-ar)^mr  de degré n dans Z[X].
    Montrons que F=(X-a1^k)^m1....(X-ar^k)^mr appartient à Z[X] aussi pour tout entier k>0.
    Soit Cp la matrice compagnon de P. Cp appartient à Mn(Z). De plus, elle est C-trigonalisable. En écrivant ceci on trouve que Sp(Cp^k) = {a1^k,...,ar^k) avec les mêmes multiplicités mi.
    Donc le polynôme caractéristique de Cp^k  est bien F qui est donc à coeffcients entiers car Cp^k l'est aussi.
    On vient de montrer que a1^k est un entier algébrique pour tout entier k>0.
  • Je pense qu'Archange est heureux d'avoir droit à cette démonstration, équivalente à la preuve par dimension finie, 15 ans après !
Connectez-vous ou Inscrivez-vous pour répondre.
Success message!