module

Mathlib.Algebra.MonoidAlgebra.Module

URI: https://scilib.ai/kg/mathlib#MonoidAlgebra.module

English

The monoid algebra k[G] is a module over k, with the action defined pointwise.

Русский

Алгебра моноида k[G] является модулем над k, действие задано по точечной формуле.

LaTeX

$$$\\text{Module } k[G] \\text{ над } k$, с действием $(r\\cdot f)(g) = r f(g)$.$$

Lean4

instance module [Semiring R] [Semiring k] [Module R k] : Module R (MonoidAlgebra k G) :=
  Finsupp.module G k

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

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

Разделы

Аффилиация

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