• Aucun résultat trouvé

Théorème de Cayley

N/A
N/A
Protected

Academic year: 2021

Partager "Théorème de Cayley"

Copied!
1
0
0

Texte intégral

(1)

Théorème de Cayley

Samuel Rochetin

Dimanche 29 mai 2016

Problème. Soit (G, ×) un groupe fini à n éléments. Le but de cet exercice est de démontrer un théorème de Cayley énonçant que (G, ×) est isomorphe à un sous-groupe de (Sn, ◦).

1. Montrer que pour tout x ∈ G fixé, l’application fx : G → G définie par

y 7→ xy est une permutation de G.

2. La question précédente nous permet de définir une application ϕ : (G, ×) → (Sn, ◦) par x 7→ fx. Montrer que ϕ est un morphisme de groupes.

3. Montrer que ϕ est injectif.

4. En déduire qu’il existe un sous-groupe de (Sn, ◦) isomorphe à (G, ×).

Corrigé. 1. fx◦ fx−1 = fx−1◦ fx= IdG et G est fini à n éléments, donc fx

est une permutation de G.

2. ∀(x, x0) ∈ G2, ϕ(xx0) = fxx0 = fx ◦ fx0 = ϕ(x) ◦ ϕ(x0) donc ϕ est un

morphisme de groupes.

3. ϕ(x) = IdSn ⇐⇒ ∀y ∈ G, xy = y ⇐⇒ x = IdG en multipliant à droite

par y−1. ker ϕ = {IdG} donc ϕ est injectif.

4. ϕ est un morphisme de groupes, donc d’après le cours, (ϕ(G), ◦) est un sous-groupe de (Sn, ◦). Or, ϕ est surjectif de (G, ×) sur (ϕ(G), ◦), et

d’après la question précédente, ϕ est injectif. Donc ϕ est un isomorphisme de (G, ×) sur (ϕ(G), ◦). Il existe donc bien un sous-groupe de (Sn, ◦)

Références

Documents relatifs

Si deux expressions polynomiales d'une variable x réelle et à coecients matriciels sont égales pour une innité de valeurs de x , on peut identier terme à terme tous les

Si deux expressions polynomiales d'une variable x réelle et à coecients matriciels sont égales pour une innité de valeurs de x , on peut identier terme à terme tous les

Nous tenons à remercier l’ensemble des Auvillarais pour l’ac- cueil qu’ils réservent aux enfants le dimanche matin lorsque ces derniers passent vendre leurs fleurs et tous

Dans une surface développable, on ne peut mener par un élément rectiligne qu'un seul plan tangent, et le con- tact a lieu tout le long de la

Le centre de G est l'ensemble des éléments de G qui commutent avec tous les autres éléments.. L'ordre d'un groupe est

Les deux quadriques S et S' seront dans les conditions requises si l'un des quatre cônes passant par la biquadratique, et le cône du même sommet circonscrit à S admettent des

[r]

Ce résultat est important, car il montre que tout polynôme de terme dominant X n peut être vu comme le polynôme caractéristique d’une certaine matrice carrée d’ordre n (et