Groupe linéaire

Groupe linéaire

Groupe général linéaire

En mathématiques, le groupe général linéaire de degré n d’un corps E est le groupe des matrices n×n inversibles à coefficients dans E, muni de la multiplication matricielle. On le note GLn(E), ou GLn (ici GL(n,E)). Ces groupes sont importants dans la théorie des représentations de groupes et apparaissent lors de l’étude des symétries et des polynômes.

GL(n, E) et ses sous-groupes sont souvent appelés « groupes linéaires » ou « groupes matriciels ». Le groupe spécial linéaire, noté SL(n,E) et constitué des matrices de déterminant 1, est un sous-groupe de GL(n,E).

Sommaire

Description

Si n ≥ 2, GL(n, E) n’est pas abélien.

Groupe général linéaire

d’un espace vectoriel

Si U est un espace vectoriel sur le corps E, on appelle groupe général linéaire de U et on note GL(U) ou Aut(U), le groupe des automorphismes de U muni de la composition des fonctions.

Si la dimension de U est n, alors GL(U) et GL(n,E) sont isomorphes. Cet isomorphisme n’est pas canonique et dépend du choix d’une base de U. Une fois cette base choisie, tout automorphisme de U peut être représenté par une matrice n×n inversible qui détermine l’isomorphisme.

Sur les réels et les complexes

Si le corps E est \mathbb R (les nombres réels) ou \mathbb C (les nombres complexes), alors GL(n) est un groupe de Lie réel ou complexe de dimension n2. En effet, GL(n) est constitué des matrices de déterminant non-nul. Le déterminant étant un application continue (et même polynômiale), GL(n) est un sous-ensemble non-vide de la variété des matrices n×n, de dimension n2.

L’algèbre de Lie associée à GL(n) est formée par les matrices n×n réelles ou complexes.

Si GL(n,\mathbb C) est connexe, GL(n,\mathbb R) possède deux composantes connexes : les matrices de déterminant positif et celles de déterminant négatif. Les matrices n×n réelles de déterminant positif forment un sous-groupe de GL(n,\mathbb R), noté GL+(n,\mathbb R). Ce dernier est également un groupe de Lie de dimension n2 et possède la même algèbre de Lie. Il est simplement connexe.

Sur les corps finis

Si E est un corps fini de q éléments, alors on écrit parfois GL(n, q) à la place de GL(n, E). GL(n, q) est un groupe fini de (qn - 1)(qn - q)(qn - q2) … (qn - qn-1) éléments (ce qui peut être prouvé en comptant le nombre de colonnes possibles de la matrice : la première colonne peut être n’importe laquelle, mise à part la colonne nulle, la deuxième n’importe laquelle, sauf les multiples de la première, etc.)

Groupe spécial linéaire

Le groupe spécial linéaire d’ordre n d’un corps E, noté SL(n,E), est le groupe des matrices de déterminant 1. SL(n,E) est un sous-groupe distingué de GL(n,E).

Si on considère E× (E privé de son élément nul), alors le déterminant est un homomorphisme de groupe :

det: GL(n,E) \rightarrow E×

Le noyau de cette application est le groupe spécial linéaire. d’après le premier théorème d’isomorphisme, GL(n,E)/SL(n,E) est isomorphe à E×. En fait, GL(n,E) peut être considéré comme le produit semi-direct de SL(n,E) par E× :

GL(n, E) = SL(n, E) ⋊ E×

Lorsque E est \mathbb R ou \mathbb C, SL(n) est le sous-groupe de Lie de GL(n) de dimension n2-1. L’algèbre de Lie de SL(n) est formée des matrices n×n à coefficients réels ou complexes de trace nulle.

Le groupe spécial linéaire SL(n,\mathbb R) peut être vu comme le groupe des transformations linéaires de \mathbb R^n préservant le volume et l’orientation. Il est engendré par les transvections.

Groupe projectif linéaire

Le groupe projectif linéaire d’un espace vectoriel U sur un corps E est le groupe quotient GL(U)/Z(U). Les notations PGL(U), PSL(U), etc. sont analogues à celles utilisées pour le groupe général linéaire.

Cette dénomination vient de la géométrie projective, où le groupe projectif agissant sur les coordonnées homogènes (x0:x1: … :xn) est le groupe sous-jacent de cette géométrie (en conséquence, il faut considérer le groupe PGL(n+1,E) pour un espace projectif de dimension n). Le groupe projectif linéaire généralise donc le groupe PGL(2) des transformations de Möbius, parfois appelé le groupe de Möbius.

