Un théorème de Jordan sur le groupe linéaire modulo n

Un petit théorème de Jordan qui nous emmènera sur les rivages du groupe linéaire GL_k(Z/nZ) et qui vient généraliser l'indicatrice d'Euler (pour k=1). On pourra voir dans ce théorème une extension du domaine du lemme chinois!