Actions de groupes. Exemples et applications
|
|
- Nicolas St-Jean
- il y a 8 ans
- Total affichages :
Transcription
1 4 Actions de groupes. Exemples et applications G, ) est un groupe multiplicatif et on note ou G si nécessaire) l élément neutre. E est un ensemble non vide et S E) est le groupe des permutations de E. 4. Définitions et exemples Définition 4. On dit que G opère à gauche sur E si on a une application : G E E g, x) g x telle que : { x E, x = x g, g, x) G 2 E, g g x) = gg ) x Une telle application est aussi appelée action à gauche de G sur E. Remarque 4. On peut définir de manière analogue la notion d action à droite d un groupe sur un ensemble non vide comme une application : G E E g, x) x g telle que : { x E, x = x g, g, x) G 2 E, x g) g = x gg ) Pour tout g G, l application : ϕ g) : E E x g x est alors une bijection de E sur E, c est-à-dire que ϕ g) S E). En effet, de x = x pour tout x E, on déduit que ϕ ) = Id E et avec g g x) = gg ) x = x = x et g g x) = x on déduit que ϕ g) ϕ g ) = ϕ g ) ϕ g) = Id E, ce qui signifie que ϕ g) est bijective d inverse ϕ g ). 87
2 88 Actions de groupes. Exemples et applications De plus avec g g x) = gg ) x, pour tous g, g, x, on déduit que ϕ gg ) = ϕ g) ϕ g ), c est-à-dire que l application ϕ est un morphisme de groupes de G, ) dans S E), ). Le noyau de ce morphisme ϕ est le noyau de l action à gauche de G sur E. Réciproquement un tel morphisme ϕ définit une action à gauche de G sur E avec : g x = ϕ g) x) Exemple 4. G agit sur lui même par translations à gauche : g, h) G G g h = gh Exemple 4.2 Un groupe G agit sur lui même par conjugaison : g, h) G G g h = ghg le morphisme de groupes correspondant de G, ) dans S G), ) est noté : Ad g) : G G h ghg L image de Ad est le groupe Int G) des automorphismes intérieurs de G. Exercice 4. Montrer que Int G) est isomorphe au groupe quotient G/Z G), où Z G) est le centre de G. Solution 4. Le noyau du morphisme de groupes Ad : G S G) est formé des g G tels que Ad g) = Id G, c est-à-dire des g G tels que ghg = h pour tout h G, ce qui équivaut à gh = hg pour tout h G. Le noyau de Ad est donc le centre Z G) de G. Comme Im Ad) = Int G), on en déduit que G/Z G) = G/ ker Ad) est isomorphe à Im Ad) = Int G). Exemple 4.3 Un groupe G agit sur tout sous-groupe distingué H par conjugaison : g, h) G H g h = ghg H Exemple 4.4 Le groupe S E) agit naturellement sur E par : σ, x) S E) E σ x = σ x) E 4.2 Orbites et stabilisateurs Définition 4.2 Soit G un groupe opérant sur un ensemble non vide E. Pour tout x E, le sous-ensemble de E : G x = {g x g G} est appelé orbite de x sous l action de G. On vérifie facilement que la relation x y si, et seulement si, il existe g G tel que y = g x est une relation d équivalence sur E x = x donne la réflexivité, y = g x équivalent à x = g y donne la symétrie et y = g x, z = h y qui entraîne z = hg) x donne la transitivité) et la classe de x E pour cette relation est l orbite de x. Il en résulte que les orbites forment une partition de E.
3 Orbites et stabilisateurs 89 Exemple 4.5 Pour l action de S E) sur E il y a une seule orbite. En effet, pour tout x E, on a : S E) x = {σ x) σ S E)} = E tout y E s écrit y = τ x), où τ est la transposition τ = x, y) si y x, τ = Id si y = x). Exemple 4.6 Pour l action de G sur lui même par conjugaison, les orbites sont appelées classes de conjugaison : h G, G h = { ghg g G } Le groupe G est commutatif si, et seulement si, G h = {h} pour tout h G. Exemple 4.7 Si H est un sous-groupe de G, il agit par translation à droite sur G : h, g) H G h g = gh g = g = g et h h 2 g) = ) gh 2 h = g h h 2 ) = h h 2 ) g) et pour tout g G l orbite de g est la classe à gauche modulo H : H g = {h g h H} = { gh h H } = {gk k H} = gh L ensemble de ces orbites est l ensemble quotient G/H des classes à gauche modulo H. En utilisant les translation à gauche sur G : les orbites sont les classes à droite modulo H : h, g) H G h g = hg H g = {hg h H} = Hg Exemple 4.8 Soit E un ensemble non vide. Pour σ S E), on fait agir le groupe cyclique H = σ sur E par : σ r, x) H E σ r x = σ r x) et l orbite de x E pour cette action est l ensemble : H x = {γ x γ H} = {σ r x) r Z} On dit H x est l orbite de la permutation σ. On note, dans ce contexte, Orb σ x) une telle orbite. Un cycle est une permutation σ S E) pour laquelle il n existe qu une seule orbite non réduite à un point. En utilisant le fait que les σ-orbites forment une partition de E et que chaque σ-orbite non réduite à un point permet de définir un cycle, on déduit que toute permutation σ S E)\{Id E } se décompose en produit de cycles de supports deux à deux disjoints théorème 3.6). Définition 4.3 On dit que l action de G sur E est transitive [resp. simplement transitive ] si : x, y) E 2, g G y = g x resp. x, y) E 2,!g G y = g x
4 90 Actions de groupes. Exemples et applications Dans le cas d une action transitive ou simplement transitive, il y a une seule orbite. Définition 4.4 On dit que l action de G sur E est fidèle si le morphisme de groupes : est injectif, ce qui signifie que : ϕ : g G ϕ g) : x g x) S E) g G et x E, g x = x) g = ) Une action fidèle permet d identifier G à un sous-groupe de S E). Théorème 4. Cayley) L action de G sur lui même par translation à gauche est fidèle et G est isomorphe à un sous-groupe de S G). Démonstration. Pour g G, on a g h = gh = h pour tout h G si, et seulement si, g =, donc ϕ est injectif. Exercice 4.2 On considère, pour n, l action de O n R) sur R n définie par : A, x) O n R) R n, A x = A x) Montrer que les orbites sont les sphères de centre 0. Solution 4.2 Pour x R n, on a : O n R) x = {A x) A O n R)} Pour tout y O n R) x, il existe A O n R) telle que y = A x) et y = A x) = x, donc O n R) x S 0, x ). Réciproquement si y S 0, x ) avec x 0, on a y 0 et on peut construire deux bases orthonormées B = e i ) i n et B = e i) i n de R n telles que e = x x et e = y. La y matrice de base de B à B est alors orthogonale et y = y e = x A e ) = A x), donc y O n R) x. On a donc O n R) x = S 0, x ) pour x 0. Pour x = 0, on a O n R) x = {0} = S 0, x ). Exercice 4.3 Soient n, m deux entiers naturels non nuls et K un corps commutatif. On fait agir le groupe produit G = GL n K) GL m K) sur l ensemble E = M n,m K) des matrices à n lignes et m colonnes par : P, Q) G, A E, P, Q) A = P AQ Montrer que les orbites correspondantes sont les ensembles : où r est compris entre 0 et min n, m). O r = {A E rg A) = r}
5 Orbites et stabilisateurs 9 Solution 4.3 On rappelle qu une ) matrice A M n K) est de rang r si et seulement si elle est Ir 0 équivalente à A r =. 0 0 Rappelons une démonstration de ce résultat. Pour r = 0, on a A = 0 = A 0. Pour r, en désignant par u L K n ) l endomorphisme de matrice A dans la base canonique de K n, H un supplémentaire de ker u) dans K n, B = e i ) i r une base de H et B 2 une base de ker u), le système u B ) = u e )) i r qui est libre dans K n si λ k u e k ) = 0, alors λ k e k H ker u) = {0} et tous les λ k sont nuls) se complète en k= k= une base B = {u e ),, u e r ), f r+,, f n } de K n et la matrice de u dans les bases B B 2 et B a alors la forme indiquée. La réciproque est évidente. Il en résulte que : et : O r = {A E rg A) = r} = { A E P, Q) G A = P I r Q } = G I r E = ce qui nous donne toutes les orbites. minn,m) r=0 O r = minn,m) r=0 G I r Définition 4.5 Soit G un groupe opérant sur un ensemble non vide E. Pour tout x X, le sous-ensemble de G : G x = {g G g x = x} est le stabilisateur de x sous l action de G. On vérifie facilement que ces stabilisateurs G x sont des sous-groupes de G en général non distingués). Exemple 4.9 En faisant agir G = S E) sur un ensemble E non réduit à un point par σ x = σ x), le stabilisateur de x E est isomorphe à S E \ {x}). À σ G x, on associe la restriction σ de σ à E \ {x}, ce qui définit un isomorphisme de G x sur S E \ {x}). Théorème 4.2 Soit G, ) est un groupe opérant sur un ensemble E. Pour tout x E l application : ϕ x : G/G x G x g = gg x g x est bien définie et bijective. Dans le cas où G fini, on a : donc card G x) divise card G)). card G x) = [G : G x ] = card G) card G x ) Démonstration. En remarquant que pour g, h dans G et x E, l égalité g x = h x équivaut à h g) x = x, soit à h g G x ou encore à g = h dans G/G x, on déduit que l application ϕ x est bien définie et injective. Cette application étant clairement surjective, elle définie une bijection de G/G x sur G x. Dans le cas où G fini, on a : card G x) = card G/G x ) = card G) card G x )
6 92 Actions de groupes. Exemples et applications Exercice 4.4 En utilisant l action naturelle de S E) sur E, montrer que si E est un ensemble fini à n éléments, on a alors card S E)) = n! Solution 4.4 On utilise l action de S E) sur E définie par : σ, x) S E) E, σ x = σ x) Cette action est transitive il y a une seule orbite), donc S E) x = E pour tout x E. Le stabilisateur de x E est : S E) x = {σ S E) σ x) = x} et l application qui associe à σ S E) x sa restriction à F = E \ {x} réalise un isomorphisme de S E) x sur S F ). On a donc card S E) x ) = card S F )) et : card S E)) = card S E) x) card S E) x ) On conclut alors par récurrence sur n. = card E) card S F )) = n card S F )) 4.3 Équation des classes Théorème 4.3 équation des classes) Soit G, ) est un groupe fini opérant sur un ensemble fini E. En notant G x,, G x r toutes les orbites deux à deux distinctes, on a : card E) = card G x i ) = i= i= card G) card G xi ) Démonstration. Si E est fini, on a alors un nombre fini d orbites G x,, G x r qui forment une partition de E et : card E) = card G x i ). i= En utilisant la bijection de G/G x sur G x i, on déduit que si G est aussi fini, on a alors : card E) = i= card G) card G xi ). Si G, ) est un groupe opérant sur un ensemble E, on note alors : E G = {x E G x = {x}} C est l ensemble des éléments de E dont l orbite est réduite à un point. En séparant dans la formule des classes les orbites réduites à un point des autres, elle s écrit : card E) = card E G) + i= cardg x i ) 2 card G x i ) la somme étant nulle si toutes les orbites sont réduites à un point).
7 Équation des classes 93 Définition 4.6 Si p 2 est un nombre premier, on appelle p-groupe tout groupe de cardinal p α où α est un entier naturel non nul. Corollaire 4. Si p 2 est un nombre premier et G, ) est un p-groupe opérant sur un ensemble fini E, alors : card E G) card E) mod p). Démonstration. Dans le cas d un p-groupe de cardinal p α avec α, pour toute orbite G x i non réduite à un point s il en existe), on a : ) G card G) card G x i ) = card = card G xi ) 2 G xi donc card G xi ) = p β i avec 0 β i < α et card G x i ) = p α β i avec α β i α. Il en résulte que : card E) = card E G) + card G x i ) card E G) mod p) i= cardg x i ) 2 Corollaire 4.2 Soit G un groupe fini que l on fait opérer sur lui même par conjugaison g h = ghg, pour g, h) G G). En notant G h,, G h r toutes les orbites deux à deux distinctes, on a : card G) = card Z G)) + card G h i ) = card Z G)) + i= cardg h i ) 2 i= cardg h i ) 2 card G) card G hi ). Démonstration. Une orbite G h est réduite à {h} si et seulement si ghg = h pour tout g G, ce qui revient à dire que gh = hg, ou encore que h Z G). On a donc Z G) = G G et le résultat annoncé. Théorème 4.4 Pour tout nombre premier p, le centre d un p-groupe n est pas réduit à {}. Démonstration. Soit G un p-groupe à p α éléments. On a, avec les notations des corollaires qui précèdent : card Z G)) = card G G) card G) mod p) et comme card Z G)), il en résulte que card Z G)) p et Z G) est non trivial. Théorème 4.5 Tout groupe d ordre p 2 avec p premier est commutatif. Démonstration. Soit G d ordre p 2. On sait que Z G) est non trivial, il est donc de cardinal p ou p 2 et il s agit de montrer qu il est de cardinal p 2. Si Z G) est de cardinal p, il est alors cyclique, soit Z G) = g. Un élément h de G\Z G) ne pouvant être d ordre p 2 sinon G = h et G serait commutatif ce qui contredit l hypothèse G Z G)), il est d ordre p et Z G) h = {} exercice.2)
8 94 Actions de groupes. Exemples et applications En utilisant l application : ϕ : {0,,, p } 2 G i, j) g i h j nous déduisons que tout élément de G s écrit de manière unique g i h j. Pour ce faire il suffit de montrer que ϕ est injective. Si g i h j = g i h j, alors g i i = h j j Z G) h = {} et g i i = h j j = ce qui entraîne que p divise i i et j j et comme i i < p, j j < p, on a nécessairement i = i, j = j. Avec les cardinaux il en résulte que ϕ est une bijection. Si k, k sont dans G, il s écrivent k = g i h j et k = g i h j et comme g commute à tout G, on en déduit que k et k commutent. Le groupe G serait alors commutatif ce qui est contraire à l hypothèse G Z G). En définitive Z G) ne peut être de cardinal p, il est donc de cardinal p 2 et G est commutatif. Remarque 4.2 Si G d ordre p 2 a un élément d ordre p 2, il est alors cyclique isomorphe à ) 2 Z Dans le cas où tous ses éléments sont d ordre p, il est isomorphe à. pz 4.4 Le théorème de Cauchy Soient G un groupe fini de cardinal n 2, p 2 un nombre premier et : Lemme 4. Avec ces notations, on a : E = {g,, g p ) G p g g p = } card E) = n p. Z p 2 Z. Démonstration. L application g,, g p ) g,, g p, g g p ) ) réalise une bijection de G p sur E de l égalité g g p =, on déduit que la connaissance des g i pour i p détermine g p de manière unique). On a donc : card E) = n p. On désigne par H = σ le sous-groupe de S p engendré par le p-cycle σ =, 2,, p) et on fait agir H sur E par : σ k, g,, g p ) ) g σ k),, g σ kp)) Pour g = g,, g p ) E, on a : g 2 g p g = g g = donc g σ),, g σp) ) = g2,, g p, g ) E. Il en résulte que pour tout entier k compris entre 0 et p, g σ k ),, g σ k p)) E et l application : σ k, g,, g p ) ) σ k g,, g p ) = g σ k ),, g σ k p)) est bien à valeurs dans E. Cette application définit bien une action puisque : et Id g,, g p ) = g,, g p ) σ j σ k g,, g p ) ) = σ j g ) σ ),, g k σ p)) = k gσ ),, g j+k σ k+j p) = σ j+k g,, g p ) = σ j σ k) g,, g p )
9 Le théorème de Cauchy 95 Lemme 4.2 Avec ces notations, on a : E H = {x E H x = {x}} = et card E H) est divisible par p si p est un diviseur premier de n. Démonstration. En remarquant que x =,, ) est dans E H, on déduit que E H est non vide. Comme H est de cardinal p un p-cycle est d ordre p dans S p ), on a : card E H) card E) mod p) corollaire 4.) avec card E) = n p divisible par p comme n, ce qui entraîne que card E H) est également divisible par p. Théorème 4.6 Cauchy) Si G est un groupe fini d ordre n 2, alors pour tout diviseur premier p de n, il existe dans G un élément d ordre p et donc un sous-groupe d ordre p). Démonstration. On utilise les notations qui précèdent. De card E H) et card E H) divisible par p, on déduit que card E H) p 2 et en remarquant que x = g,, g p ) E H équivaut à dire que g = = g p = g avec g G tel que g p =, on déduit qu il existe g tel que g p =, ce qui signifie que g est d ordre p. Exercice 4.5 Soit G, ) est un groupe fini opérant sur un ensemble fini E. Pour tout g G, on note : Fix g) = {x E g x = x} Montrer que le nombre d orbites est : formule de Burnside). r = card G) card Fix g)) g G Solution 4.5 L idée est de calculer le cardinal de l ensemble : de deux manières en utilisant les partitions : F = g G F = {g, x) G E g x = x} {g, x) x Fix g)} = x E {g, x) g G x } ce qui donne : card F ) = g G card Fix g)) et en notant G x,, G x r les orbites distinctes : card F ) = card G x ) = x E x E card G) = card G x) = i= x G x i = card G) i= card G) card G x) card G) i= x G x i card G x i ) ) = card G x) x G x i i= ) card G) = r card G) du fait que G x = G x i pour x G x i la relation x y si y = g x est d équivalence et les classes d équivalence sont les orbites). Ce qui donne le résultat annoncé.
10 96 Actions de groupes. Exemples et applications 4.5 Le groupe des isométries du cube On se place dans l espace vectoriel euclidien R 3 muni d un repère orthonormé, A,, A 8 sont les huit points de coordonnées ±, ±, ±) et C est le cube de sommets A,, A 8, où A A 4 et A 5 A 8 sont deux faces parallèles, comme indiqué sur la figure 4.. A 2 A A 3 A 4 A 6 A 7 A 5 A 8 Fig. 4. On a donc : A =, A 2 =, A 3 =, A 4 = et : A 5 = A 3, A 6 = A 4, A 7 = A, A 8 = A 2 De manière précise le cube C est l enveloppe convexe de l ensemble S = {A,, A 8 } de ses sommets, c est-à-dire l ensemble des combinaisons linéaires convexes M = 8 λ i A i avec λ i 0 pour tout i compris entre et 8 et 8 λ i = c est aussi l intersection de tous les convexes de i= R 3 qui contiennent S). On désigne par Is C) le groupe des isométries de R 3 qui conservent ce cube, soit : Is C) = { ϕ O R 3) ϕ C) = C } par Is + C) = Is C) O + R 3 ) le sous-groupe de O R 3 ) formé des rotations qui conservent C et par Is C) = Is C) O R 3 ) le sous-ensemble de O R 3 ) formé des isométries indirectes qui conservent C. i=
11 Le groupe des isométries du cube 97 Théorème 4.7 Le groupe Is C) des isométries qui conservent le cube C est aussi le groupe Is S) des isométries qui conservent l ensemble S de ses sommets et c est un groupe fini isomorphe à un sous groupe du groupe symétrique S 8. La symétrie de centre 0, σ 0 : x x, est dans Is C), l application ρ ρ σ 0 réalise une bijection de Is + C) sur Is C) et : card Is C)) = 2 card Is + C) ). Démonstration. En écrivant que S = C S 0, 3 ), où S 0, 3 ) est la sphère de centre 0 et de rayon A k = 3 et en remarquant que cette sphère est conservée par toute isométrie, on déduit que pour toute isométrie ϕ Is C), on a : ϕ S) = ϕ C S 0, 3 )) = ϕ C) ϕ S 0, 3 )) = C S 0, ) 3 = S Réciproquement si ϕ est isométrie qui conserve S, elle conserve C. En effet, pour tout M = 8 λ i A i C, on a : i= et : où σ S 8. On a donc : ϕ M) = 8 λ i ϕ A i ) = i= 8 λ i A σi) = i= 8 λ σ j)a j C 8 ) 8 ) 8 ) M = ϕ λ i ϕ A i ) = ϕ λ i A σ i) = ϕ λ σj) A j ϕ C) i= i= Is C) = Is S) En associant à toute isométrie ϕ Is S), la permutation des sommets : A A 2 A 3 A 4 A 5 A 6 A 7 A 8 ϕ A ) ϕ A 2 ) ϕ A 3 ) ϕ A 4 ) ϕ A 5 ) ϕ A 6 ) ϕ A 7 ) ϕ A 8 ) et en notant, pour k compris entre et 8, ϕ A k ) = A σϕ k) où σ ϕ S 8, l application ϕ σ ϕ réalise un morphisme de groupes injectif de Is C) dans S 8. En effet, il est clair que cette application est un morphisme de groupes et si σ ϕ = Id, on a alors ϕ A k ) = A k pour k =, 2, 3 et ϕ = Id R 3 puisque A, A 2, A 3 ) est une base de R 3. Il en résulte que Is C) = Is S) est un groupe fini isomorphe à un sous-groupe de S 8. Il est clair que σ 0 Is S) et avec det ρ σ 0 ) = det ρ) det σ 0 ) = pour tout ρ Is + C), on déduit que l application ρ ρ σ 0 va de Is + C) dans Is C). Comme σ 0 est d ordre 2, on en déduit que cette application est bijective. En effet ρ σ 0 = ρ σ 0 donne ρ = δ σ 2 0 = ρ σ 2 0 = ρ et pour σ Is C), on a ρ = σ σ 0 Is + C) et ρ σ 0 = σ. On a donc card Is + C)) = card Is C)) et avec la partition Is S) = Is + C) Is C), on en déduit que card Is C)) = 2 card Is + C)). La description de Is C) = Is S) passe donc par celle de Is + C) = Is + S). Remarque 4.3 Si on s intéresse aux isométries qui conservent un cube dans un espace affine euclidien, en remarquant que le centre du cube, qui est l isobarycentre des sommets, est un point fixe de toute isométrie ϕ Is C), on est ramené au cas vectoriel. En fait, de manière plus générale, on peut remarquer qu une application affine qui conserve le cube est nécessairement une isométrie. j= j= )
12 98 Actions de groupes. Exemples et applications Exercice 4.6 Soit C un cube dans l espace affine euclidien R 3.. Montrer que si ϕ est une application affine qui conserve le cube, c est alors un automorphisme. 2. Montrer que le groupe GA C) des applications affines qui conservent le cube est contenu dans le groupe Is R 3 ) des isométries de R 3. On a donc GA C) = Is C). Solution 4.6. De ϕ C) = C, on déduit que ϕ C) contient un repère affine de R 3, elle est donc surjective et c est une bijection affine. 2. On utilise le repère orthonormé R = A, A A 2, A A 4, ) A A 5, où A A k = A A k A A k pour k = 2, 4, 5. Si ϕ est une bijection affine qui conserve le cube, l image du plan P qui contient la face A A 2 A 3 A 4 est un plan, ϕ C) est dans l un des demi-espaces délimités par ϕ P) et comme ϕ C) = C, il est aussi dans l un des demi-espaces délimités par P, donc une face de C est transformé en face et le repère R est transformé en un repère orthonormé. En définitive, ϕ est une isométrie. L application : ϕ, A k ) Is + S) S ϕ A k ) définit une action du groupe Is + S) sur S. Pour calculer le cardinal de Is + S) nous allons décrire le stabilisateur Is + S) Ak et l orbite Is + S) A k d un sommet et utiliser la formule : card Is + S) ) = card Is + S) Ak ) card Is + S) A k ) Exercice 4.7 Montrer que la rotation ρ = est dans le stabilisateur Is + S) A. Solution 4.7 Avec ρ Id R 3, ρ t ρ = Id R 3 et det ρ) =, on déduit que ρ est une rotation d angle non nul modulo 2π). L axe de cette rotation est obtenu en résolvant le système linéaire ρ Id R 3) X = 0, soit : x + z = 0 x y = 0 y z = 0 ce qui donne x = y = z et l axe D de u est la droite dirigée par A = Avec Tr u) = 0 = 2 cos θ) +, on déduit que cos θ) = 2 et θ = ±2π 3. ± ± Avec ρ A ) = A et ρ A k ) = pour A k = ±, on déduit que ρ Is + S) A. ± Précisément, on a : ρ A 2 ) = = A 4, ρ A 3 ) = = A 8, ρ A 4 ) =. = A 5
13 Le groupe des isométries du cube 99 et : ρ A 5 ) = ρ A 3 ) = A 2, ρ A 6 ) = ρ A 4 ) = A 3, ρ A 7 ) = ρ A ) = A 7, ρ A 8 ) = ρ A 2 ) = A 6 Sa représentation dans S 8 étant : σ = 2, 4, 5) 3, 8, 6) Lemme 4.3 Pour tout sommet A k du cube C k 8), l orbite sous l action de Is + S) est : Is + S) A k = S Il y a donc une seule orbite et l action de Is + S) sur S est transitive. Démonstration. On rappelle que : Is + S) A k = { ϕ A k ) ϕ Is + S) } S 0 0 En désignant par ρ = 0 0 la rotation d axe Oz et d angle de mesure π ρ 2 = 0 0 la rotation d axe Oy et d angle de mesure π 2, on a : 0 0 et par ρ A k ) = A k+ pour k =, 2, 3, 5, 6, 7 et ρ A 4 ) = A, ρ A 8 ) = A 8 et : ρ 2 A ) = A 2, ρ A 2 ) = A 6, ρ A 6 ) = A 5, ρ A 5 ) = A ρ 2 A 4 ) = A 3, ρ A 3 ) = A 7, ρ A 7 ) = A 8, ρ A 8 ) = A 4 ce qui se voit mieux en disant que ρ et ρ 2 sont associées aux permutations : Utilisant ces rotations, on a : σ =, 2, 3, 4) 5, 6, 7, 8) et σ 2 =, 2, 6, 5) 4, 3, 7, 8) A = Id A ), A 2 = ρ A ), A 3 = ρ 2 A ), A 4 = ρ 3 A ) A 5 = ρ 3 2 A ), A 6 = ρ 2 2 A ), A 7 = ρ 2 ρ 2 A ), A 8 = ρ 2 2ρ 2 A ) et donc Is + C) A = S. Comme ces orbites forment une partition de S, on en déduit que Is + S) A k = S pour tout k. Lemme 4.4 Une rotation ϕ O + R 3 ) est uniquement déterminée par ϕ A ) et ϕ A 2 ) ou plus généralement par les images de deux sommets d une même arête). Démonstration. Si ϕ O + R 3 ) est telle que ϕ A ) = A et ϕ A 2 ) = A 2, sa restriction au plan engendré par A et A 2 est l identité et ϕ = Id R 3 du fait que l ensemble des points fixes d une rotation distincte de Id R 3 est une droite. Si ϕ, ψ dans O + R 3 ) sont telles que ϕ A ) = ψ A ) et ϕ A 2 ) = ψ A 2 ), on a alors ϕ ψ A ) = A et ϕ ψ A 2 ) = A 2 avec ϕ ψ O + R 3 ), donc ϕ ψ = Id R 3 et ϕ = ψ.
14 00 Actions de groupes. Exemples et applications Lemme 4.5 Pour tout sommet A k du cube C k 8), le stabilisateur de A k sous l action de Is + S) est un sous-groupe d ordre 3 de Is + S). Démonstration. On peut supposer que k = quitte à réordonner les sommets). Si ϕ Is + S) A, elle uniquement déterminée par ϕ A 2 ) et avec A ) ϕ A 2 ) ϕ A A 2 = A A 2 = 2, on déduit que ϕ A2 ) {A 2, A 4, A 5 } on a A A j > 2 pour j / {2, 4, 5}). Il en résulte que card ) Is + S) A La rotation ρ = 0 0 d axe dirigé par A et d angle 2π 3 ou 2π Is + S) A et d ordre 3, on en déduit que Is + S) A est d ordre 3 engendré par ρ. On en déduit alors le résultat suivant. Théorème 4.8 Le groupe Is S) agit de façon transitive sur S et a 48 éléments. Le groupe Is + S) est isomorphe à S 4 et le groupe Is S) est isomorphe à S 4 Z 2Z. étant dans Démonstration. Comme Is + S) agit de façon transitive sur S, il en est de même de Is S). On a : card Is + S) ) = card Is + S) A ) card Is + S) A ) = 3 8 = 24 et card Is S)) = 2 card Is + S)) = 48. On vérifie ensuite que tout élément ϕ de Is S) induit une permutation de l ensemble D = {[A, A 7 ], [A 2, A 8 ], [A 3, A 5 ], [A 4, A 6 ]} des grandes diagonales du cube, ce qui permet de définir un morphisme de groupes Φ de Is S) dans S D). Par conservation des normes par une isométrie, une diagonale est transformée en diagonale de même longueur, donc D est globalement invariant par tout élément de Is S) et l application Φ qui associe à ϕ Is S) la permutation correspondante des grandes diagonales réalise un morphisme de groupes de Is S) dans S D). Si ϕ ker Φ), elle conserve alors chaque diagonale. On a donc ϕ A ) = A ou ϕ A ) = A 7 et même chose pour les autres grandes diagonales. Si ϕ A ) = A, on a alors ϕ [A, A 2 ]) = [A, A k ] avec k = 2, 4 ou 5 puisque les arêtes sont conservées et ϕ A 2 ) = A 2 puisque la diagonale [A 2, A 8 ] est conservée. De même, on a ϕ A 4 ) = A 4 et ϕ = Id puisqu elle laisse fixe la base A, A 2, A 4 ). Si ϕ A ) = A 7, on a alors ϕ [A, A 2 ]) = [A 7, A k ] avec k = 3, 6 ou 8 puisque les arêtes sont conservées et ϕ A 2 ) = A 8 puisque la diagonale [A 2, A 8 ] est conservée. De même, on a ϕ A 4 ) = A 6. Donc ϕ est la symétrie σ 0 = Id R 3, puisque ces deux isométries coïncident sur la base A, A 2, A 4 ). En définitive, ker Φ) = {Id R 3, Id R 3} et ker Φ Is + S)) = {IdR 3}. Il en résulte que Φ Is + S) est un morphisme injectif de Is + S) dans S D) et c est un isomorphisme puisque ces deux groupes ont même cardinal. Le groupe S D) étant isomorphe à S 4, il en est de même pour Is + S). En désignant par θ un isomorphisme de groupes de S 4 sur Is + S), l application : Ψ : {, } S 4 Is S) ε, σ) εθ σ) est un morphisme de groupes surjectif. En effet, pour ε, σ) et ε, σ ) dans {, } S 4, on a Ψ ε, σ) ε, σ )) = εε, σσ ) = εε θ σσ ) = εθ σ) ε θ σ )
15 Sous groupes finis de O + E) pour dim E) = 2 et dim E) = 3 0 et pour ϕ Is + S) [resp. ϕ Is S)], on a ϕ = Ψ, θ ϕ))) [resp. ϕ Is + S) et ϕ = Ψ, θ ϕ)))]. Comme ces groupes ont même cardinal, Ψ est un isomorphisme. En fait, en utilisant le fait qu une isométrie qui conserve le cube va conserver les grandes diagonales, on en déduit facilement le cardinal de Is S) voir l exercice 3.42). On peut donner la liste de tous les éléments de Is + S) en fonction de leurs ordres. Comme élément d ordre, il n y a que Id R 3. Comme éléments d ordre 2, on a les 3 rotations d axes respectifs Ox, Oy et Oz ce sont les axes qui passent par le milieu de deux faces opposées), d angle de mesure π retournements) : ρ = , ρ 2 = , ρ 3 = et les 6 rotations d axes respectivement dirigés par les milieux des arêtes [A, A 4 ], [A, A 2 ], [A 2, A 3 ], [A 3, A 4 ], [A, A 4 ], [A, A 5 ], [A 4, A 8 ], d angle de mesure π. Elles correspondent aux permutations :, 8) 2, 7) 3, 6) 4, 5), Comme éléments d ordre 3, on à les 8 rotations d axes respectifs les 4 grandes diagonales et d angles de mesure ± 2π 3. Comme éléments d ordre 4, on a les 6 rotations d axes respectifs Ox, Oy et Oz, d angles de mesure ± π 2. Ce qui donne un total de = 24 et on les a toutes. 4.6 Sous groupes finis de O + E) pour dim E) = 2 et dim E) = 3 On désigne par E, ) un espace euclidien de dimension n 2, par S = {x E x = } la sphère unité de E et par O E) le groupe orthogonal de E ou groupe des isométries de E). On rappelle que : u O E)) u GL E) et x E, u x) = x ) O + E) est le sous-groupe de O E) formé des automorphismes orthogonaux positifs ou rotations vectorielles). Lemme 4.6 L application u, x) O + E) S u x = u x) définit une action transitive de O + E) sur S. Démonstration. Comme u O + E) conserve la norme, on a u x) S pour tout x S et il est clair qu on a une action. Dire que cette action est transitive revient à dire que pour tous x, y dans S, il existe une rotation u O + E) telle que y = u x). Si x = ±y, u = ±Id convient, sinon on désigne par H le plan vectoriel engendré par {x, y}. Comme x, y) est lié, on a x y < x y = et il existe un unique réel θ ] π, π[ tel que cos θ) = x y. Une base orthonormée de H est donnée par le procédé de Gram-Schmidt : e = x, e 2 = ± y x y x) = y cos θ) x) y x y x sin θ)
16 02 Actions de groupes. Exemples et applications et on complète cette base en une base orthonormée e i ) i n de E. La rotation v du plan H ayant pour matrice : ) cos θ) sin θ) R = sin θ) cos θ) dans la base e, e 2 ) est telle que v x) = v e ) = cos θ) e + sin θ) e 2 = y et la rotation u O + E) définie par u e k ) = v e k ) pour k =, 2 et u e k ) = e k pour k = 3,, n convient. Du lemme précédent, on déduit aussi que l application u, x) O E) S u x = u x) définit une action transitive de O E) sur S. Comme l action de O + E) sur S est transitive, S est l unique orbite et pour tout x S, l ensemble quotient O + E) / O + E)) x est en bijection avec S Le cas de la dimension 2 On suppose ici que dim E) = 2. Lemme 4.7 Pour tout x S, on a O + E)) x = {Id} on dit que l action de O + E) sur S est simple) et en conséquence O + E) est en bijection avec S. Démonstration. Le vecteur nul est l unique point fixe d une rotation u Id d un plan euclidien E ce qui se vérifie facilement en utilisant la représentation matricielle d une rotation du plan dans une base orthonormée). Théorème 4.9 Tout sous groupe d ordre n de O + E) est cyclique, donc isomorphe à Z nz. Démonstration. O + E) est en bijection avec S lui même en bijection avec le groupe Γ des nombres complexes de module égal à une base orthonormée e, e 2 ) de E étant choisie tout élément de S s écrit x = x e + x 2 e 2 avec x 2 + x 2 2 = et l application x x + ix 2 est bijection de S sur Γ) et on connaît les sous-groupes finis de Γ exercice 2.3) Le cas de la dimension 3 On suppose ici que dim E) = 3. Lemme 4.8 Toute rotation u Id a exactement deux points fixes x et x dans S. Démonstration. Résulte du fait que, pour dim E) = 3, l ensemble des points fixes de u O + E) \ {Id} est une droite D = Rx avec x S voir la leçon sur les isométries d un espace euclidien de dimension 2 ou 3 au chapitre 7) et D S = { x, x}. Définition 4.7 Les points fixes x et x dans S d une rotation u Id d un espace euclidien de dimension 3 sont appelés les pôles de u. On se donne un sous-groupe fini G de O + E) de cardinal n 2 et on note P l ensemble des pôles des éléments de G \ {Id}. L ensemble P est fini avec : 2 card P ) 2 n ). L action de O + E) sur S que nous avons considéré induit une action de G sur S.
17 Sous groupes finis de O + E) pour dim E) = 2 et dim E) = 3 03 Lemme 4.9 L application u, x) G P u x = u x) définit une action de G sur P et le nombre d orbites pour cette action est 2 ou 3. Démonstration. Pour u, x) G P, il existe une rotation v G \ {Id} telle que { x, x} soit l ensemble des points fixes de v dans S et on a : u v u ) u x)) = u v x)) = u x) c est-à-dire que u x) est un pôle de u v u G \ {Id} u v u = Id si, et seulement si, v = Id), donc u x) P et G agit sur P. En notant, pour tout u G : Fix u) = {x P u x) = x} le théorème de Burnside nous dit que le nombre d orbites pour cette action de G sur P est : r = card G) card Fix u)) = card P ) + 2 n )) n u G pour u = Id, Fix u) = P et pour u Id, Fix u) a exactement deux éléments). Tenant compte du fait que 2 card P ) 2 n ), on a : 2 r 4 ) < 4 n donc r = 2 ou r = 3. Définition 4.8 L ordre d un pôle x P sous l action de G est le cardinal du stabilisateur G x. Théorème 4.0 Dans le cas où le nombre d orbites, pour l action de G sur P, est r = 2, le groupe G est cyclique d ordre n, donc isomorphe à Z nz. Démonstration. Pour r = 2, la formule de Burnside nous dit que : card P ) + 2 n ) = 2n et card P ) = 2, soit P = { x, x}, ce qui signifie que toutes les rotations de G \ {Id} ont le même axe D = Rx. Ces rotations laissent stable le plan H = P et l application qui associe à u G sa restriction à H réalise un isomorphisme de G sur un sous groupe d ordre n de O + H) qui est cyclique d ordre n. On suppose maintenant que le nombre d orbites, pour l action de G sur P, est r = 3. Théorème 4. Dans le cas où le nombre d orbites, pour l action de G sur P, est r = 3, le groupe G est isomorphe soit à D n groupe diédral d ordre n), soit à A 4, soit à S 4, soit à A 5. Démonstration. La formule de Burnside nous dit que : card P ) + 2 n ) = 3n soit que card P ) = n + 2. On note G x k ces orbites avec x k P pour k =, 2, 3 et : n k = card G x k ), m k = card G xk ) = card G) card G x k ) = n n k.
18 04 Actions de groupes. Exemples et applications Comme chaque x k P est point fixe de Id et d une rotation de G \ {Id}, on a 2 m k n. La formule des classes nous donne : card P ) = n + 2 = 3 card G x k ) = ou encore : + + = + 2 m m 2 m 3 n En ordonnant ces orbites de sorte que m m 2 m 3, on a : k= 3 n m k k= donc m < 3 et m = 2. Il en résulte que : donc 2 m 2 < 4 et m 2 = 2 ou 3. < + 2 n 3 m 2 m 2 m 2 + m 3 = n > 2 Pour m 2 = 2, on a m 3 = n 2 n est donc nécessairement pair) et pour m 2 = 3, on a m 3 = n > 6 avec m 3 m 2 = 3 donc m 3 = 3, 4 ou 5. En définitive, les seules possibilités sont : m = 2, m 2 = 2, m 3 = n 2, donc n 4 ; 2 m = 2, m 2 = 3, m 3 = 3, = + 2 n, donc n = 2 et n = 6, n 2 = n 3 = 4 ; m = 2, m 2 = 3, m 3 = 4, = + 2 n, donc n = 24 et n = 2, n 2 = 8, n 3 = 6 ; m = 2, m 2 = 3, m 3 = 5, = + 2 n, donc n = 60 et n = 30, n 2 = 20, n 3 = 2.. Pour m = m 2 = 2, on a : n 3 = card P ) n n 2 = n + 2 n 2 n 2 = 2 soit G x 3 = {x 3, x 3 } et les rotations u G x3 ont toutes le même axe Rx 3, donc G x3 est cyclique d ordre m 3 = n 2. Le groupe quotient G/G x 3 est alors d ordre 2, il existe donc σ / G x3 tel que G/G x3 = σ = {G x3, σg x3 } et on a la partition G = G x3 σg x3. Comme G x3 est cyclique d ordre m 3, on a G x3 = ρ = {Id, ρ,, ρ m3 } et : G = { Id, ρ,, ρ m 3 } { σ, σρ,, σρ m 3 }. Pour toute rotation u G \ G x3 on a u x 3 ) G x 3 = {x 3, x 3 } avec u x 3 ) x 3, donc u x 3 ) = x 3 et si x P \ {x 3, x 3 } est un pôle de u, on a u 2 y) = y pour y {x 3, x 3, x}, donc u 2 = Id puisqu il a au moins trois points fixes distincts dans S. On a donc σ 2 = Id et ρσ) 2 = Id ρσ x 3 ) = ρ x 3 ) = x 3 x 3, donc ρσ G \ G x3 ) et G est un groupe diédral d ordre n. 2. Pour m = 2, m 2 = 3, m 3 = 3, on a n = 2 et n = 6, n 2 = n 3 = 4. L orbite G x 2 étant stable par toute rotation u G si v x 2 ) G x 2, alors u v x 2 )) = u v) x 2 ) G x 2 puisque u v G), chacune de ces rotation induit une permutation ϕ u) de G x 2 et l application ϕ est un morphisme de groupes injectif de G sur le groupe
19 Sous groupes finis de O + E) pour dim E) = 2 et dim E) = 3 05 des permutations S G x 2 ) il est clair que ϕ est un morphisme de groupes et u ker ϕ) entraîne que u a plus de deux points fixes dans S, c est donc l identité), donc G est un groupe d ordre 2 isomorphe à un sous-groupe de S 4, il est donc isomorphe à A 4 qui est l unique sous-groupe d ordre 2 de S Pour m = 2, m 2 = 3, m 3 = 4, on a n = 24 et n = 2, n 2 = 8, n 3 = 6. card G) Pour x P, on a G x = G x, donc card G x) = = card G x)) et comme card G x ) les trois orbites sont de cardinal différent, on en déduit que : G x 2 = {±x 2, ±y 2, ±z 2, ±t 2 } Cette orbite est stable par toute rotation u G et chacune de ces rotation induit une permutation ϕ u) de l ensemble E = {Rx 2, Ry 2, Rz 2, Rt 2 }. Si ϕ u) = Id E, on a alors u x 2 ) = ±x 2, u y 2 ) = ±y 2, u z 2 ) = ±z 2, u t 2 ) = ±t 2. Si u x 2 ) = x 2, on a alors u G x2 qui est d ordre 3 et y 2 = u 3 y 2 ) = ±y 2 donne u y 2 ) = y 2 et u = Id puisqu il a trois points fixes x 2, x 2 et y 2 dans S. Si u x 2 ) = x 2, on a alors u y) = y pour tout y {y 2, z 2, t 2 } puisque u y) = y entraîne u G y qui est d ordre 3 on a G y = G x 2, donc card G y ) = card G x2 ) = 3) et u 3 = Id est incompatible avec u 3 x 2 ) = x 2. Mais l espace vectoriel H engendré par {x 2, y 2, z 2, t 2 } est de dimension 3. En effet, sinon il est de dimension 2 stable par G ainsi que la droite D = H et la restriction de v G x2 \ {Id} à D est ±Id D et comme v est d ordre 3, on a nécessairement v D = Id D et v = Id du fait qu elle a plus de 2 points fixes dans S x 2, x 2 et un vecteur directeur unitaire de D), ce qui contredit v Id. Donc H est de dimension 3 et u = Id, ce qui est incompatible avec u O + E). En définitive ϕ est injective de G dans S E), ces deux groupes étant de même cardinal égal à 24, donc G est isomorphe à S Enfin, dans le dernier cas, on montre de façon analogue que G est isomorphe à A 5 en réalité c est un peu plus difficile et on peut consulter le livre de Nourdin pour les détails).
20 06 Actions de groupes. Exemples et applications
Groupe symétrique. Chapitre II. 1 Définitions et généralités
Chapitre II Groupe symétrique 1 Définitions et généralités Définition. Soient n et X l ensemble 1,..., n. On appelle permutation de X toute application bijective f : X X. On note S n l ensemble des permutations
Plus en détailProposition. Si G est un groupe simple d ordre 60 alors G est isomorphe à A 5.
DÉVELOPPEMENT 32 A 5 EST LE SEUL GROUPE SIMPLE D ORDRE 60 Proposition. Si G est un groupe simple d ordre 60 alors G est isomorphe à A 5. Démonstration. On considère un groupe G d ordre 60 = 2 2 3 5 et
Plus en détailLe produit semi-direct
Le produit semi-direct Préparation à l agrégation de mathématiques Université de Nice - Sophia Antipolis Antoine Ducros Octobre 2007 Ce texte est consacré, comme son titre l indique, au produit semi-direct.
Plus en détailStructures algébriques
Structures algébriques 1. Lois de composition s Soit E un ensemble. Une loi de composition interne sur E est une application de E E dans E. Soient E et F deux ensembles. Une loi de composition externe
Plus en détailwww.h-k.fr/publications/objectif-agregation
«Sur C, tout est connexe!» www.h-k.fr/publications/objectif-agregation L idée de cette note est de montrer que, contrairement à ce qui se passe sur R, «sur C, tout est connexe». Cet abus de langage se
Plus en détailDéveloppement décimal d un réel
4 Développement décimal d un réel On rappelle que le corps R des nombres réels est archimédien, ce qui permet d y définir la fonction partie entière. En utilisant cette partie entière on verra dans ce
Plus en détailCours de mathématiques
DEUG MIAS premier niveau Cours de mathématiques année 2003/2004 Guillaume Legendre (version révisée du 3 avril 2015) Table des matières 1 Éléments de logique 1 1.1 Assertions...............................................
Plus en détailFormes quadratiques. 1 Formes quadratiques et formes polaires associées. Imen BHOURI. 1.1 Définitions
Formes quadratiques Imen BHOURI 1 Ce cours s adresse aux étudiants de niveau deuxième année de Licence et à ceux qui préparent le capes. Il combine d une façon indissociable l étude des concepts bilinéaires
Plus en détailPremière partie. Préliminaires : noyaux itérés. MPSI B 6 juin 2015
Énoncé Soit V un espace vectoriel réel. L espace vectoriel des endomorphismes de V est désigné par L(V ). Lorsque f L(V ) et k N, on désigne par f 0 = Id V, f k = f k f la composée de f avec lui même k
Plus en détailExo7. Matrice d une application linéaire. Corrections d Arnaud Bodin.
Exo7 Matrice d une application linéaire Corrections d Arnaud odin. Exercice Soit R muni de la base canonique = ( i, j). Soit f : R R la projection sur l axe des abscisses R i parallèlement à R( i + j).
Plus en détailDe même, le périmètre P d un cercle de rayon 1 vaut P = 2π (par définition de π). Mais, on peut démontrer (difficilement!) que
Introduction. On suppose connus les ensembles N (des entiers naturels), Z des entiers relatifs et Q (des nombres rationnels). On s est rendu compte, depuis l antiquité, que l on ne peut pas tout mesurer
Plus en détailProblèmes de Mathématiques Filtres et ultrafiltres
Énoncé Soit E un ensemble non vide. On dit qu un sous-ensemble F de P(E) est un filtre sur E si (P 0 ) F. (P 1 ) (X, Y ) F 2, X Y F. (P 2 ) X F, Y P(E) : X Y Y F. (P 3 ) / F. Première Partie 1. Que dire
Plus en détailRésumé du cours d algèbre 1, 2013-2014. Sandra Rozensztajn. UMPA, ENS de Lyon, sandra.rozensztajn@ens-lyon.fr
Résumé du cours d algèbre 1, 2013-2014 Sandra Rozensztajn UMPA, ENS de Lyon, sandra.rozensztajn@ens-lyon.fr CHAPITRE 0 Relations d équivalence et classes d équivalence 1. Relation d équivalence Définition
Plus en détailIntroduction à l étude des Corps Finis
Introduction à l étude des Corps Finis Robert Rolland (Résumé) 1 Introduction La structure de corps fini intervient dans divers domaines des mathématiques, en particulier dans la théorie de Galois sur
Plus en détailProgramme de la classe de première année MPSI
Objectifs Programme de la classe de première année MPSI I - Introduction à l analyse L objectif de cette partie est d amener les étudiants vers des problèmes effectifs d analyse élémentaire, d introduire
Plus en détailLa Licence Mathématiques et Economie-MASS Université de Sciences Sociales de Toulouse 1
La Licence Mathématiques et Economie-MASS Université de Sciences Sociales de Toulouse 1 La licence Mathématiques et Economie-MASS de l Université des Sciences Sociales de Toulouse propose sur les trois
Plus en détailExercices - Polynômes : corrigé. Opérations sur les polynômes
Opérations sur les polynômes Exercice 1 - Carré - L1/Math Sup - Si P = Q est le carré d un polynôme, alors Q est nécessairement de degré, et son coefficient dominant est égal à 1. On peut donc écrire Q(X)
Plus en détailRappels et compléments, première partie : Nombres complexes et applications à la géométrie
Rappels et compléments, première partie : Nombres complexes et applications à la géométrie 1 Définition des nombres complexes On définit sur les couples de réels une loi d addition comme suit : (x; y)
Plus en détailIntégration et probabilités TD1 Espaces mesurés Corrigé
Intégration et probabilités TD1 Espaces mesurés Corrigé 2012-2013 1 Petites questions 1 Est-ce que l ensemble des ouverts de R est une tribu? Réponse : Non, car le complémentaire de ], 0[ n est pas ouvert.
Plus en détailCalcul intégral élémentaire en plusieurs variables
Calcul intégral élémentaire en plusieurs variables PC*2 2 septembre 2009 Avant-propos À part le théorème de Fubini qui sera démontré dans le cours sur les intégrales à paramètres et qui ne semble pas explicitement
Plus en détailProduit semi-direct. Table des matières. 1 Produit de sous-groupes 2. 2 Produit semi-direct de sous-groupes 3. 3 Produit semi-direct de groupes 4
Produit semi-direct Table des matières 1 Produit de sous-groupes 2 2 Produit semi-direct de sous-groupes 3 3 Produit semi-direct de groupes 4 1 1 Produit de sous-groupes Soient G un groupe et H et K deux
Plus en détailNOTATIONS PRÉLIMINAIRES
Pour le Jeudi 14 Octobre 2010 NOTATIONS Soit V un espace vectoriel réel ; l'espace vectoriel des endomorphismes de l'espace vectoriel V est désigné par L(V ). Soit f un endomorphisme de l'espace vectoriel
Plus en détailFonctions de plusieurs variables : dérivés partielles, diérentielle. Fonctions composées. Fonctions de classe C 1. Exemples
45 Fonctions de plusieurs variables : dérivés partielles, diérentielle. Fonctions composées. Fonctions de classe C 1. Exemples Les espaces vectoriels considérés sont réels, non réduits au vecteur nul et
Plus en détailCours d Analyse. Fonctions de plusieurs variables
Cours d Analyse Fonctions de plusieurs variables Licence 1ère année 2007/2008 Nicolas Prioux Université de Marne-la-Vallée Table des matières 1 Notions de géométrie dans l espace et fonctions à deux variables........
Plus en détail* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours
Exo7 Continuité (étude globale). Diverses fonctions Exercices de Jean-Louis Rouget. Retrouver aussi cette fiche sur www.maths-france.fr * très facile ** facile *** difficulté moyenne **** difficile *****
Plus en détailProblème 1 : applications du plan affine
Problème 1 : applications du plan affine Notations On désigne par GL 2 (R) l ensemble des matrices 2 2 inversibles à coefficients réels. Soit un plan affine P muni d un repère (O, I, J). Les coordonnées
Plus en détail1 Définition et premières propriétés des congruences
Université Paris 13, Institut Galilée Département de Mathématiques Licence 2ème année Informatique 2013-2014 Cours de Mathématiques pour l Informatique Des nombres aux structures Sylviane R. Schwer Leçon
Plus en détailAnalyse fonctionnelle Théorie des représentations du groupe quantique compact libre O(n) Teodor Banica Résumé - On trouve, pour chaque n 2, la classe
Analyse fonctionnelle Théorie des représentations du groupe quantique compact libre O(n) Teodor Banica Résumé - On trouve, pour chaque n 2, la classe des n n groupes quantiques compacts qui ont la théorie
Plus en détailCours de Probabilités et de Statistique
Cours de Probabilités et de Statistique Licence 1ère année 2007/2008 Nicolas Prioux Université Paris-Est Cours de Proba-Stat 2 L1.2 Science-Éco Chapitre Notions de théorie des ensembles 1 1.1 Ensembles
Plus en détailAngles orientés et trigonométrie
Chapitre Angles orientés et trigonométrie Ce que dit le programme : CONTENUS CAPACITÉS ATTENDUES COMMENTAIRES Trigonométrie Cercle trigonométrique. Radian. Mesure d un angle orienté, mesure principale.
Plus en détailCalcul matriciel. Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes.
1 Définitions, notations Calcul matriciel Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes. On utilise aussi la notation m n pour le
Plus en détailThéorème du point fixe - Théorème de l inversion locale
Chapitre 7 Théorème du point fixe - Théorème de l inversion locale Dans ce chapitre et le suivant, on montre deux applications importantes de la notion de différentiabilité : le théorème de l inversion
Plus en détailCalcul différentiel. Chapitre 1. 1.1 Différentiabilité
Chapitre 1 Calcul différentiel L idée du calcul différentiel est d approcher au voisinage d un point une fonction f par une fonction plus simple (ou d approcher localement le graphe de f par un espace
Plus en détailCours arithmétique et groupes. Licence première année, premier semestre
Cours arithmétique et groupes. Licence première année, premier semestre Raphaël Danchin, Rejeb Hadiji, Stéphane Jaffard, Eva Löcherbach, Jacques Printems, Stéphane Seuret Année 2006-2007 2 Table des matières
Plus en détailCalcul différentiel sur R n Première partie
Calcul différentiel sur R n Première partie Université De Metz 2006-2007 1 Définitions générales On note L(R n, R m ) l espace vectoriel des applications linéaires de R n dans R m. Définition 1.1 (différentiabilité
Plus en détailPremiers exercices d Algèbre. Anne-Marie Simon
Premiers exercices d Algèbre Anne-Marie Simon première version: 17 août 2005 version corrigée et complétée le 12 octobre 2010 ii Table des matières 1 Quelques structures ensemblistes 1 1.0 Ensembles, relations,
Plus en détailExemple 4.4. Continuons l exemple précédent. Maintenant on travaille sur les quaternions et on a alors les décompositions
Exemple 4.4. Continuons l exemple précédent. Maintenant on travaille sur les quaternions et on a alors les décompositions HQ = He 1 He 2 He 3 He 4 HQ e 5 comme anneaux (avec centre Re 1 Re 2 Re 3 Re 4
Plus en détailAxiomatique de N, construction de Z
Axiomatique de N, construction de Z Table des matières 1 Axiomatique de N 2 1.1 Axiomatique ordinale.................................. 2 1.2 Propriété fondamentale : Le principe de récurrence.................
Plus en détailUn K-espace vectoriel est un ensemble non vide E muni : d une loi de composition interne, c est-à-dire d une application de E E dans E : E E E
Exo7 Espaces vectoriels Vidéo partie 1. Espace vectoriel (début Vidéo partie 2. Espace vectoriel (fin Vidéo partie 3. Sous-espace vectoriel (début Vidéo partie 4. Sous-espace vectoriel (milieu Vidéo partie
Plus en détail1 Première section: La construction générale
AMALGAMATIONS DE CLASSES DE SOUS-GROUPES D UN GROUPE ABÉLIEN. SOUS-GROUPES ESSENTIEL-PURS. Călugăreanu Grigore comunicare prezentată la Conferinţa de grupuri abeliene şi module de la Padova, iunie 1994
Plus en détailCours de Mécanique du point matériel
Cours de Mécanique du point matériel SMPC1 Module 1 : Mécanique 1 Session : Automne 2014 Prof. M. EL BAZ Cours de Mécanique du Point matériel Chapitre 1 : Complément Mathématique SMPC1 Chapitre 1: Rappels
Plus en détailLa Longue Marche à travers la théorie de Galois, Part Ib, 26-37
La Longue Marche à travers la théorie de Galois, Part Ib, 26-37 26. Groupes de Teichmüller profinis (Discrétification et prédiscrétification) Soit π un groupe profini à lacets de type g, ν, T le Ẑ-module
Plus en détailRésolution de systèmes linéaires par des méthodes directes
Résolution de systèmes linéaires par des méthodes directes J. Erhel Janvier 2014 1 Inverse d une matrice carrée et systèmes linéaires Ce paragraphe a pour objet les matrices carrées et les systèmes linéaires.
Plus en détailThéorie et codage de l information
Théorie et codage de l information Les codes linéaires - Chapitre 6 - Principe Définition d un code linéaire Soient p un nombre premier et s est un entier positif. Il existe un unique corps de taille q
Plus en détail3 Approximation de solutions d équations
3 Approximation de solutions d équations Une équation scalaire a la forme générale f(x) =0où f est une fonction de IR dans IR. Un système de n équations à n inconnues peut aussi se mettre sous une telle
Plus en détailCapes 2002 - Première épreuve
Cette correction a été rédigée par Frédéric Bayart. Si vous avez des remarques à faire, ou pour signaler des erreurs, n hésitez pas à écrire à : mathweb@free.fr Mots-clés : équation fonctionnelle, série
Plus en détailFonctions de plusieurs variables
Module : Analyse 03 Chapitre 00 : Fonctions de plusieurs variables Généralités et Rappels des notions topologiques dans : Qu est- ce que?: Mathématiquement, n étant un entier non nul, on définit comme
Plus en détailTIQUE DE FRANCE NILSYSTÈMES D ORDRE 2 ET PARALLÉLÉPIPÈDES
Bulletin de la SOCIÉTÉ MATHÉMATIQUE DE FRANCE NILSYSTÈMES D ORDRE 2 ET PARALLÉLÉPIPÈDES Bernard Host & Alejandro Maass Tome 135 Fascicule 3 2007 SOCIÉTÉ MATHÉMATIQUE DE FRANCE Publié avec le concours du
Plus en détailExercices - Nombres complexes : corrigé. Formes algébriques et trigonométriques, module et argument
Formes algébriques et trigonométriques, module et argument Exercice - - L/Math Sup - On multiplie le dénominateur par sa quantité conjuguée, et on obtient : Z = 4 i 3 + i 3 i 3 = 4 i 3 + 3 = + i 3. Pour
Plus en détail* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable
Eo7 Fonctions de plusieurs variables Eercices de Jean-Louis Rouget Retrouver aussi cette fiche sur wwwmaths-francefr * très facile ** facile *** difficulté moenne **** difficile ***** très difficile I
Plus en détailReprésentation géométrique d un nombre complexe
CHAPITRE 1 NOMBRES COMPLEXES 1 Représentation géométrique d un nombre complexe 1. Ensemble des nombres complexes Soit i le nombre tel que i = 1 L ensemble des nombres complexes est l ensemble des nombres
Plus en détailCOURS EULER: PROGRAMME DE LA PREMIÈRE ANNÉE
COURS EULER: PROGRAMME DE LA PREMIÈRE ANNÉE Le cours de la première année concerne les sujets de 9ème et 10ème années scolaires. Il y a bien sûr des différences puisque nous commençons par exemple par
Plus en détailPlanche n o 22. Fonctions de plusieurs variables. Corrigé
Planche n o Fonctions de plusieurs variables Corrigé n o : f est définie sur R \ {, } Pour, f, = Quand tend vers, le couple, tend vers le couple, et f, tend vers Donc, si f a une limite réelle en, cette
Plus en détailImage d un intervalle par une fonction continue
DOCUMENT 27 Image d un intervalle par une fonction continue La continuité d une fonction en un point est une propriété locale : une fonction est continue en un point x 0 si et seulement si sa restriction
Plus en détailDéterminants. Marc SAGE 9 août 2008. 2 Inverses et polynômes 3
Déterminants Marc SAGE 9 août 28 Table des matières Quid des formes n-linéaires alternées? 2 2 Inverses et polynômes 3 3 Formule de Miller pour calculer un déterminant (ou comment illustrer une idée géniale)
Plus en détailCours3. Applications continues et homéomorphismes. 1 Rappel sur les images réciproques
Université de Provence Topologie 2 Cours3. Applications continues et homéomorphismes 1 Rappel sur les images réciproques Soit une application f d un ensemble X vers un ensemble Y et soit une partie P de
Plus en détailCalcul fonctionnel holomorphe dans les algèbres de Banach
Chapitre 7 Calcul fonctionnel holomorphe dans les algèbres de Banach L objet de ce chapitre est de définir un calcul fonctionnel holomorphe qui prolonge le calcul fonctionnel polynômial et qui respecte
Plus en détailRAPHAËL ROUQUIER. 1. Introduction
CATÉGORIES DÉRIVÉES ET GÉOMÉTRIE ALGÉBRIQUE Trois exposés à la semaine «Géométrie algébrique complexe» au CIRM, Luminy, décembre 2003 1. Introduction On étudie dans un premier temps les propriétés internes
Plus en détailIntégration et probabilités TD1 Espaces mesurés
Intégration et probabilités TD1 Espaces mesurés 2012-2013 1 Petites questions 1) Est-ce que l ensemble des ouverts de R est une tribu? 2) Si F et G sont deux tribus, est-ce que F G est toujours une tribu?
Plus en détailOptimisation non linéaire Irène Charon, Olivier Hudry École nationale supérieure des télécommunications
Optimisation non linéaire Irène Charon, Olivier Hudry École nationale supérieure des télécommunications A. Optimisation sans contrainte.... Généralités.... Condition nécessaire et condition suffisante
Plus en détailMathématiques Algèbre et géométrie
Daniel FREDON Myriam MAUMY-BERTRAND Frédéric BERTRAND Mathématiques Algèbre et géométrie en 30 fiches Daniel FREDON Myriam MAUMY-BERTRAND Frédéric BERTRAND Mathématiques Algèbre et géométrie en 30 fiches
Plus en détailUniversité Paris-Dauphine DUMI2E 1ère année, 2009-2010. Applications
Université Paris-Dauphine DUMI2E 1ère année, 2009-2010 Applications 1 Introduction Une fonction f (plus précisément, une fonction réelle d une variable réelle) est une règle qui associe à tout réel x au
Plus en détailJournées Télécom-UPS «Le numérique pour tous» David A. Madore. david.madore@enst.fr. 29 mai 2015
et et Journées Télécom-UPS «Le numérique pour tous» David A. Madore Télécom ParisTech david.madore@enst.fr 29 mai 2015 1/31 et 2/31 : définition Un réseau de R m est un sous-groupe (additif) discret L
Plus en détailPEUT-ON «VOIR» DANS L ESPACE À N DIMENSIONS?
PEUT-ON «VOIR» DANS L ESPACE À N DIMENSIONS? Pierre Baumann, Michel Émery Résumé : Comment une propriété évidente visuellement en dimensions deux et trois s étend-elle aux autres dimensions? Voici une
Plus en détailSTATIQUE GRAPHIQUE ET STATIQUE ANALYTIQUE
ÉCOLE D'INGÉNIEURS DE FRIBOURG (E.I.F.) SECTION DE MÉCANIQUE G.R. Nicolet, revu en 2006 STATIQUE GRAPHIQUE ET STATIQUE ANALYTIQUE Eléments de calcul vectoriel Opérations avec les forces Equilibre du point
Plus en détail1 radian. De même, la longueur d un arc de cercle de rayon R et dont l angle au centre a pour mesure α radians est α R. R AB =R.
Angles orientés Trigonométrie I. Préliminaires. Le radian Définition B R AB =R C O radian R A Soit C un cercle de centre O. Dire que l angle géométrique AOB a pour mesure radian signifie que la longueur
Plus en détailLimites finies en un point
8 Limites finies en un point Pour ce chapitre, sauf précision contraire, I désigne une partie non vide de R et f une fonction définie sur I et à valeurs réelles ou complees. Là encore, les fonctions usuelles,
Plus en détail1 Complément sur la projection du nuage des individus
TP 0 : Analyse en composantes principales (II) Le but de ce TP est d approfondir nos connaissances concernant l analyse en composantes principales (ACP). Pour cela, on reprend les notations du précédent
Plus en détailProgrammation linéaire et Optimisation. Didier Smets
Programmation linéaire et Optimisation Didier Smets Chapitre 1 Un problème d optimisation linéaire en dimension 2 On considère le cas d un fabricant d automobiles qui propose deux modèles à la vente, des
Plus en détailFonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre
IUFM du Limousin 2009-10 PLC1 Mathématiques S. Vinatier Rappels de cours Fonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre 1 Fonctions de plusieurs variables
Plus en détailEteindre. les. lumières MATH EN JEAN 2013-2014. Mme BACHOC. Elèves de seconde, première et terminale scientifiques :
MTH EN JEN 2013-2014 Elèves de seconde, première et terminale scientifiques : Lycée Michel Montaigne : HERITEL ôme T S POLLOZE Hélène 1 S SOK Sophie 1 S Eteindre Lycée Sud Médoc : ROSIO Gauthier 2 nd PELGE
Plus en détailContinuité en un point
DOCUMENT 4 Continuité en un point En général, D f désigne l ensemble de définition de la fonction f et on supposera toujours que cet ensemble est inclus dans R. Toutes les fonctions considérées sont à
Plus en détailMesures gaussiennes et espaces de Fock
Mesures gaussiennes et espaces de Fock Thierry Lévy Peyresq - Juin 2003 Introduction Les mesures gaussiennes et les espaces de Fock sont deux objets qui apparaissent naturellement et peut-être, à première
Plus en détailENSAE - DAKAR BROCHURE D'INFORMATION SUR LE CONCOURS DE RECRUTEMENT D ÉLÈVES INGÉNIEURS STATISTICIENS ÉCONOMISTES (I S E) Option Mathématiques CAPESA
ENSEA - ABIDJAN ENSAE - DAKAR ISSEA - YAOUNDÉ BROCHURE D'INFORMATION SUR LE CONCOURS DE RECRUTEMENT D ÉLÈVES INGÉNIEURS STATISTICIENS ÉCONOMISTES (I S E) Option Mathématiques CAPESA CENTRE D APPUI AUX
Plus en détailFeuille G1 RAPPEL SUR LES GROUPES
Université Joseph Fourier Licence de Mathématiques Année 2004/2005 Algèbre II Michael Eisermann Feuille G1 RAPPEL SUR LES GROUPES Mode d emploi. Tout énoncé portant un numéro est un exercice, parfois implicite.
Plus en détailProgrammation linéaire
1 Programmation linéaire 1. Le problème, un exemple. 2. Le cas b = 0 3. Théorème de dualité 4. L algorithme du simplexe 5. Problèmes équivalents 6. Complexité de l Algorithme 2 Position du problème Soit
Plus en détailUNIVERSITE IBN ZOHR Faculté des sciences Agadir. Filière SMA & SMI. Semestre 1. Module : Algèbre 1
UNIVERSITE IBN ZOHR Faculté des sciences Agadir Filière SMA & SMI Semestre 1 Module : Algèbre 1 Année universitaire : 011-01 A. Redouani & E. Elqorachi 1 Contenu du Module : Chapitre 1 : Introduction Logique
Plus en détailChapitre 3. Quelques fonctions usuelles. 1 Fonctions logarithme et exponentielle. 1.1 La fonction logarithme
Chapitre 3 Quelques fonctions usuelles 1 Fonctions logarithme et eponentielle 1.1 La fonction logarithme Définition 1.1 La fonction 7! 1/ est continue sur ]0, +1[. Elle admet donc des primitives sur cet
Plus en détailLe théorème de Perron-Frobenius, les chaines de Markov et un célèbre moteur de recherche
Le théorème de Perron-Frobenius, les chaines de Markov et un célèbre moteur de recherche Bachir Bekka Février 2007 Le théorème de Perron-Frobenius a d importantes applications en probabilités (chaines
Plus en détailRelation d ordre. Manipulation des relations d ordre. Lycée Pierre de Fermat 2012/2013 Feuille d exercices
Lycée Pierre de Fermat 2012/2013 MPSI 1 Feuille d exercices Manipulation des relations d ordre. Relation d ordre Exercice 1. Soit E un ensemble fixé contenant au moins deux éléments. On considère la relation
Plus en détailPolynômes à plusieurs variables. Résultant
Polynômes à plusieurs variables. Résultant Christophe Ritzenthaler 1 Relations coefficients-racines. Polynômes symétriques Issu de [MS] et de [Goz]. Soit A un anneau intègre. Définition 1.1. Soit a A \
Plus en détailFONCTIONS DE PLUSIEURS VARIABLES (Outils Mathématiques 4)
FONCTIONS DE PLUSIEURS VARIABLES (Outils Mathématiques 4) Bernard Le Stum Université de Rennes 1 Version du 13 mars 2009 Table des matières 1 Fonctions partielles, courbes de niveau 1 2 Limites et continuité
Plus en détailConstruction d un cercle tangent à deux cercles donnés.
Préparation au CAPES Strasbourg, octobre 2008 Construction d un cercle tangent à deux cercles donnés. Le problème posé : On se donne deux cercles C et C de centres O et O distincts et de rayons R et R
Plus en détailCHAPITRE IV. L axiome du choix
CHAPITRE IV L axiome du choix Résumé. L axiome du choix AC affirme qu il est légitime de construire des objets mathématiques en répétant un nombre infini de fois l opération de choisir un élément dans
Plus en détailApproximations variationelles des EDP Notes du Cours de M2
Approximations variationelles des EDP Notes du Cours de M2 Albert Cohen Dans ce cours, on s intéresse à l approximation numérique d équations aux dérivées partielles linéaires qui admettent une formulation
Plus en détailExercices Corrigés Premières notions sur les espaces vectoriels
Exercices Corrigés Premières notions sur les espaces vectoriels Exercice 1 On considére le sous-espace vectoriel F de R formé des solutions du système suivant : x1 x 2 x 3 + 2x = 0 E 1 x 1 + 2x 2 + x 3
Plus en détailProgrammation linéaire
Programmation linéaire DIDIER MAQUIN Ecole Nationale Supérieure d Electricité et de Mécanique Institut National Polytechnique de Lorraine Mathématiques discrètes cours de 2ème année Programmation linéaire
Plus en détailIntégration sur des espaces produits
Chapitre 5 Intégration sur des espaces produits 5.1 Produit de deux mesures Étant donnés deux espaces mesurés (Ω 1, F 1, µ 1 ) et (Ω 2, F 1, µ 2 ), le but de cette section est de construire une mesure
Plus en détailI. Ensemble de définition d'une fonction
Chapitre 2 Généralités sur les fonctions Fonctions de références et fonctions associées Ce que dit le programme : Étude de fonctions Fonctions de référence x x et x x Connaître les variations de ces deux
Plus en détail[http://mp.cpgedupuydelome.fr] édité le 30 avril 2015 Enoncés 1
[http://mpcpgedupuydelomefr] édité le 3 avril 215 Enoncés 1 Exercice 1 [ 265 ] [correction] On note V l ensemble des matrices à coefficients entiers du type a b c d d a b c c d a b b c d a et G l ensemble
Plus en détailI - PUISSANCE D UN POINT PAR RAPPORT A UN CERCLE CERCLES ORTHOGONAUX POLES ET POLAIRES
I - PUISSANCE D UN POINT PAR RAPPORT A UN CERCLE CERCLES ORTHOGONAUX POLES ET POLAIRES Théorème - Définition Soit un cercle (O,R) et un point. Une droite passant par coupe le cercle en deux points A et
Plus en détailChapitre 2. Matrices
Département de mathématiques et informatique L1S1, module A ou B Chapitre 2 Matrices Emmanuel Royer emmanuelroyer@mathuniv-bpclermontfr Ce texte mis gratuitement à votre disposition a été rédigé grâce
Plus en détailExercices - Fonctions de plusieurs variables : corrigé. Pour commencer
Pour commencer Exercice 1 - Ensembles de définition - Première année - 1. Le logarithme est défini si x + y > 0. On trouve donc le demi-plan supérieur délimité par la droite d équation x + y = 0.. 1 xy
Plus en détailSimulation de variables aléatoires
Chapter 1 Simulation de variables aléatoires Références: [F] Fishman, A first course in Monte Carlo, chap 3. [B] Bouleau, Probabilités de l ingénieur, chap 4. [R] Rubinstein, Simulation and Monte Carlo
Plus en détailCours d analyse numérique SMI-S4
ours d analyse numérique SMI-S4 Introduction L objet de l analyse numérique est de concevoir et d étudier des méthodes de résolution de certains problèmes mathématiques, en général issus de problèmes réels,
Plus en détailChapitre 3. Mesures stationnaires. et théorèmes de convergence
Chapitre 3 Mesures stationnaires et théorèmes de convergence Christiane Cocozza-Thivent, Université de Marne-la-Vallée p.1 I. Mesures stationnaires Christiane Cocozza-Thivent, Université de Marne-la-Vallée
Plus en détailI. Polynômes de Tchebychev
Première épreuve CCP filière MP I. Polynômes de Tchebychev ( ) 1.a) Tout réel θ vérifie cos(nθ) = Re ((cos θ + i sin θ) n ) = Re Cn k (cos θ) n k i k (sin θ) k Or i k est réel quand k est pair et imaginaire
Plus en détailNombres premiers. Comment reconnaître un nombre premier? Mais...
Introduction Nombres premiers Nombres premiers Rutger Noot IRMA Université de Strasbourg et CNRS Le 19 janvier 2011 IREM Strasbourg Definition Un nombre premier est un entier naturel p > 1 ayant exactement
Plus en détailAngles orientés et fonctions circulaires ( En première S )
Angles orientés et fonctions circulaires ( En première S ) Dernière mise à jour : Jeudi 01 Septembre 010 Vincent OBATON, Enseignant au lycée Stendhal de Grenoble (Année 006-007) Lycée Stendhal, Grenoble
Plus en détailProgrammes des classes préparatoires aux Grandes Ecoles
Programmes des classes préparatoires aux Grandes Ecoles Filière : scientifique Voie : Biologie, chimie, physique et sciences de la Terre (BCPST) Discipline : Mathématiques Seconde année Préambule Programme
Plus en détail