instLinearModuleCatCoinvariantsFunctor

English

The coinvariants functor is k‑linear; it respects scalar multiplication by elements of k and linear structure on Hom spaces.

Русский

Функтор Coinvariants над k линейный: сохраняет умножение скалярами из k и линейную структуру гомоморфизмов.

LaTeX

$$$\mathrm{coinvariantsFunctor}_{k,G}: \mathrm{Rep}(k,G) \to \mathrm{ModuleCat}(k)\ text{ is } k\text{-linear}$$

Lean4

instance : (coinvariantsFunctor k G).Linear k where

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