faithfulSMul — Mathlib

English

If R acts faithfully on k and G is nonempty, then R acts faithfully on the monoid algebra k[G].

Русский

Если скалярное действие R на k является-faithful, и множество G непустое, то R действует-faithfully на k[G].

LaTeX

$$$\\text{FaithfulSMul } R(k[G])\\quad\\text{при } [\\text{Nonempty } G]$.$$

Lean4

instance faithfulSMul [Semiring k] [SMulZeroClass R k] [FaithfulSMul R k] [Nonempty G] :
    FaithfulSMul R (MonoidAlgebra k G) :=
  Finsupp.faithfulSMul

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