self

Mathlib.FieldTheory.Galois.Basic

URI: https://scilib.ai/kg/mathlib#IsGalois.self

English

Any field F is a Galois extension of itself, i.e., IsGalois F F holds.

Русский

Любое поле F является Галуа-расширением над самим собой.

LaTeX

$$$IsGalois F F$$$

Lean4

instance self : IsGalois F F :=
  ⟨⟩

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

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

Разделы

Аффилиация

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