Skip to main content
2 of 2
added 155 characters in body
Derek Holt
  • 37.4k
  • 4
  • 95
  • 149

If your representation R is of type Map (which it will be if you defined it as Representation(M) for a G-module M), then to restrict R to subgroup H

RH := map< H->Codomain(R) | x :-> R(x) >;

should work.

If you have defined R as a group homomorphism G -> GL(n,K) for some field K, then you could instead use

RH := hom< H->Codomain(R) | x :-> R(x) >;

Derek Holt
  • 37.4k
  • 4
  • 95
  • 149