Groupe ordonnéUn groupe ordonné est un groupe muni d'une relation d'ordre respectée par les translations. Soit (G,.) un groupe (la loi du groupe étant notée multiplicativement) et ≤ une relation d'ordre sur G. On dit que celle-ci est compatible avec la loi du groupe lorsque pour tous éléments x, y et z du groupe, la relation x ≤ y entraîne les deux relations zx ≤ zy et xz ≤ yz. Un groupe ordonné est un ensemble muni simultanément d'une loi de groupe et d'une relation d'ordre compatible.
Représentation admissibleEn mathématiques, les représentations admissibles forment une classe de représentations qui se comportent bien utilisée dans la théorie des représentations des groupes de Lie réductifs et des groupes localement compacts totalement discontinus. Elles ont été introduits par Harish-Chandra. Soit G un groupe de Lie connexe réductif réel ou complexe. Soit K un sous-groupe compact maximal. Une représentation continue (π, V ) de G sur un espace de Hilbert complexe V est dite admissible si la restriction de π à K est unitaire et si chaque représentation unitaire irréductible de K y figure avec une multiplicité finie.
Central simple algebraIn ring theory and related areas of mathematics a central simple algebra (CSA) over a field K is a finite-dimensional associative K-algebra A which is simple, and for which the center is exactly K. (Note that not every simple algebra is a central simple algebra over its center: for instance, if K is a field of characteristic 0, then the Weyl algebra is a simple algebra with center K, but is not a central simple algebra over K as it has infinite dimension as a K-module.
Espace topologique irréductibleEn topologie, un espace irréductible est un espace topologique non vide qui ne peut pas se décomposer en (c'est-à-dire s'écrire comme réunion de) deux parties fermées strictement plus petites. Ce type d'espaces apparaît (et est utilisé) surtout en géométrie algébrique, où l'irréductibilité est une des propriétés topologiques basiques.
CentralisateurEn mathématiques, et plus précisément en théorie des groupes, le centralisateur d'une partie X d'un groupe G est le sous-groupe de G formé par les éléments de G qui commutent avec tout élément de X. Soient G un groupe et x un élément de G. Le centralisateur de x dans G, noté CG(x) (ou C(x) si le contexte n'est pas ambigu) est, par définition, l'ensemble des éléments de G qui commutent avec x. Cet ensemble est un sous-groupe de G.
Fermé (topologie)En mathématiques, dans un espace topologique E, un fermé est un sous-ensemble de E dont le complémentaire est un ouvert. Toute réunion d'une famille finie de fermés est un fermé (y compris l'ensemble vide ∅, qui est — par définition — la réunion de la famille vide). Toute intersection d'une famille (finie ou infinie) de fermés est un fermé (y compris l'espace E tout entier, qui est — par convention dans ce contexte — l'intersection de la famille vide).
Table de caractères (mathématiques)En théorie des groupes, branche de l'algèbre abstraite, une table de caractères est une table à deux dimensions dont les lignes correspondent à des représentations irréductibles, et dont les colonnes correspondent aux classes de conjugaison d'éléments du groupe. Les entrées sont constituées de caractères, les traces des matrices représentant les éléments de groupe de la classe de la colonne dans la représentation de groupe de la ligne donnée.
Prime manifoldIn topology, a branch of mathematics, a prime manifold is an n-manifold that cannot be expressed as a non-trivial connected sum of two n-manifolds. Non-trivial means that neither of the two is an n-sphere. A similar notion is that of an irreducible n-manifold, which is one in which any embedded (n − 1)-sphere bounds an embedded n-ball. Implicit in this definition is the use of a suitable , such as the category of differentiable manifolds or the category of piecewise-linear manifolds.
Ultraconnected spaceIn mathematics, a topological space is said to be ultraconnected if no two nonempty closed sets are disjoint. Equivalently, a space is ultraconnected if and only if the closures of two distinct points always have non trivial intersection. Hence, no T1 space with more than one point is ultraconnected. Every ultraconnected space is path-connected (but not necessarily arc connected). If and are two points of and is a point in the intersection , the function defined by if , and if , is a continuous path between and .
W-algebraIn conformal field theory and representation theory, a W-algebra is an associative algebra that generalizes the Virasoro algebra. W-algebras were introduced by Alexander Zamolodchikov, and the name "W-algebra" comes from the fact that Zamolodchikov used the letter W for one of the elements of one of his examples. A W-algebra is an associative algebra that is generated by the modes of a finite number of meromorphic fields , including the energy-momentum tensor . For , is a primary field of conformal dimension .
