Given two matrices $A,B \in M_n(\mathbb{C})$, is there any way of telling if there exists a single $P \in M_n(\mathbb{C})$ such that $PAP^{-1}$ and $PBP^{-1}$ are integer matrices?
This post describes the necessary and sufficient conditions for any single matrix to be conjugate to an integer matrix, so I would imagine $A$ and $B$ must satisfy at least these conditions. However, I am aware that this problem of simultaneous conjugacy at least when it comes to diagonalizability is very difficult without further restrictions, so it's possible this problem may also be very hard. I am actually looking to apply this when $n=3$ in particular, so maybe answering just the $3\times 3$ case may be more feasible.