exo7 3000

Soit \(f: G \to {G'}\) un morphisme de groupes où \(G\) est un groupe fini.

Montrer que \(\mathrm{Card}\,(\mathrm{Ker} f) \times \mathrm{Card}\,(\Im f) = \mathrm{Card}\,(G)\).