Développement #1187

Titre : Polynôme caractéristique d'un élément algébrique, famille Q-libre, extension multiquadratique

Contenu : D'abord on montre deux propriétés du polynôme caractéristique d'un élément dans une extension finie.\rEnsuite on déduit de l'une des deux que la famille des $\sqrt{d}$ pour $d$ sans facteur carré est libre sur $\mathbb{Q}$, puis que l'extension $\mathbb{Q}(\sqrt{p_1}, \cdots, \sqrt{p_n}) / \mathbb{Q}$ est de degré $2^n$.\r\rContient une généralisation du développement \"Famille Q-libre par la trace\".

Créé le : 23/07/2026 12:42

Mis à jour : 23/07/2026 12:42