Rationnel de Gauss

Un article de Wikipédia, l'encyclopédie libre.

En mathématiques, un rationnel de Gauss est un nombre complexe dont les parties réelle et imaginaire sont des nombres rationnels. L'ensemble des rationnels de Gauss, muni de l'addition et de la multiplication usuelles des nombres complexes, est un corps, généralement noté \mathbb{Q}(i).

De manière formelle, les rationnels de Gauss forment l'ensemble :

\{p+qi|(p,q)\in \mathbb{Q}^2\}

Les rationnels de Gauss tirent leur nom du mathématicien allemand Carl Friedrich Gauss.

[modifier] Propriétés

\mathbb{Q}(i) est un corps quadratique de discriminant -4.

En effet, l'ensemble des rationnels de Gauss correspond à l'extension quadratique du polynôme X2 + 1. Comme ce polynôme est irréductible sur l'ensemble des rationnels, le quotient de l'anneau des polynômes à coefficients rationnels par l'idéal engendré par le polynôme est naturellement muni d'une structure de corps.

Dans le cas d'une extension sur un entier algébrique, c’est-à-dire si le polynôme minimal d'un nombre algébrique est à coefficients entiers, alors le discriminant de l'extension est égal à celui du polynôme minimal. La formule classique du discriminant pour les polynômes de degré deux donne b2 - 4.c si le polynôme est égal à X2 + b.X + c.

\mathbb{Q}(i) n'est ni ordonné, ni complet.

Le corps des entiers de Gauss \mathbb{Z}(i) forme l'anneau des entiers de \mathbb{Q}(i).

[modifier] Voir aussi

Autres langues