Integer matrices NxN modulo K