ATLAS of Finite GroupsL'ATLAS of Finite Groups (Atlas des groupes finis, très souvent simplement ATLAS), est un livre sur la théorie des groupes par John Horton Conway, Robert Turner Curtis, Simon Norton, et Robert Arnott Wilson (avec l'assistance informatique de J. G. Thackray), publié en par l'Oxford University Press et réédité avec des corrections en 2003 .
Groupe résiduellement finiEn mathématiques, et tout particulièrement en théorie combinatoire des groupes, un groupe résiduellement fini est un groupe qui peut en quelque sorte être « approché » par des groupes finis. L'adjectif « résiduel » s'applique aussi à d'autres propriétés, comme être résiduellement nilpotent, résiduellement libre. Un groupe est résiduellement fini s'il existe, pour tout élément distinct de l'élément neutre, un sous-groupe distingué d'indice fini ne contenant pas .
Sous-groupe de HallEn théorie des groupes (une branche des mathématiques), les sous-groupes de Hall d'un groupe fini sont les sous-groupes dont l'ordre et l'indice sont premiers entre eux. Ils portent le nom du mathématicien Philip Hall. Soit un groupe fini. Un sous-groupe de est appelé un sous-groupe de Hall de si son ordre est premier avec son indice dans . Autrement dit, un sous-groupe de est dit sous-groupe de Hall si est premier avec . Cela revient encore à dire que pour tout diviseur premier p de , la puissance à laquelle p figure dans est la même que celle à laquelle il figure dans .
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.
Direct sumThe direct sum is an operation between structures in abstract algebra, a branch of mathematics. It is defined differently, but analogously, for different kinds of structures. To see how the direct sum is used in abstract algebra, consider a more elementary kind of structure, the abelian group. The direct sum of two abelian groups and is another abelian group consisting of the ordered pairs where and . To add ordered pairs, we define the sum to be ; in other words addition is defined coordinate-wise.
Groupe symétriqueEn mathématiques, plus particulièrement en algèbre, le groupe symétrique d'un ensemble E est le groupe des permutations de E, c'est-à-dire des bijections de E sur lui-même. N'est traité dans le présent article, à la suite de la définition générale, que le cas E fini. Soit E un ensemble. On appelle groupe symétrique de E l'ensemble des applications bijectives de E sur E muni de la composition d'applications (la loi ∘). On le note S(E) ou (ce caractère est un S gothique). Un cas particulier courant est le cas où E est l'ensemble fini {1, 2, .
Module libreEn algèbre, un module libre est un module M qui possède une base B, c'est-à-dire un sous-ensemble de M tel que tout élément de M s'écrive de façon unique comme combinaison linéaire (finie) d'éléments de B. Une base de M est une partie B de M qui est à la fois : génératrice pour M, c'est-à-dire que tout élément de M est combinaison linéaire d'éléments de B ; libre, c'est-à-dire que pour toutes familles finies (ei)1≤i≤n d'éléments de B deux à deux distincts et (ai)1≤i≤n d'éléments de l'anneau sous-jacent telles que a1e1 + .
Groupe algébriqueEn géométrie algébrique, la notion de groupe algébrique est un équivalent des groupes de Lie en géométrie différentielle ou complexe. Un groupe algébrique est une variété algébrique munie d'une loi de groupe compatible avec sa structure de variété algébrique. Un groupe algébrique sur un corps (commutatif) K est une variété algébrique sur munie : d'un morphisme de K-variétés algébriques (appelé aussi multiplication) .
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 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.
