Page d'accueil
encyclopedie-enligne.com en page d'accueil| Page d'accueil |
encyclopedie-enligne.com en page d'accueil |
|||||
| Liste Articles: [0-A] [A-C] [C-F] [F-J] [J-M] [M-P] [P-S] [S-Z] | Liste Catégories | Une page au hasard | Pages liées | ||||||
En mathématiques, plus particulièrement en algèbre abstraite, la notion de groupe est une
abstraction des opérations naturelles, telles que l'addition, la multiplication, ou la composition, lorsqu'elles sont inversibles. Cette notion permet de modéliser des situations
qui se retrouvent dans beaucoup de disciplines, non seulement en mathématiques, mais aussi en chimie et physique.
| Sommaire |
La structure algébrique d'un groupe est un
monoïde dont tous les éléments sont inversibles ; c'est-à-dire que c'est un
ensemble 
muni d'une loi de composition interne 
qui satisfait les axiomes suivants:
;
, g' est dit inverse de g et on le note
aussi ;
.En terme de variété équationelle, un groupe est une donnée 
(où G est un ensemble non-vide, une loi de composition interne de , e un élément de G et f une application de G dans G) soumise aux axiomes suivants :
;
;.Si deux éléments g et g' d'un groupe G vérifient 
, on dit alors qu'ils commutent.
Si en plus l'opération est commutative,
c'est-à-dire si tous les éléments du groupe commutent entre eux, le groupe lui-même est dit commutatif, ou abélien.
Attention : en général, les groupes ne vérifient pas cette propriété ! Il faut donc prendre garde à l'ordre dans lequel on écrit les produits !
L'ensemble et le groupe lui-même sont le plus souvent confondus, et tous les deux notés par le même symbole, en négligeant de préciser de quelle loi de groupe on parle (le contexte est souvent assez explicite).
Pour un groupe en général, la loi est souvent notée comme une multiplication ; c'est-à-dire en écrivant , ou 
pour 
, ce qui est plus léger. Dans ce cas, on note aussi 1 l'élément
neutre.
Cependant quand le groupe est abélien, on préfère noter la loi + et l'élément neutre 0. Noter un groupe non-commutatif avec une loi + est un interdit tacite.
) forment un groupe pour l'addition ;Contre-exemples :
muni de l'addition ;Un sous-groupe d'un groupe G est un sous-ensemble H de G qui est
un groupe pour l'opération qu'il hérite de G. On note parfois H<G. On montre aisément qu'un sous-ensemble H d'un groupe G est
un sous-groupe si, et seulement si, il est non-vide et stable par l'opération et l'inverse : 
.
On peut définir une loi externe des entiers relatifs sur tout groupe, de la façon suivante : étant donnés n un entier relatif, et g un élément d'un groupe (G,∗,1), on pose :
(où g apparaît
n fois à droite) si n>0,Il faut noter que cette nouvelle notation est compatible avec la notation pour l'inverse d'un élément.
Cette exponentiation vérifie les propriétés suivantes: 
:
;Attention : on n'a 
pour tous 
que si le groupe est commutatif. Cependant, si g et g' commutent, on a bien
pour tous 
.
On dit d'un élément g d'un groupe qu'il est nilpotent s'il existe un entier non nul n tel que .
Si on se fixe 
, cette loi externe, avec ses propriétés, permet de définir un morphisme de groupes : 
, via : 
. Le noyau de ce morphisme est un sous-groupe de , de la forme 
(petit o, et non zéro), avec 
; si cet entier o est nul on dit que g est
d'ordre infini, sinon on dit qu'il est d'ordre o.
(de manière
générale, le seul élément d'ordre 1 est l'élément
neutre !!) ; ;
;La notion de groupe a été mise en évidence par Évariste Galois, qui cherchait à comprendre comment se comportent les racines des polynômes.
