Theorems · Definition · Lie groups

TopRep.res

{k : Type u} →
  [inst : TopologicalSpace k] →
    [inst_1 : Ring k] →
      {G : Type v} → [inst_2 : Group G] → {H : Type u_1} → [inst_3 : Monoid H] → (H →* G) → TopRep k G → TopRep k H

The restriction of a topological representation along a monoid homomorphism.

Defined in

Mathlib.RepresentationTheory.Continuous.TopRep

Cited by

18 results in Mathlib

Foundations

Depth 87 from the axioms · uses propext, Classical.choice, Quot.sound

Assumes

TopologicalSpaceRingGroupMonoid