Logarithme d'une matriceEn mathématiques, et plus particulièrement en analyse, un logarithme d'une matrice est une autre matrice telle que son exponentielle soit égale à la matrice initiale. C'est une généralisation de la notion usuelle de logarithme, considéré comme inverse de la fonction exponentielle, mais le logarithme n'existe pas pour toutes les matrices, et n'est pas unique en général. L'étude du logarithme des matrices conduit au développement de la , car les matrices ayant un logarithme appartiennent à un groupe de Lie, et le logarithme est alors l'élément correspondant de l'algèbre de Lie associée.
Exponentielle d'une matriceEn mathématiques, et plus particulièrement en analyse, l'exponentielle d'une matrice est une fonction généralisant la fonction exponentielle aux matrices et aux endomorphismes par le calcul fonctionnel. Elle fait en particulier le pont entre un groupe de Lie et son algèbre de Lie. Pour n = 1, on retrouve la définition de l'exponentielle complexe. Sauf indication contraire, X, Y désignent des matrices n × n complexes (à coefficients complexes).
Représentation adjointeEn mathématiques, il existe deux notions de représentations adjointes : la représentation adjointe d'un groupe de Lie sur son algèbre de Lie, la représentation adjointe d'une algèbre de Lie sur elle-même. Alors que la première est une représentation de groupe, la seconde est une représentation d'algèbre. Soient : un groupe de Lie ; l'élément identité de ; l'algèbre de Lie de ; l'automorphisme intérieur de sur lui-même, donné par .
Anneau semi-simpleEn mathématiques et plus particulièrement en algèbre, un anneau A est dit semi-simple si A, considéré comme A-module, est semi-simple, c'est-à-dire somme directe de A-modules qui n'admettent pas d'autres sous-modules que {0} et lui-même. À isomorphisme près, ce sont les anneaux produits d'anneaux de matrices carrées sur des corps, commutatifs ou non. Cette notion est présente dans de nombreuses branches mathématiques : on peut citer l'algèbre linéaire, l'arithmétique, la théorie des représentations d'un groupe fini celle des groupes de Lie ou celle des algèbres de Lie.
Décomposition d'une matrice en éléments propresEn algèbre linéaire, la décomposition d'une matrice en éléments propres est la factorisation de la matrice en une forme canonique où les coefficients matriciels sont obtenus à partir des valeurs propres et des vecteurs propres. Un vecteur non nul v à N lignes est un vecteur propre d'une matrice carrée A à N lignes et N colonnes si et seulement si il existe un scalaire λ tel que : où λ est appelé valeur propre associée à v. Cette dernière équation est appelée « équation aux valeurs propres ».
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 : .
Matrice par blocsvignette|Un matrice présente une structure par blocs si l'on peut isoler les termes non nuls dans des sous-matrices (ici la structure « diagonale par blocs » d'une réduite de Jordan). On appelle matrice par blocs une matrice divisée en blocs à partir d'un groupement quelconque de termes contigus de sa diagonale. Chaque bloc étant indexé comme on indicerait les éléments d'une matrice, la somme et le produit de deux matrices partitionnées suivant les mêmes tailles de bloc, s'obtiennent avec les mêmes règles formelles que celles des composantes (mais en veillant à l'ordre des facteurs dans les produits matriciels!).
Idempotent (ring theory)In ring theory, a branch of mathematics, an idempotent element or simply idempotent of a ring is an element a such that a2 = a. That is, the element is idempotent under the ring's multiplication. Inductively then, one can also conclude that a = a2 = a3 = a4 = ... = an for any positive integer n. For example, an idempotent element of a matrix ring is precisely an idempotent matrix. For general rings, elements idempotent under multiplication are involved in decompositions of modules, and connected to homological properties of the ring.
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.
Verma moduleVerma modules, named after Daya-Nand Verma, are objects in the representation theory of Lie algebras, a branch of mathematics. Verma modules can be used in the classification of irreducible representations of a complex semisimple Lie algebra. Specifically, although Verma modules themselves are infinite dimensional, quotients of them can be used to construct finite-dimensional representations with highest weight , where is dominant and integral. Their homomorphisms correspond to invariant differential operators over flag manifolds.
