Représentation linéaire

Représentation linéaire

Représentation de groupe

L'idée générale de la théorie des représentations est d'essayer d'étudier un groupe G en le faisant agir sur un espace vectoriel V de manière linéaire : on essaie ainsi de voir G comme un groupe de matrices (d'où le terme représentation). On peut ainsi, à partir des propriétés relativement bien connues du groupe des automorphismes de V, arriver à déduire quelques propriétés de G.

Sommaire

Quelques définitions

Définition la plus élémentaire

Cas général

Soit G un groupe, K un corps et V un espace vectoriel sur K. On appelle représentation de G un morphisme de groupe de G dans GL(V), autrement dit, une application  \rho \,:\,G\to GL(V) telle que ρ(g1)ρ(g2) = ρ(g1g2), c'est-à-dire que l'application préserve la loi du groupe.

Pour écrire l'action d'un élément g du groupe sur un élément v de l'espace vectoriel à travers la représentation ρ, on notera parfois ρ(g)(v), ρ(g).v ou même g.v s'il n'y a aucune ambiguïté. On note parfois une représentation (V,ρ). On dit parfois également (et abusivement) que V est une représentation de G.

On dit que la représentation est fidèle si le morphisme ρ est injectif. Si par ailleurs V est de dimension finie (cas le plus fréquent), cette représentation permet alors de voir G comme un groupe de matrices. La dimension de V est alors appelée degré de la représentation. Si V est de dimension infinie, alors les ρ(g) sont des opérateurs linéaires.

Cas des groupes topologiques : représentation continue

Si G est un groupe topologique et V a une topologie, la représentation ρ est une représentation continue si l'application Φ de G\times V dans V définie par \Phi\colon (g,v)\mapsto\rho(g)\cdot v est continue. En particulier (et c'est très utile dans le cas des groupes compacts), pour tout v\in V l'application g\mapsto\rho(g)\cdot v est continue.

Définition plus savante

K-algèbre d'un groupe

