Fonction centrale
En théorie des groupes, une fonction centrale est une application définie sur un groupe et constante le long de ses classes de conjugaison. Les fonctions centrales à valeurs complexes interviennent dans l'étude des représentations d'un groupe compact ; les fonctions centrales complexes de carré intégrable apparaissent comme les éléments du centre de son , d'où leur nom. Une application définie sur un groupe G est dite centrale si pour tous s et t dans G, on a : ou encore (via la bijection (s,t)↦(u=st,v=s −1)) Pour tout corps K, le groupe G agit naturellement à droite sur l'espace vectoriel KG des applications de G dans K par : s.f : t↦f(sts−1). Les fonctions centrales sur G à valeurs dans K sont donc les points fixes de cette représentation, et forment de ce fait un sous-espace vectoriel de KG. Cet espace vectoriel des fonctions centrales sur G à valeurs dans K est par ailleurs naturellement isomorphe à l'espace KC, où C désigne l'ensemble des classes de conjugaison de G. Sur un groupe abélien, toute fonction est centrale. En effet, les classes de conjugaison sont alors les singletons. Un exemple un tout petit peu moins trivial de fonctions centrales est celui des morphismes de groupes à valeurs dans un groupe abélien. Un autre est celui de l'application, d'un groupe de torsion G dans l'ensemble N*, qui à chaque élément de G associe son ordre. Si G est un groupe topologique, on se restreint en général aux fonctions centrales mesurables, voire continues. Si G est un groupe compact, on note λ sa mesure de Haar définie comme l'unique mesure de probabilité invariante par translation à gauche, et L(G) l'espace de Hilbert des fonctions complexes mesurables sur G et de carré λ-intégrable. Cet espace peut être muni : d'un produit associatif et distributif d'élément neutre la fonction constante égale à 1, le produit de convolution, défini par : d'une involution définie par : Muni de ces lois, L(G) est une algèbre de Banach involutive, et même une . L'étude de cette algèbre est liée à l'étude des représentations continues de G (lire Théorème de Peter-Weyl).