• Aucun résultat trouvé

Le groupe de Heisenberg

N/A
N/A
Protected

Academic year: 2022

Partager "Le groupe de Heisenberg"

Copied!
2
0
0

Texte intégral

(1)

STH1, Algèbre générale janvier 2019

Contrôle final

Calculatrice et documents sont interdits.

Tous les résultats doivent être correctement rédigés et rigoureusement justiés.

Le barème, sur 32 points, est donné à titre indicatif.

La qualité de la rédaction sera fortement prise en compte dans la notation.

Le groupe de Heisenberg

On rappelle queM3(R)désigne l'ensemble des matrices carrées de taille 3, queGL3(R)dé- signe son sous-ensemble des matrices inversibles et queI3 désigne la matrice identité deM3(R).

Poura∈R, b ∈Ret c∈R, nous noterons Ma,b,c la matrice de M3(R)dénie par

Ma,b,c=

1 a c 0 1 b 0 0 1

.

On dénit l'ensemble H de toutes les matrices de cette forme : H ={Ma,b,c ; a∈R, b ∈R, c∈R}.

Cet ensemble est appelé groupe de Heisenberg. Le but de ce problème est d'en étudier quelques propriétés.

1. Propriétés des éléments de H (12 points) Soient a, b et cdes nombres réels.

(a) Montrer, en utilisant l'algorithme de Gauss, que Ma,b,c est inversible et déterminer sa matrice inverse.

(b) Calculer le produit de Ma,b,c avec une autre matrice de H.

(c) Puissances matricielles : déterminer l'expression de Ma,b,cn pour tout entier n>1. À titre de vérication, on pourra remarquer que l'expression obtenue est égale, pour n =−1, au résultat de la première question.

(d) Calculer(Ma,b,c−I3)3. Retrouver de nouveau le résultat de la première question.

On cherche dans la suite à savoir si Ma,b,c est une matrice diagonalisable. Supposons que c'est le cas et qu'il existe une matrice diagonale D et une matrice inversible P de M3(R) tels que Ma,b,c=P DP−1.

(e) Déduire du calcul de la question précédente que (D−I3)3 = 0. (f) En déduire que D=I3.

(g) Conclure que la seule matrice diagonalisable de H estM0,0,0.

(2)

2. Le groupe H (10 points)

(a) Montrer que H est un sous-groupe de (GL3(R),×). (b) Le groupe H est-il commutatif ?

On note HZ le sous-ensemble des matrices à coecients entiers de H : HZ=H ∩ M3(Z) ={Ma,b,c ; a ∈Z, b∈Z, c ∈Z}.

(c) Montrer que HZ est un sous-groupe de(H,×). Notons A=M1,0,0, B =M0,1,0 et C =M0,0,1.

(d) En utilisant le résultat de la question 1-c, déterminer le sous-groupe engendré par A ainsi que le sous-groupe engendré par B et celui engendré par C.

(e) Montrer que C est égal à un certain produit des matricesA,A−1, B et B−1. (f) Montrer que le sous-groupe engendré par A et B est le groupe HZ tout entier.

3. Groupes d'ordre p3 (10 points)

Soit p un nombre premier. Nous raisonnons désormais modulo p et nous nous plaçons dans l'ensembleM3(Z/pZ)des matrices à coecients dans Z/pZ. Le groupe de Heisen- berg correspondant est

Hp ={Ma,b,c ; a∈Z/pZ, b∈Z/pZ, c ∈Z/pZ}.

Le groupe (Hp,×) est de cardinal p3.

Tous les résultats démontrés précédemment restent valables dans ce contexte.

(a) D'après le théorème de Lagrange, quel peut être l'ordre d'un élément de Hp? On considère d'abord que p est un nombre premier impair.

(b) Montrer que tous les éléments de Hp, hormis M0,0,0, sont d'ordre p.

(c) Le groupe(Z/p3Z,+) est aussi un groupe à p3 éléments. Montrer qu'il n'est pas iso- morphe à (Hp,×). Il sut pour cela d'exhiber une propriété algébrique valable dans un seul des deux groupes.

Considérons maintenant p= 2.

(d) Donner la liste des huit éléments deH2 et déterminer pour chacun son ordre dans le groupe.

(e) Nous avons déjà étudié le groupe(I,◦)des isométries préservant le carréC ci-dessous.

Il contient huit éléments : l'identité, les rotations de centre O, d'angles π2, π, 2 , et les symétries d'axes d1, d2, d3 et d4.

Il est isomorphe au groupe (H2,×).

O

d1 d2

d3

d4

C

Donner, avec de brèves explications, une correspondance possible entre les huit élé- ments de H2 et ceux deI.

Références

Documents relatifs

En particulier comme y-qx = r < x, nous nous ramenons au même problème, mais avec un triplet réordonné (x',y',z') tel que x'<x. Le minimum des trois ne pouvant

Notations du chapitre — Dans tout ce chapitre, n et p sont deux entiers naturels non nuls.. Dans la notation des coefficients m i j de la matrice, l’indice i représente la ligne de

La conjecture de Goldbach pour les impairs découlerait trivialement de la conjecture de Goldbach forte (en effet, tout nombre impair étant la somme d’un nombre pair et de 3, si

Dans cette revue qui est l'œuvre exclusive d'enseignants qui achoppent sur les mêmes difficultés, nous disons comment, sur la base d'outils et de techniques nous

ARuu.c.Ra;: On the iteration of polynomials of degree 4. with

Une courbe est horizontale si et seulement si la troisième coordonnée évolue comme l’aire algébrique balayée par la projection complexe.. La longueur des courbes horizontales

Rappelons que diagonaliser une matrice dans , c’est déterminer une base de vecteurs propres et de valeurs propres associées, c'est-à-dire trouver des nombres réels

Quand le dernier couplet est fini, les 5 ogres courent attraper tous les enfants qui s'assoient lorsqu'ils sont pris.. Situation