Notons K[G] le K-espace vectoriel engendré par les éléments de G (c’est-à-dire l'ensemble des combinaisons linéaires formelles finies à coefficients dans K des éléments de G). Un élément générique de K[G] s'écrit

 \sum_{g\in G}a_g g

où les ag sont des éléments de K tous nuls sauf un nombre fini d'entre eux (la somme est donc finie) et où les lettres g sont à considérer comme des symboles formels.

On peut donner à K[G] une structure d'anneau (et donc de K-algèbre) en le munissant de la loi de multiplication (naturelle) suivante :

 \left (\sum_{g\in G}a_g g\right ) \left (\sum_{h\in G}b_h h\right)=\sum_{g, h\in G}a_g b_h (gh) = \sum_{g\in G} \left (\sum_{h,k \in G \mid hk=g} a_h b_k \right ) g

où toutes les sommes sont en fait finies.

K[G] s'appelle la K-algèbre du groupe G.

Lien avec les représentations

On peut alors étendre, et ce de façon unique, la représentation ρ à un morphisme de K-algèbres de K[G] vers End(V), en posant  \rho(\sum_{g\in G}a_g g) = \sum_{g\in G}a_g \rho(g). Ceci fait de V un K[G]-module. On dit également que V est un G-module.

Réciproquement, la donnée d'un K[G]-module V fournit une représentation de G.

Morphismes

Un morphisme \varphi entre deux représentations (V,ρ) et (W,σ) est simplement une application K-linéaire de V dans W telle que pour tout g appartenant à G on ait \varphi\circ\rho(g)=\sigma(g)\circ\varphi

On dit alors aussi que \varphi:V\to W est un morphisme G-équivariant.

Deux représentations sont dites semblables, ou isomorphes lorsqu'il existe un isomorphisme G-équivariant entre les espaces correspondants. Il est alors possible de les identifier.

Irréductibilité

Définitions

On dit qu'un module V est simple s'il ne contient pas d'autre sous-module que {0} et V.

Si (V,ρ) est une représentation, on dit que cette représentation est irréductible si V est simple en tant que K[G]-module. Formulé autrement, ceci signifie que V n'admet pas de sous-espace vectoriel propre qui soit stable sous l'action de G. En termes matriciels, cela signifie qu'on ne peut pas trouver de base dans laquelle la représentation de G soit donnée par des matrices ayant toutes la même structure triangulaire supérieure par blocs (avec au moins 2 blocs).

Une représentation est complètement réductible si V est somme directe de sous-espaces stables (par G) irréductibles. En termes de K[G], cela signifie que V peut-être décomposé en somme directe de K[G]-modules simples (on dit alors aussi que V est semi-simple). En termes matriciels, cela signifie qu'on peut trouver une base dans laquelle la représentation de G soit faite par des matrices diagonales par blocs, où chacun des blocs est une représentation irréductible.

Le fait de considérer des modules simples permet de beaucoup simplifier certains raisonnements : par exemple, un morphisme entre deux représentations irréductible est soit nul, soit inversible...

On peut souvent ramener l'étude des représentations de G à l'étude de ses représentations irréductibles : si V n'est pas irréductible, on peut toujours considérer un sous-espace vectoriel de V qui soit stable par G. Si jamais V est de dimension finie, on pourra ainsi finir par trouver un sous-module simple.

Théorème de Maschke

Si G est fini et si la caractéristique de K est nulle ou ne divise pas card(G), alors tout K[G]-module est semi-simple (ou de façon équivalente toute représentation de G dans K est complètement réductible).

En fait, plus généralement, on peut énoncer un théorème similaire pour les groupes compacts (un groupe fini est toujours compact) et les représentations de groupes topologiques.

Quelques exemples

  • Commençons par l'exemple le plus trivial : si G est un sous-groupe de GLn(K), G agit naturellement sur Kn. La représentation associée est appelée représentation standard.
  • G agit sur lui-même par multiplication à gauche ; ceci définit une représentation sur K[G]. La représentation associée est appelée représentation régulière. Si G est un groupe fini, toute représentation irréductible est une sous-représentation de la représentation régulière.

Références

  • Jean-Pierre Serre, Représentations linéaires des groupes finis [détail des éditions]

Liens

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Repr%C3%A9sentation de groupe ».

Wikimedia Foundation. 2010.

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

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • représentation linéaire — linijinis atvaizdavimas statusas T sritis fizika atitikmenys: angl. linear mapping; linear representation vok. lineare Abbildung, f; lineare Darstellung, f rus. линейное отображение, n; линейное представление, n pranc. application linéaire, f;… …   Fizikos terminų žodynas

  • GROUPES (mathématiques) - Représentation linéaire des groupes — Développée d’abord comme moyen de classification des différentes apparences du même groupe G comme groupe de transformations linéaires, la théorie des représentations linéaires est devenue un des outils les plus puissants pour l’étude de la… …   Encyclopédie Universelle

  • Representation reguliere — Représentation régulière En mathématiques et plus précisément en théorie des groupes, la représentation régulière est une représentation d un groupe fini. Soient G un groupe fini d ordre g, K un corps, V un K espace vectoriel de dimension g et… …   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

  • Representation induite d'un groupe fini — Représentation induite d un groupe fini En mathématiques une représentation induite est une méthode de construction d une représentation d un groupe. Cet article traite le cas des groupes finis. Une représentation induite permet de construire à l …   Wikipédia en Français

  • Representation irreductible — Représentation irréductible En mathématiques, une représentation irréductible est un concept utilisé dans le cadre de la théorie des représentation d un groupe. Une représentation irréductible est une représentation qui n admet qu elle même et la …   Wikipédia en Français

  • représentation — [ r(ə)prezɑ̃tasjɔ̃ ] n. f. • 1250; lat. repræsentatio, de repræsentare I ♦ Action de mettre devant les yeux ou devant l esprit de qqn. 1 ♦ Vx ou dr. Production, présentation. Représentation d acte (pouvant servir de titre ou de preuve). ⇒… …   Encyclopédie Universelle

  • Representation coadjointe — Représentation coadjointe La représentation coadjointe ρ d un groupe de Lie G est l action naturelle de G sur le dual de son algèbre de Lie . Plus explicitement, G agit par conjugaison sur son espace cotangent en l élément neutre e et cette… …   Wikipédia en Français

  • Représentation des groupes finis — Représentations d un groupe fini En mathématiques, un groupe est une structure algébrique dont la définition est remarquablement simple. Elle consiste en un ensemble muni d une unique opération. Cette opération possède de bonnes propriétés, elle… …   Wikipédia en Français

  • LINÉAIRE ET MULTILINÉAIRE (ALGÈBRE) — LINЙAIRE ET MULTILINЙAIRE (ALGИBRE) L’algèbre linéaire sur un corps commutatif, telle qu’on la trouvera présentée ici, s’est progressivement dégagée, au cours du XIXe siècle et au début du XXe, de la théorie des équations linéaires (systèmes de n …   Encyclopédie Universelle

Share the article and excerpts

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