Groupe (mathématiques)vignette|Les manipulations possibles du Rubik's Cube forment un groupe. En mathématiques, un groupe est une des structures algébriques fondamentales de l'algèbre générale. C'est un ensemble muni d'une loi de composition interne associative admettant un élément neutre et, pour chaque élément de l'ensemble, un élément symétrique. La structure de groupe est commune à de nombreux ensembles de nombres — par exemple les nombres entiers relatifs, munis de la loi d'addition.
Action de groupe (mathématiques)En mathématiques, une action d'un groupe sur un ensemble est une loi de composition externe du groupe sur l'ensemble, vérifiant des conditions supplémentaires. Plus précisément, c'est la donnée, pour chaque élément du groupe, d'une permutation de l'ensemble, de telle manière que toutes ces bijections se composent de façon compatible avec la loi du groupe. Étant donné un ensemble E et un groupe G, dont la loi est notée multiplicativement et dont l'élément neutre est noté e, une action (ou opération) de G sur E est une application : vérifiant chacune des 2 propriétés suivantes : On dit également que G opère (ou agit) sur l'ensemble E.
Théorie des groupesvignette|Le Rubik's cube illustre la notion de groupes de permutations. Voir groupe du Rubik's Cube. La théorie des groupes est en mathématique, plus précisément en algèbre générale, la discipline qui étudie les structures algébriques appelées groupes. Le développement de la théorie des groupes est issu de la théorie des nombres, de la théorie des équations algébriques et de la géométrie. La théorie des groupes est étroitement liée à la théorie des représentations.
Théorie critiqueLa théorie critique est une approche de la philosophie sociale qui vise à analyser la société et la culture en mobilisant les sciences sociales et les humanités afin de révéler et mettre en question les structures de pouvoir. Elle considère que les problèmes sociaux sont créés et influencés davantage par des structures sociétales et des présupposés culturels que par des facteurs individuels ou psychologiques. La théorie critique a été établie comme une école de pensée soutenant que l'idéologie est le principal obstacle à la libération humaine.
Opérateur (physique)Un opérateur est, en mécanique quantique, une application linéaire d'un espace de Hilbert dans lui-même. Le terme est une spécialisation du concept mathématique d'opérateur. Une observable est un opérateur hermitien. En mécanique classique, le mouvement des particules (ou d'un système de particules) est complètement déterminé par le Lagrangien ou, de façon équivalente, l'Hamiltonien , une fonction des coordonnées généralisées q, vitesse généralisée et son moment conjugué : Si ou est indépendant des coordonnées généralisées , donc que et ne changent pas en fonction de , le moment conjugué de ces coordonnées sera conservé (c'est une partie du théorème de Noether, et l'invariance du mouvement en respect de la coordonnée est une symétrie).
Groupe résolubleEn mathématiques, un groupe résoluble est un groupe qui peut être construit à partir de groupes abéliens par une suite finie d'extensions. Théorème d'Abel (algèbre) La théorie des groupes tire son origine de la recherche de solutions générales (ou de leur absence) pour les racines des polynômes de degré 5 ou plus. Le concept de groupe résoluble provient d'une propriété partagée par les groupes d'automorphismes des polynômes dont les racines peuvent être exprimées en utilisant seulement un nombre fini d'opérations élémentaires (racine n-ième, addition, multiplication, ).
Groupe réductifEn mathématiques, un groupe réductif est un groupe algébrique G sur un corps algébriquement clos tel que le radical unipotent de G (c'est-à-dire le sous-groupe des éléments unipotents de ) soit trivial. Tout est réductif, de même que tout tore algébrique et tout groupe général linéaire. Plus généralement, sur un corps k non nécessairement algébriquement clos, un groupe réductif est un groupe algébrique affine lisse G tel que le radical unipotent de G sur la clôture algébrique de k soit trivial.
Lemme de SchurEn mathématiques et plus précisément en algèbre linéaire, le lemme de Schur est un lemme technique utilisé particulièrement dans la théorie de la représentation des groupes. Il a été démontré en 1907 par Issai Schur dans le cadre de ses travaux sur la théorie des représentations d'un groupe fini. Ce lemme est à la base de l'analyse d'un caractère d'une représentation d'un groupe fini ; il permet, par exemple, de caractériser les groupes abéliens finis.
Représentation unitaireEn mathématiques, une représentation unitaire d'un groupe G est une représentation linéaire π de G sur un espace de Hilbert complexe V telle que π(g) est un opérateur unitaire pour tout g ∈ G. La théorie générale est bien développée dans le cas où G est un groupe topologique localement compact (séparé) et les représentations sont fortement continues. La théorie a été largement appliquée en mécanique quantique depuis les années 1920, particulièrement sous l'influence par le livre de 1928 de Hermann Weyl, Gruppentheorie und Quantenmechanik.
Groupe abélienEn mathématiques, plus précisément en algèbre, un groupe abélien (du nom de Niels Abel), ou groupe commutatif, est un groupe dont la loi de composition interne est commutative. Vu autrement, un groupe commutatif peut aussi être défini comme un module sur l'anneau commutatif des entiers relatifs ; l'étude des groupes abéliens apparaît alors comme un cas particulier de la théorie des modules. On sait classifier de façon simple et explicite les groupes abéliens de type fini à isomorphisme près, et en particulier décrire les groupes abéliens finis.
Automorphism groupIn mathematics, the automorphism group of an object X is the group consisting of automorphisms of X under composition of morphisms. For example, if X is a finite-dimensional vector space, then the automorphism group of X is the group of invertible linear transformations from X to itself (the general linear group of X). If instead X is a group, then its automorphism group is the group consisting of all group automorphisms of X. Especially in geometric contexts, an automorphism group is also called a symmetry group.
Théorie des invariantsEn mathématiques, la théorie des invariants, initiée et développée en particulier par Arthur Cayley, James Joseph Sylvester, Charles Hermite, Paul Gordan et de nombreux autres mathématiciens, est l'étude des invariants des formes algébriques (de façon équivalente, des tenseurs symétriques) pour les actions de groupe lors des transformations linéaires. À la fin du , elle est au centre d'un important effort de recherche lorsqu'il apparaît qu'elle pourrait être la clé de voûte en algorithmique (en compétition avec d'autres formulations mathématiques de l'invariance de la symétrie).
