Théorie des représentations d'un groupe finivignette|Ferdinand Georg Frobenius, fondateur de la théorie de la représentation des groupes. En mathématiques et plus précisément en théorie des groupes, la théorie des représentations d'un groupe fini traite des représentations d'un groupe G dans le cas particulier où G est un groupe fini. Cet article traite de l'aspect mathématique et, de même que l'article de synthèse « Représentations d'un groupe fini », n'aborde que les représentations linéaires de G (par opposition aux représentations projectives ou ).
Produit semi-directEn théorie des groupes, le produit semi-direct permet de définir un groupe G à partir de deux groupes H et K, et généralise la notion de produit direct de deux groupes. Un groupe G est produit semi-direct interne d'un sous-groupe normal H par un sous-groupe K si et seulement si l'une des définitions équivalentes suivantes est vérifiée : (en d'autres termes, H et K sont compléments l'un de l'autre dans G) ; (tout élément de G s'écrit de manière unique comme produit d'un élément de H et d'un élément de K) ; la restriction à K de la surjection canonique est un isomorphisme entre et ; la surjection canonique se scinde par un morphisme tel que .
Théorie des représentationsLa théorie des représentations est une branche des mathématiques qui étudie les structures algébriques abstraites en représentant leurs éléments comme des transformations linéaires d'espaces vectoriels, et qui étudie les modules sur ces structures algébriques abstraites. Essentiellement, une représentation concrétise un objet algébrique abstrait en décrivant ses éléments par des matrices et les opérations sur ces éléments en termes d'addition matricielle et de produit matriciel.
Représentation de groupeEn mathématiques, une représentation de groupe décrit un groupe en le faisant agir sur un espace vectoriel de manière linéaire. Autrement dit, on essaie de voir le groupe 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 l'espace vectoriel, arriver à déduire quelques propriétés du groupe. C'est l'un des concepts importants de la théorie des représentations.
Représentation projectiveEn mathématiques, plus précisément en théorie des représentations, une représentation projective d'un groupe sur un espace vectoriel est un homomorphisme du groupe dans le groupe projectif linéaire . Soit un groupe, un corps et un -espace vectoriel. désigne le groupe général linéaire de . On note le centre de ; il est isomorphe à . est par définition le groupe quotient : . Il existe deux définitions équivalentes d'une représentation projective de sur : un morphisme ; une application telle qu'il existe une fonction , vérifiant : .
DifféomorphismeEn mathématiques, un difféomorphisme est un isomorphisme dans la catégorie usuelle des variétés différentielles : c'est une bijection différentiable d'une variété dans une autre, dont la bijection réciproque est aussi différentiable. vignette|Image d'une grille à maille carrée par un difféomorphisme du carré dans lui-même. Soient : E et F deux espaces vectoriels normés réels de dimension finie ; U un ouvert de E, V un ouvert de F ; f une application de U dans V.
Produit en couronneEn mathématiques, le produit en couronne est une notion de théorie des groupes. C'est un certain groupe construit à partir de deux groupes, le second opérant sur un ensemble. Il existe en fait plusieurs notions de produit en couronne, voisines mais distinctes. En théorie des groupes, le produit en couronne, outre qu'il fournit divers contre-exemples, permet notamment de décrire les sous-groupes de Sylow des groupes symétriques finis.
Levi decompositionIn Lie theory and representation theory, the Levi decomposition, conjectured by Wilhelm Killing and Élie Cartan and proved by , states that any finite-dimensional real{Change real Lie algebra to a Lie algebra over a field of characterisitic 0} Lie algebra g is the semidirect product of a solvable ideal and a semisimple subalgebra. One is its radical, a maximal solvable ideal, and the other is a semisimple subalgebra, called a Levi subalgebra.
Extension de groupesEn mathématiques, plus précisément en théorie des groupes, une extension de groupes est une manière de décrire un groupe en termes de deux groupes « plus petits ». Plus précisément, une extension d'un groupe Q par un groupe N est un groupe G qui s'insère dans une suite exacte courte Autrement dit : G est une extension de Q par N si (à isomorphismes près) N est un sous-groupe normal de G et Q est le groupe quotient G/N. L'extension est dite centrale si N est inclus dans le centre de G.
Linear algebraic groupIn mathematics, a linear algebraic group is a subgroup of the group of invertible matrices (under matrix multiplication) that is defined by polynomial equations. An example is the orthogonal group, defined by the relation where is the transpose of . Many Lie groups can be viewed as linear algebraic groups over the field of real or complex numbers. (For example, every compact Lie group can be regarded as a linear algebraic group over R (necessarily R-anisotropic and reductive), as can many noncompact groups such as the simple Lie group SL(n,R).
