Todo se considera en Z_3 (módulo 3).
B = \begin{bmatrix}1&1&1\\0&1&2\\2&1&0\\0&2&2\end{bmatrix}
Creo que el camino correcto es demostrar que ImB KerA que es cuando AB=0 y KerAImB al mismo tiempo implica KerA=ImB. Pero no sé cuándo eso es cierto. También necesito demostrar que A no puede tener menos filas.