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 finivignette|Un exemple de groupe fini est le groupe des transformations laissant invariant un flocon de neige (par exemple la symétrie par rapport à l'axe horizontal). En mathématiques, un groupe fini est un groupe constitué d'un nombre fini d'éléments. Soit G un groupe. On note en général sa loi multiplicativement et on désigne alors son élément neutre par 1. Toutefois, si G est abélien, la loi est souvent notée additivement et son élément neutre est alors désigné par 0 ; ce n'est cependant pas une règle générale : par exemple, le groupe multiplicatif d'un corps commutatif est noté multiplicativement, bien qu'il soit abélien.
Cœur d'un sous-groupeEn mathématiques, et plus précisément en théorie des groupes, l'intersection des conjugués, dans un groupe , d'un sous-groupe de est appelée le cœur de (dans ) et est notée cœurG(H) ou encore . Le cœur de dans est le plus grand sous-groupe normal de contenu dans . Si on désigne par / l'ensemble des classes à gauche de modulo (cet ensemble n'est pas forcément muni d'une structure de groupe, n'étant pas supposé normal dans ), on sait que opère à gauche sur / par : Le cœur de dans est le noyau de cette opération.
Sous-groupe caractéristiqueDans un groupe G, un sous-groupe H est dit caractéristique lorsqu'il est stable par tout automorphisme de G : strictement caractéristique lorsqu'il est même stable par tout endomorphisme surjectif de G ; pleinement caractéristique, ou encore pleinement invariant, lorsqu'il est même stable par tout endomorphisme de G : Un sous-groupe H de G est sous-groupe caractéristique de G si et seulement si Un sous-groupe caractéristique de G est en particulier stable par tout automorphisme intérieur de G : c'est donc un
Groupe simpleEn mathématiques, un groupe simple est un groupe non trivial qui ne possède pas de sous-groupe distingué autre que lui-même et son sous-groupe trivial. Un groupe est dit simple s'il a exactement deux sous-groupes distingués : ( étant l’élément neutre du groupe) et lui-même. Quelques exemples de groupes simples : Les seuls groupes abéliens simples sont les groupes finis d'ordre premier (ces groupes sont cycliques). Le groupe SO_3(R) des matrices spéciales orthogonales d'ordre 3 à coefficients réels est simple.
Groupe nilpotentEn théorie des groupes, les groupes nilpotents forment une certaine classe de groupes contenue dans celle des groupes résolubles et contenant celle des groupes abéliens. Les groupes nilpotents apparaissent dans la théorie de Galois et dans la classification des groupes de Lie ou des groupes algébriques linéaires. Soit G un groupe noté multiplicativement, d'élément neutre e. Si A et B sont deux sous-groupes de G, on note [A,B] le sous-groupe engendré par les commutateurs de la forme [x,y] pour x dans A et y dans B.
Torsion subgroupIn the theory of abelian groups, the torsion subgroup AT of an abelian group A is the subgroup of A consisting of all elements that have finite order (the torsion elements of A). An abelian group A is called a torsion group (or periodic group) if every element of A has finite order and is called torsion-free if every element of A except the identity is of infinite order. The proof that AT is closed under the group operation relies on the commutativity of the operation (see examples section).
Finitely generated groupIn algebra, a finitely generated group is a group G that has some finite generating set S so that every element of G can be written as the combination (under the group operation) of finitely many elements of S and of inverses of such elements. By definition, every finite group is finitely generated, since S can be taken to be G itself. Every infinite finitely generated group must be countable but countable groups need not be finitely generated. The additive group of rational numbers Q is an example of a countable group that is not finitely generated.
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.
Classification des groupes simples finisEn mathématiques, et plus précisément en théorie des groupes, la classification des groupes simples finis, aussi appelée le théorème énorme, est un ensemble de travaux, principalement publiés entre environ 1955 et 1983, qui a pour but de classer tous les groupes finis simples. En tout, cet ensemble comprend des dizaines de milliers de pages publiées dans 500 articles par plus de 100 auteurs.
