distribMulAction — Mathlib

English

The action of a monoid R on k extends to an action on k[G] when R acts on k by distributive multiplication.

Русский

Действие моноида R на k распространяется на k[G] при условии распределительного умножения в R на k.

LaTeX

$$$\\text{DistribMulAction } R\\ k[G]$.$$

Lean4

instance distribMulAction [Monoid R] [Semiring k] [DistribMulAction R k] : DistribMulAction R k[G] :=
  Finsupp.distribMulAction G k

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