Dejemos que $A_1, A_2 \in \mathbb{Z}^{n \times n}$ sean matrices cuadradas y supongamos que algunos múltiplos $C A_1, CA_2$ con $C \in \mathbb{Z}^{n \times n}$ , $\mathrm{det}(C) \ne 0$ son equivalentes a las filas, es decir $$CA_1 = U C A_2, \; \; U \in GL(n;\mathbb{Z}).$$ ¿Se deduce que $A_1, A_2$ o al menos que sean equivalentes en el sentido más débil $$A_1 = P A_2 Q, \; \; P,Q \in GL(n;\mathbb{Z})?$$
Si esto fuera sobre un campo entonces $C^{-1} U C$ sería una equivalencia entre $A_1$ y $A_2$ . Sin embargo, $C^{-1} U C$ no es necesariamente integral por lo que no funciona aquí.