id

Mathlib.NumberTheory.NumberField.InfinitePlace.Ramification

URI: https://scilib.ai/kg/mathlib#IsUnramifiedAtInfinitePlaces.id

English

The identity extension has the property of being unramified at infinite places.

Русский

У самополного расширения имеется свойство безразветвленности на бесконечных местах.

LaTeX

$$IsUnramifiedAtInfinitePlaces K K$$

Lean4

instance id : IsUnramifiedAtInfinitePlaces K K where isUnramified w := w.isUnramified_self

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

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

Разделы

Аффилиация

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