Skip to main content
3 of 5
Tried to formulate the question in a more appropriate way.
Stefan Kohl
  • 19.6k
  • 21
  • 75
  • 137

Bound on the order of a finite group generated by elements $a$ and $b$ of order 2 and 3 such that the sum of the images of $a$, $b$ and $b^{-1}$ under any ordinary representation has only rational eigenvalues

Assume that $G = \langle a, b \rangle$ is a finite group which is generated by an involution $a$ and an element $b$ of order 3 such that for every (complex) representation $\varphi$ of $G$ the matrix $\varphi(a) + \varphi(b) + \varphi(b^{-1})$ has only rational eigenvalues.

Question: Is there an upper bound on the order of $G$?

katie
  • 427
  • 2
  • 8