Groupe symétrique et orbite

Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
Avatar de l’utilisateur
chombier
Membre Irrationnel
Messages: 1273
Enregistré le: 19 Juil 2012, 20:35

groupe symétrique et orbite

par chombier » 06 Mai 2021, 19:52

Bonjour,
J'essaie désespérément de montrer cette propriété :
Soit , et

On note l'orbite de x et le cardinal de cette orbite.

Alors

A priori il suffit de montrer que le cardinal de est égal à p, autrement dit que l'application , est injective.

Soit donc . Il faut montrer que
Par l'absurde, si alors
. En posant ,


Mon instinct me pousse à faire une division euclidienne pour montrer que tout O_x est inclus dans , ce qui montre que le cardinal de O_x est inférieur ou égal à j-i-1, et j'aurais ma contradiction.

Mais ça me donne un peu l'impression d'utiliser un marteau piqueur pour résoudre une question très simple, et je ne suis même pas sur que mon raisonnement soit correct.

J'ai évidemment cherché si la démonstration n'était pas dans le Ramis, le Marco ou Arnaudiès, introuvable...

Merci d'avance de votre aide !!



GaBuZoMeu
Habitué(e)
Messages: 4467
Enregistré le: 05 Mai 2019, 11:07

Re: groupe symétrique et orbite

par GaBuZoMeu » 06 Mai 2021, 20:05

Bonjour,

Je pense qu'il vaut mieux prendre les choses par le bon bout :

Soit le plus petit entier tel que . On montre que si , alors : s'il y avait égalité, alors on aurait or .

Avatar de l’utilisateur
chombier
Membre Irrationnel
Messages: 1273
Enregistré le: 19 Juil 2012, 20:35

Re: groupe symétrique et orbite

par chombier » 06 Mai 2021, 23:02

Il faut prouver l'existence d'un tel p, je n'ai pas trop d'idée pour montrer ça.

Ensuite j'ai bien compris, et on a donc

Il reste à prouver que

Etant donné que , il suffit de prouver que . Ce qui ne m'apparait pas évident non plus.

GaBuZoMeu
Habitué(e)
Messages: 4467
Enregistré le: 05 Mai 2019, 11:07

Re: groupe symétrique et orbite

par GaBuZoMeu » 07 Mai 2021, 00:09

chombier a écrit:Il faut prouver l'existence d'un tel p, je n'ai pas trop d'idée pour montrer ça.

La permutation est d'ordre fini comme élément d'un groupe fini.

Ensuite j'ai bien compris, et on a donc

Il reste à prouver que

C'est clair puisque : pour tout entier , est le reste de la division de par .

Etant donné que , il suffit de prouver que . Ce qui ne m'apparait pas évident non plus.

Évident avec ce que j'ai écrit.

Avatar de l’utilisateur
chombier
Membre Irrationnel
Messages: 1273
Enregistré le: 19 Juil 2012, 20:35

Re: groupe symétrique et orbite

par chombier » 07 Mai 2021, 13:32

Donc il fallait bien faire une division euclidienne, je ne sais pas comment j'espérais m'en passer.
Il faut aussi une petite récurence pour montrer que si alors .

Pour la première question, le théorème de Lagrange montre en effet que donc mais je préfère la méthode des tiroirs (j'ai trouvé cette méthode entre temps sur maths-france)

sont n+1 élément de l'ensemble [[1 ; n]] donc ils ne peuvent être tous deux à deux distincts, donc il existe tel que .

Mon erreur de méthode était là : . En posant inutilement , .

On peut faire bien mieux : si alors et donc que , et donc l-k conviens.

Merci pour ton aide :)

 

Retourner vers ✯✎ Supérieur

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 29 invités

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite