barbu23 a écrit:Quelle est le but de cette idée, et qu'est ce qu'ils ont de particulier ces représentations irréductibles :
yos a écrit:Le mieux c'est de remonter ses manches et de chercher les représentations irréductibles de groupes petits.
yos a écrit:Si U(n) désigne le groupe des racines n-ième de 1, OK; si c'est le groupe unitaire de , ça me dépasse.
Comme je pense que tu penses au premier cas, il s'agit de représenter Z/nZ, ou plus généralement un groupe cyclique d'ordre n. Des groupes isomorphes donnent les "mêmes" représentations.
Il suffit de trouver les caractères. Pour un groupe abélien comme , les caractères sont simplement les morphismes de dans . Un tel morphisme f est entièrement déterminé par l'image d'un générateur a. Je note la loi de multiplicativement. donc donc f(a) est une racine n-ème de 1 donc n choix possibles (au plus, mais on voit qu'ils sont tous admissibles) Donc n représentations irréductibles de .
yos a écrit:Oui car pour un groupe commutatif les rep. irréductibles sont de degré 1, donc à valeurs dans C (pour g dans G, f(g) est linéaire de C dans C).
Toute représentation de G se décompose en somme directe de ces représentations irréductibles.
Elles sont déterminées, à isomorphisme près, par G uniquement.
Elles sont caractérisées par leur caractère qui va de G dans C.
Plus généralement, tout ça sert à récupérer des infos sur un groupe G en le réalisant comme groupe de matrices.
Le mieux c'est de remonter ses manches et de chercher les représentations irréductibles de groupes petits.
Finrod a écrit:
Le fait que à tout élément de G on associe une application linéaire, c'est la définition d'une action de G, il n'y a rien de plus à dire.
Après pour analyser plus en détail cette action, on étudie le groupe G, par ex en décomposant les elts en elts mieux connus comme les irréductibles.
C'est ce que dit Yos, ces notions servent à récupérer des infos sur G et non à définir l'action de G i.e la notion de représentation.
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 93 invités
Tu pars déja ?
Identification
Pas encore inscrit ?
Ou identifiez-vous :