Given $A$ an invertible matrix with integer coefficients, does an integer matrix $B$ always exist such as:
$$ A B = \det(A) * I $$
I tried with several matrices and I couldn't find a counter example.
I also tried to adapt a Gaussian elimination algorithm to avoid any division and return $B$ along with some divisor. It turns out the divisor always end up being a multiple of $\det(A)$, but I didn't manage to tweak the algorithm to get $\det(A)$ itself.
For every matrix $A$, we have $A \operatorname{adj}(A) = (\det A) I$, where $\operatorname{adj}(A)$ is the adjugate matrix. This holds even if $A$ is not invertible.
If $A$ has integer entries, then so has $\operatorname{adj}(A)$, because its entries are determinants of submatrices of $A$, aka as minors or cofactors.