Skip to main content
3 of 4
edited title
Alexander Chervov
  • 24.8k
  • 20
  • 102
  • 209

Algorithm to check is representation irreducible ? Algorithm to decompose the reducible one ?

Question 1 Given a representation of a finite group, what algorithm can be used to check is it irreducible or not ?

(Main case - complex numbers, comments on other cases are also welcome. "Given" means finite set of matrices is given).

Question 2 Given a representation of a finite group, what algorithms can be used to decompose it to the direct sum of irreducibles) ?


For the question 1 I would do the following: rep is irrep if its commutant consists of scalar matrices. So I can try to find matrices commuting with all elements of the group and look whether I get only scalar matrices.

Are there more effective ways to do it ?


Related question: How to compute all irreducible representations of a finite group ? (how GAP is doing this?)

Alexander Chervov
  • 24.8k
  • 20
  • 102
  • 209