Le groupe projectif spécial linéaire PSL(n,Fq) d’un corps fini Fq est parfois noté Ln(q). Ce sont des groupes simples finis quand n est au moins égal à 2, sauf L2(2) et L2(3).

Sous-groupes

Diagonaux

L’ensemble des matrices diagonales de déterminant non nul forme un sous-groupe de GL(n, E) isomorphe à (E×)n. Dans les corps \mathbb R et \mathbb C, il s'agit du groupe des dilatations et contractions.

Une matrice scalaire est une matrice diagonale qui est le produit de la matrice identité par une constante. L’ensemble des matrices scalaires non nulles, parfois noté Z(n,E), forme un sous-groupe de GL(n, E) isomorphe à E×. Ce groupe est le centre de GL(n, E). Il est invariant et abélien.

Le centre de SL(n,E), noté SZ(n,E), est simplement l’ensemble des matrices scalaires de déterminant 1. Il est isomorphe au groupe des racines n-ièmes de 1.

Classiques

Les groupes classiques sont les sous-groupes de GL(U) qui préservent une partie du produit interne sur U. Par exemple :

  • le groupe orthogonal, O(U), qui préserve une forme bilinéaire symétrique sur U
  • le groupe symplectique, Sp(U), qui préserve une forme bilinéaire antisymétrique sur U
  • le groupe unitaire, U(U), qui préserve une forme hermitienne sur U (quand E est \mathbb C).

Ces groupes sont des exemples importants de groupes de Lie.

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Groupe g%C3%A9n%C3%A9ral lin%C3%A9aire ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Groupe linéaire de Wikipédia en français (auteurs)

Игры ⚽ Поможем написать реферат

Regardez d'autres dictionnaires:

  • groupe linéaire — tiesinė grupė statusas T sritis fizika atitikmenys: angl. linear group vok. lineare Gruppe, f rus. линейная группа, f pranc. groupe linéaire, m …   Fizikos terminų žodynas

  • groupe linéaire complet — pilnutinė tiesinė grupė statusas T sritis fizika atitikmenys: angl. complete linear group; full linear group; general linear group vok. volle lineare Gruppe, f rus. полная линейная группа, f pranc. groupe linéaire complet, m; groupe linéaire… …   Fizikos terminų žodynas

  • groupe linéaire général — pilnutinė tiesinė grupė statusas T sritis fizika atitikmenys: angl. complete linear group; full linear group; general linear group vok. volle lineare Gruppe, f rus. полная линейная группа, f pranc. groupe linéaire complet, m; groupe linéaire… …   Fizikos terminų žodynas

  • Groupe De Type De Lie — En mathématiques, un groupe de type de Lie G(k) est un groupe (non nécessairement fini) de points rationnels d un groupe algébrique linéaire G à valeur dans le corps k. La classification des groupes simples finis montre que les groupes de types… …   Wikipédia en Français

  • Groupe de type de lie — En mathématiques, un groupe de type de Lie G(k) est un groupe (non nécessairement fini) de points rationnels d un groupe algébrique linéaire G à valeur dans le corps k. La classification des groupes simples finis montre que les groupes de types… …   Wikipédia en Français

  • linéaire — [ lineɛr ] adj. et n. m. • XVe; lat. linearis, de linea → ligne 1 ♦ Qui a rapport aux lignes, se traduit par des lignes. Mesure linéaire : mesure de longueur. Dessin linéaire, où le trait seul est utilisé (cf. Au trait). Perspective linéaire… …   Encyclopédie Universelle

  • Groupe Algébrique — En géométrie algébrique, la notion de groupe algébrique est un équivalent des groupes de Lie en géométrie différentielle ou complexe. Un groupe algébrique est une variété algébrique munie d une loi de groupe compatible avec sa structure de… …   Wikipédia en Français

  • Groupe algebrique — Groupe algébrique En géométrie algébrique, la notion de groupe algébrique est un équivalent des groupes de Lie en géométrie différentielle ou complexe. Un groupe algébrique est une variété algébrique munie d une loi de groupe compatible avec sa… …   Wikipédia en Français

  • Groupe Alterné — En mathématiques, et plus précisément en théorie des groupes, le groupe alterné de degré n, souvent noté An, est un sous groupe distingué du groupe symétrique des permutations d un ensemble fini de cardinal n. Ce sous groupe est composé des… …   Wikipédia en Français

  • Groupe alterne — Groupe alterné En mathématiques, et plus précisément en théorie des groupes, le groupe alterné de degré n, souvent noté An, est un sous groupe distingué du groupe symétrique des permutations d un ensemble fini de cardinal n. Ce sous groupe est… …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”