G-ensemble

Aide à la résolution d'exercices ou de problèmes de niveau Supérieur.

Modérateur: gdm_aidesco

Règles du forum
Merci d'éviter le style SMS dans vos messages et de penser à utiliser la fonction Recherche avant de poster un message. Pour joindre des fichiers à vos messages, consulter ce sujet.
> Penser à utiliser le mode LaTeX (voir ici) afin de rendre vos formules plus lisibles.
> Ne poster qu'un exercice (ou problème) par sujet et indiquer son niveau précis dans le titre du message.

G-ensemble

Messagepar paspythagore » Samedi 16 Novembre 2013, 21:39

Bonjour.
J'ai quelques questions d'algèbre.
Soit $G$ un groupe et $E$ un $G$-ensemble. Soit $x\in E$, et $g,g'\in E$. Alors :

$g\cdot x=g'\cdot x\Longleftrightarrow gSt(x)=g'St(x),$

...

Démonstration de $gSt(x)=g'St(x) \Longrightarrow g\cdot x=g'\cdot x$

Alors $g\in g' St(x)$ et il existe $h\in g' St(x)$ tel que $g=g'h$.

Je ne comprends pas pourquoi $g\in g' St(x)$, ni pourquoi $h\in g' St(x)$ tel que $g=g'h$

Soit $p$ un nombre premier. Soit $G$ un $p$-groupe opérant sur un ensemble fini $E$. Alors :

$$|E|\equiv|E^G| \ (mod \ p)$$


$E^G$ l'ensemble des points fixes.

Démonstration :
Soient $O(x_1),\cdots, O(x_n)$ les orbites de cardinal supérieur ou égal à 2.

$$|E|=|E^G|+\ds\sum^n_{i=1}|O(x_i)|.$$


Comme $|O(x_1)|>1,|O(x_i)|=[G:St(x_i)|$ est une puissance de $p$.

Je ne comprends pas la dernière ligne.
paspythagore
Exa-utilisateur
 
Messages: 2287
Inscription: Mercredi 19 Novembre 2008, 15:35
Statut actuel: Post-bac

Publicité

Re: G-ensemble

Messagepar balf » Dimanche 17 Novembre 2013, 01:34

paspythagore a écrit:Je ne comprends pas pourquoi $g\in g' St(x)$, ni pourquoi $h\in g' St(x)$ tel que $g=g'h$

Parce que g ∈g St(x). Pour la seconde partie de la question : plus exactement, il existe h ∈ St(x) (et non à g'St(x)) tel que…

Comme $|O(x_1)|>1,|O(x_i)|=[G:St(x_i)|$ est une puissance de $p$.

Je ne comprends pas la dernière ligne.

$\mathsf{|O(x_i)|=[G:St(x_i)|}$ est simplement la formule des classes (que $\mathsf{|O(x_1)$ soit >1 ou pas). $\mathsf{[G:St(x_i)|}$ est un diviseur de |G| (c'est le théorème de Lagrange), donc est lui aussi une puissance de p. Puisque le cardinal de l'orbite est > 1, c'est une puissance strictement positive de p.

B.A.
balf
Zetta-utilisateur
 
Messages: 3865
Inscription: Mercredi 02 Janvier 2008, 23:18
Statut actuel: Actif et salarié | Maître de conférence

Re: G-ensemble

Messagepar paspythagore » Dimanche 17 Novembre 2013, 20:58

Merci.
g ∈g St(x) simplement parce que $e_G\in St(x)$
paspythagore
Exa-utilisateur
 
Messages: 2287
Inscription: Mercredi 19 Novembre 2008, 15:35
Statut actuel: Post-bac

Re: G-ensemble

Messagepar balf » Dimanche 17 Novembre 2013, 22:46

Oui…

B.A.
balf
Zetta-utilisateur
 
Messages: 3865
Inscription: Mercredi 02 Janvier 2008, 23:18
Statut actuel: Actif et salarié | Maître de conférence


Retourner vers Exercices et problèmes : Supérieur

 


  • Articles en relation
    Réponses
    Vus
    Dernier message

Qui est en ligne

Utilisateurs parcourant ce forum: Ahrefs [Bot], Bing [Bot] et 1 invité