uniqueGalXPow

Mathlib.FieldTheory.PolynomialGaloisGroup

URI: https://scilib.ai/kg/mathlib#Polynomial.Gal.uniqueGalXPow

English

For every n, the polynomial X^n has a unique Gal

Русский

Для каждого n многочлен X^n имеет уникальную Галуа группу.

LaTeX

$$$\forall n:\; Unique (X^n : F[X]).Gal$$$

Lean4

instance uniqueGalXPow (n : ℕ) : Unique (X ^ n : F[X]).Gal :=
  uniqueGalOfSplits _ (splits_X_pow _ _)

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru