التمرين 1
Groupe $(E,\star)$, matrices $A_{a,b}$, diagonalisation et puissances
Partie I. On munit de la loi définie par :
- Montrer que est un groupe. Ce groupe est-il abélien ? Justifier.
- Soit . (a) Montrer que est un sous-groupe de . (b) Montrer que est isomorphe à .
Partie II. Pour tout et tout , on considère l'endomorphisme de défini par .
- Déterminer la matrice associée à relativement à la base canonique de .
- On note l'ensemble de toutes les matrices . Montrer que est un groupe isomorphe à .
- Soient et . (a) Montrer que constitue une base de , puis écrire la matrice associée à relativement à . (b) Justifier sans calcul la formule , où . (c) Montrer que pour tout , . (d) Pour tout , exprimer en fonction de puis en déduire une expression simple pour .
La clé de 3(a) est de remarquer que le second vecteur de base est un vecteur propre évident (invariant) de ; cela diagonalise immédiatement et évite tout calcul de polynôme caractéristique.
◀الحل
Partie I.1) Associativité : développement direct des deux membres donne dans les deux cas. Neutre . Inverse de : (vérification directe). Donc est un groupe. Non abélien : alors que : différents.
2a) ; ; . Donc est un sous-groupe.
2b) , est un morphisme bijectif : , et est clairement bijective. Donc .
Partie II.1) , , donc .
2) , ce qui correspond exactement à la loi . Donc est un morphisme bijectif de vers : c'est un isomorphisme.
3a) Comme , le second vecteur a une seconde coordonnée non nulle alors que le premier a une seconde coordonnée nulle : ils sont indépendants, donc est une base. . : ce vecteur est invariant ! Donc .
3b) représente le même endomorphisme dans la base , et est la matrice de passage de la base canonique à ; la formule de changement de base donne directement .
3c) Par récurrence : , et ainsi de suite, .
3d) . Avec , le calcul de donne . Comme est un isomorphisme, , donc . Pour :