Namespace RepTheory 2 theorems
- Compact equivariant operator yields stable subspace with finite fixed spaces
RepTheory.IsometricRep.exists_finiteDimensional_inf_fixedVectors_of_isCompactOperator0 below · cited by 1 · depth 23 - Admissible vectors force an isotypic irreducible smooth quotient
RepTheory.IsometricRep.exists_forall_sum_smul_eq_zero_of_finiteDimensional_inf_fixedVectors0 below · cited by 1 · depth 23