Groupe fini et formule de cardinaux

mike2
Modifié (June 2023) dans Algèbre
Bonsoir à  tous,
je sollicite votre aide pour un petit exercice sur les groupes (voir piece jointe). Seule la question 3 (égalité de cardinaux) me pose problème. Avez-vous une idée ? J'ai pensé à me ramener à une application bijective mais sans succès.
Merci d'avance
Mickael.

Réponses

  • Hello, tu as montré que $\phi$ est surjective dans la question précédente.
    Un élément de $HK$ est atteint combien de fois?
  • NicoLeProf
    Modifié (June 2023)
    Bonsoir à toi,
    je crois (mais je ne suis pas sûr) que les questions $2$ et $3$ t'incitent fortement à considérer l'application : $f : HK \times H \cap K \rightarrow H \times K$ qui à $(hk,t)$ associe $(ht,t^{-1} k)$ et à vérifier qu'elle est bien définie et bijective.
  • J'appliquerais plutôt le lemme des bergers : par définition du produit $HK$, l'application $\phi$ induit une surjection de $H\times K$ sur $HK$ et on vient de montrer (ce qu'il faut pour en déduire) que toutes les fibres (images réciproques des singletons) ont le même cardinal.
  • mike2
    Modifié (June 2023)
    Bonjour à tous (désolé du retard) merci pour l'histoire des bergers ça marche bien.
    Bonne journée.
Connectez-vous ou Inscrivez-vous pour répondre.