Bonjour LeGénie, comment vas-tu ?
Pour commencer, l'application qu'a proposer ThSQ est bien un morphisme (bien défini),

donc pour tout

,

et
=f\(ab.V_4\))
(car

est distingué dans

)...

(car H est aussi distingué dans

)...
.f\(b.V_4\))
.
Ensuite il faut remarquer que f est (évidement surjective) et 4<|H|<24 donc

mais l'ordre de H divise 24 et ne peut donc être que 6, 8 ou 12, donc

.
L'ordre du noyau de f divise 6 et ne peut donc être que 1,2,3 ou 6. On élimine 6 car sinon le morphisme n'est pas surjectif, on élimine 1 car sinon

et c'est impossible d'après ce qui a été dit. Donc
\|=2\;ou\;3)
mais dans ces deux cas

.
Pour résumer

... mais on peut éliminer 3 car sinon

or

ne contient pas de sous groupe distingué d'ordre 8, conclsion

et

d'ou

.