isQuadraticExtension

Mathlib.NumberTheory.NumberField.CMField

URI: https://scilib.ai/kg/mathlib#NumberField.IsCMField.isQuadraticExtension

English

All invariants of CM-field CM from embeddings stabilize under the restriction to the real subfield.

Русский

Все инварианты CM‑поля от вложений стабилизируются при ограничении к вещественному подполю.

LaTeX

$$CM‑field invariants are preserved under restriction to maximal real subfield.$$

Lean4

instance isQuadraticExtension : IsQuadraticExtension K⁺ K :=
  IsCMField.is_quadratic

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

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

Разделы

Аффилиация

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