Está en la página 1de 7

CAPES EXTERNE DE MATHEMATIQUES SESSION DE 1976 DEUXIEME COMPOSITION DE MATHEMATIQUES Dur ee: 5h.

PREAMBULE

Dans tout le probl` eme, V d esigne un espace vectoriel euclidien de dimension 2 ou 3; on note la norme associ ee au produit scalaire d eni sur V . O(V ) d esigne le groupe orthogonal de V . On se propose d etudier les sous-groupes nis (cest ` a dire nayant quun nombre ni d el ements) de O(V ). On rappelle que lordre dun groupe ni est le nombre de ses el ements et quun groupe ni est cyclique lorsquil est engendr e par un de ses el ements. Le cardinal dun ensemble X sera not e card X . On dit quune bijection f dun ensemble X sur lui-m eme laisse invariant ou conserve un sous-ensemble Y de X lorsque f (Y ) = Y . On rappelle que f 1 d esigne la bijection r eciproque de f . Par abr eviation une sym etrie vectorielle de V sera appel ee sym etrie et une rotation vectorielle de V sera appel ee rotation. Lidentit e de V , not ee IdV , est consid er ee comme une rotation particuli` ere de V . De m eme lidentit e dun espace ane V est consid er ee comme une rotation(ane) particuli` ere de V . Le symbole est celui de la composition des applications. Quand il sera question de groupes, on sous-entendra pour la loi . On rappelle enn que tout espace vectoriel V peut etre muni dune structure despace ane sur lui-m eme. On pourra parler indi eremment de vecteurs ou de points pour d esigner les el ements de V et on repr esentera les situations rencontr ees dans V par des gures.

`re partie Premie Dans cette partie la dimension de V est 2. A

Soit V un espace ane dont lespace vectoriel associ e est V . Dans V rapport e a ` un rep` ere orthonorm e, on consid` ere le carr e ABCD dont les sommets ont pour coordonn ees respectives (1, 1), (1, 1) (1, 1) et (1, 1). 1 D emontrer que toute isom etrie ane de V , conservant lensemble des points {A, B, C, D} laisse invariant le point O, origine du rep` ere et que lensemble D de ces isom etries est un groupe isomorphe dune part ` a un sous-groupe de O(V ), dautre part a ` un sous-groupe du groupe des permutations de 4 el ements. 2 Trouver un sous-groupe cyclique dordre 4 de D. 3 D emontrer que D est engendr e par deux sym etries orthogonales par rapport a ` des droites que lon pr ecisera.

On donne un sous-groupe ni de O(V ), soit G , et on appelle H lensemble des rotations appartenant a ` G. 1 D emontrer que H constitue un sous-groupe de G . 2 A toute rotation R de V on associe le r eel (R), appartenant a ` lintervalle ]0, 2 ], qui d etermine langle de la rotation R et est appel e mesure de R. On aura en particulier ici pour mesure de la rotation identit e de V (IdV ) le nombre 2 . D emontrer quil existe un el ement R1 de H dont la mesure est minimale, cest-` a-dire v erie R H, (R) (R1 ).

D emontrer que, pour tout R H, il existe un entier naturel m tel que (R) = m(R1 ). En d eduire que H est un sous-groupe cyclique dont R1 est un g en erateur. Exprimer (R1 ) en fonction de lordre n de H. 3 D eterminer un ensemble d el ements de V tel que H constitue lensemble des rotations de V laissant invariant. Donner en fonction de n le nombre minimum d el ements de .

4 On suppose H = G et on d esigne par S une sym etrie orthogonale donn ee appartenant a ` G. On d esigne par S H lensemble, not e {S R | R H}, des S R tels que R H. a. D emontrer que S H ne contient que des sym etries orthogonales. b. D emontrer que lon a G = H S H. c. Exprimer les el ements de G en fonction de S et R1 . 5 D emontrer quil existe deux types de sous-groupes nis de O(V ) et en pr eciser la nature. 6 On reprend la situation du paragraphe 4 ci-dessus. Soit (u1 , u2 ) une base orthonorm ee de vecteurs propres de S ; donner dans cette base les matrices de S, R1 et T = R S (on appelle toujours n lordre de H). Caract eriser T et d emontrer que G admet un syst` eme de g en erateurs constitu e par des sym etries orthogonales que lon pr ecisera. 7 V etant rapport ea ` la base (u1 , u2 ) utilis ee ci-dessus, et x etant un el ement non nul de V , on d esigne par Arg (x), la mesure de langle (u1 , x), nombre r eel appartenant ` a ]0, 2 ]. On pose F = {x V | 0 < Arg (x) < }. 4 En supposant que n = 4, repr esenter sur un dessin F et ses images respectives par T, T S, T S T, S T S T, S T S, S T et S .

`me partie Deuxie Dans cette partie la dimension de V est 3. Soit V un espace ane dont lespace vectoriel associ e est V . Dans V rapport e a ` un rep` ere orthonorm e daxes x 0x, y 0y, z 0z , on d esigne par la sph` ere de rayon 1 centr ee a ` lorigine du rep` ere et par le cube ABCDA B C D , les trois coordonn ees de chaque sommet appartenant ` a lensemble {1, 1}. Dessiner le cube . 1 D emontrer que toute rotation ane de V conservant lensemble des sommets de laisse invariant le point O; justier rapidement le fait que lensemble H de ces rotations constitue un groupe ni, isomorphe dune part ` a un sous-groupe de O(V ), dautre part ` a un sous-groupe du groupe des permutations de 8 el ements.

