Matrices à coefficients dans Z/nZ

On calcule les cardinaux de plusieurs sous-ensembles de $M_r(\mathbb{Z}/n\mathbb{Z})$ et on montre que les morphismes de réduction \[ SL_r(\mathbb{Z})\rightarrow SL_r(\mathbb{Z}/n\mathbb{Z}) \] sont surjectifs.