ker

Mathlib.Algebra.Lie.Weights.Linear

URI: https://scilib.ai/kg/mathlib#LieModule.Weight.ker

English

The kernel of a weight χ is the subspace of L consisting of elements annihilated by χ.

Русский

Ядро веса χ — это подпространство L, состоящее из элементов, которым χ обнуляет действие.

LaTeX

$$$\\ker(χ)=\\{x\\in L \\mid χ(x)=0\\} \\le L.$$$

Lean4

/-- The kernel of a weight of a Lie module with linear weights. -/
abbrev ker :=
  LinearMap.ker (χ : L →ₗ[R] R)

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

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

Разделы

Аффилиация

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