trivial

Mathlib.RepresentationTheory.Basic

URI: https://scilib.ai/kg/mathlib#Representation.trivial

English

The trivial representation of G on V assigns to every g ∈ G the identity map on V.

Русский

Trivialноe представление группы G на V отправляет каждое g ∈ G в тождественное отображение на V.

LaTeX

$$trivial : Representation k G V is defined by ρ(g) = id_V for all g ∈ G$$

Lean4

/-- The trivial representation of `G` on a `k`-module V.
-/
def trivial : Representation k G V :=
  1

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

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

Разделы

Аффилиация

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