Soient deux sommets appartenant a ` une m eme ar ete du cube . D emontrer que la seule rotation ane appartenant ` a H et laissant invariant chacun de ces deux sommets est lidentit e de V . En d eduire que le nombre d el ements de H est au plus 24. 2 D emontrer que lensemble des el ements de H qui laissent invariant un sommet donn e de constitue un sous-groupe dordre 3 de H . On rappelle que lordre dun el ement g dun groupe ni est le plus petit entier q strictement positif tel que g q (compos e de q el ements egaux a ` g ) soit l el ement neutre du groupe. D eterminer tous les el ements dordre 3 de H . 3 D ecrire tous les el ements dordre 4 de H , puis les el ements dordre 2 de H . D ecrire tous les el ements de H . 4 On appelle p ole dune rotation de V (autre que lidentit e de V ) tout point dintersection de la sph` ere et de laxe de cette rotation. Repr esenter sur un dessin la portion du cube et de la portion de la sph` ere situ ees dans la r egion de V d enie par x 0, y 0, z 0, ainsi que les demi-axes des rotations appartenant ` a H qui sont situ es dans cette r egion et les p oles appartenant ` a ces demi-axes. On d esigne par P lensemble des p oles des rotations (autres que lidentit e de V ) appartenant a ` H . a. Calculer card P . b. D emontrer que P est invariant par toute rotation appartenant ` a H et quil en est de m eme de lensemble des p oles des el ements dordre 4 de H c. D emontrer que lon peut d eterminer un ensemble {P1 , P2 , P3 } de p oles el ements de P tels que si i d esigne lensemble des images de Pi par tous les el ements de H , lon ait . P = 1 2 3 et . j k = si j = k , i, j et k etant el ements de {1, 2, 3}. (i sera appel e orbite de Pi .) d. Calculer lordre des sous-groupes de H qui laissent invariants P1 , P2 et P3 respectivement. Quelle relation existe-t-il entre lordre de H , le cardinal de i et lordre du sous-groupe de H qui laisse Pi invariant?

`me partie Troisie Dans cette partie la dimension de V est 3. A

G d esigne un sous-groupe ni de O(V ) et H est lensemble des rotations de G . On suppose H = G . 1 D emontrer quon peut trouver un el ement S de G tel que G = H S H. (On rappelle la notation S H = {S R | R H}.) Caract eriser S , puis montrer que H est un sous-groupe distingu e de G . 2 Soit la sph` ere unit e de V , = {x V | x = 1}. D emontrer que si R est une rotation distincte de IdV , il existe deux el ements, et deux seulement, x1 et x2 , de , qui sont invariants par R; x1 et x2 sont appel es p oles de R. 3 D emontrer que si x est un p ole dune rotation R appartenant a ` H, alors, pour tout el ement T G , T (x) est p ole dune rotation R que lon pr ecisera. 4 On appelle stabilisateur dun el ement x de V lensemble Hx des el ements de H laissant x invariant et orbite de x lensemble x des images de x par les el ements de H. On d esigne par n lordre de H. On se donne x, p ole dune rotation appartenant ` a H, et on consid` ere lapplication x : et la relation d enie par
1 (R1 R2 ) R2 R1 Hx .

H x R R(x)

a. V erier que est une relation d equivalence, et, en utilisant x , que lensemble quotient H/ peut etre mis en bijection avec x . En d eduire que lon a n = n x x en posant nx = card Hx et x = card x . b. On d esigne par U lensemble des couples (R, x) o` u R est un el ement de H autre que IdV et o` u x est un p ole de R. D emontrer que card U = 2(n 1).

5 On suppose que lensemble des p oles des el ements de H contient k orbites distintes, on choisit un p ole sur chaque orbite et on obtient ainsi un ensemble de points {x1 , x2 , . . . , xk }. D emontrer que lon a
k

card U =
j =1

nj (j 1)

o` u lon a pos e, pour all eger les notations, xj = j 6 D emontrer que lon a 2 2 = n
k

et nxj = nj .

(1
j =1

1 ) et k = 1. nj

7 D emontrer que les seules valeurs eventuelles de k sont 2 et 3. 8 D emontrer que si k = 2, alors H est un groupe cyclique. 9 On suppose maintenant que lon a k = 3 et, pour xer les notations, on pose n1 n2 n3 . Etablir les r esultats suivants: a. b. c. n1 = 2 n2 {2, 3} si n2 = 3, alors n3 {3, 4, 5}.

10 D emontrer que si lon a n1 = 2 n2 = 3 n3 = 4, alors H est isomorphe au groupe H de la deuxi` eme partie du probl` eme. 11 Pouvez-vous d ecrire les ensembles de points (sommets de poly` edres r eguliers) jouant un r ole analogue a ` celui des sommets A, B, C, D, A , B , C , D du cube (cf. deuxi` eme partie du probl` eme) pour les eventualit es : a. n1 = 2, n2 = n2 = 3 b. n1 = 2, n2 = 3, n3 = 5 ?

1 Soit K un groupe de rotations de V . On d esigne par E la compos ee dun endomorphisme E de V et de lhomoth ethie de V dont le rapport est 1. On consid` ere lensemble = K {R | R K}. K constitue un groupe dont le sous-groupe des rotations est K. D emontrer que K 2 J etant un sous-groupe de K et R1 un el ement de K (R1 J }, on pose R1 J = {R1 R | R J }. On suppose que J est tel que K = J R1 J . D emontrer que lensemble J = J {R | R R1 J } constitue un groupe dont J est le sous-groupe des rotations. 3 On revient a ` la situation du d ebut de la troisi` eme partie: G est un sous-groupe ni de O(V ), H le sous-groupe des rotations de G (H = G ) et S un el ement de G tel que G = H S H. D emontrer que S 2 H. D emontrer que lensemble L = H (S ) H constitue un groupe de rotations de V . 4 Donner le catalogue des sous-groupes nis de O(V ).

::::

También podría gustarte