(2015 : 105 - Groupe des permutations d'un ensemble fini. Applications.)
Parmi les attendus, il faut savoir relier la leçon avec les notions d'orbites et d'actions de groupes. Il faut aussi savoir décomposer une permutation en cycles à supports disjoints, tant sur le plan théorique (preuve du théorème de décomposition), que pratique (sur un exemple). Il est important de savoir déterminer les classes de conjugaisons du groupe symétrique par la décomposition en cycles, et, pour les candidats confirmés, dominer les problèmes de dénombrement qui en résultent.
Des dessins ou des graphes illustrent de manière commode ce que sont les permutations.
Par ailleurs, un candidat qui se propose de démontrer que tout groupe simple d'ordre 60 est isomorphe à $\mathfrak{A}_5$ devrait savoir donner des applications à la simplicité d'un groupe.
L'existence du morphisme signature est un résultat non trivial mais ne peut pas constituer, à elle seule, l'objet d'un développement.
Comme pour toute structure algébrique, il est souhaitable de s'intéresser aux automorphismes d'un groupe, par exemple, à ceux du groupe symétrique. On note que les candidats connaissent en général les applications du groupe symétrique aux polyèdres réguliers de l'espace.
105 : Groupe des permutations d'un ensemble fini. Applications.
Pas de réponse fournie.
Pas de réponse fournie.
Pas de réponse fournie.
Jury : Est-ce que la représentation standard est toujours utile ?
Votre serviteur : Oui, mais autant on peut trouver la table de $\mathfrak{S}_4$, autant c'est moins évident pour les autres $\mathfrak{S}_n$. D'ailleurs, peut-être que ça ne donne qu'un caractère en plus parfois ?* [Regarde pour la classe des transpositions.] Ah, pour $n\neq 3$ ça donne bien toujours deux représentations. Et pour $n=3$ [Calculs.] le caractère tordu est le même.
* Ça donne toujours un caractère en plus, et parfois la torsion par la signature en donne un deuxième gratuit.
J (c'est le vieux qui baragouine) : Est-qu'il y a un élément d'ordre 15 dans $\mathfrak{S}_5$ ?
VS : Non parce que…
J : Regardez le cardinal de $\mathfrak{S}_5$.
VS, un peu agacé : C'est 120, donc ça ne nous aide pas. Par contre, on peut conclure parce que si on avait un élément d'ordre 15, blablabla, d'après la décomposition en produit de cycles, blablabla.
J : Alors quel est le premier $\mathfrak{S}_n$ pour lequel on a un élément d'ordre 15 ?
VS : $\mathfrak{S}_8$ pour les mêmes raisons.
J : Si on regarde les isométries du carrés comme un sous-groupe de $\mathfrak{S}_4$, qu'est-ce qu'on trouve ?
VS : Alors il y a telle symétrie qui donne telle permutation, telle rotation qui donne telle permutation…
J : Qu'est-ce que vous êtes en train de construire comme groupe ?
VS : Le groupe diédral $D_4$ ?
J : Et est-ce qu'on peut généraliser le résultat ?
VS : oui, $D_n$ est toujours inclus dans $\mathfrak{S}_n$.
J : Que peut-on dire des représentations des groupes de cardinal $p^3$ ?
VS (je fais la version sans l'hésitation, ça a pris un certain temps) : Soit le groupe est commutatif, et on connait ses représentations, soit $Z(G)$ est de cardinal $p$ (centre non trivial et quotient non cyclique). Ensuite, on peut regarder les représentations de dimension 1, qui se factorisent par le groupe dérivé. Je n'ai pas été franchement plus loin.
Plutôt faisable, pas facile mais pas franchement dur non plus. Les gens ont été plutôt cools, sauf un vieux qui marmonnait et qui ne faisait aucun effort d'articulation. Mais les autres lui demandaient de se taire, donc ça allait.
Pas du tout de questions sur le plan, ça m'a étonné.
17.25