Metric Diophantine approximation with congruence conditions

We prove a version of the Khinchin–Groshev theorem for Diophantine approximation of matrices subject to a congruence condition. The proof relies on an extension of the Dani correspondence to the qu...