Universalis

GROUPES (mathématiques) Généralités

Carte mentale
Élargissez votre recherche dans Universalis

On se propose de présenter ici les notions fondamentales de théorie des groupes qui interviendront constamment dans la suite des articles qui traitent des groupes. Ces articles contiennent un très grand nombre d'exemples, c'est pourquoi cet exposé introductif n'explicite que quelques groupes utilisés aussi ailleurs, notamment en cristallographie, en chimie, en linguistique.

La structure de groupe

Un groupe G est un ensemble muni d'une loi de composition interne :

qui possède les propriétés suivantes :

(a) Elle est associative, c'est-à-dire que, si a, b, c sont des éléments de G, on a :

(b) Elle admet un élément neutre, c'est-à-dire qu'il existe un élément e ∈ G (nécessairement unique, manifestement) tel que, pour tout a ∈ G :

(c) Tout élément a de G admet un symétrique (en notation multiplicative on dira un inverse), c'est-à-dire qu'il existe un élément de G, noté a-1, tel que :

On ne se préoccupera pas ici de savoir si l'on peut affaiblir ces axiomes en jonglant avec des hypothèses « à droite » et « à gauche » dans (b) et dans (c). Le groupe est dit commutatif, ou abélien, si la loi de composition est commutative, c'est-à-dire a * b = b * a pour tout couple d'éléments de G. Cette loi est alors souvent (mais pas toujours) notée additivement, par le signe + ; l'élément neutre est désigné par 0 et le symétrique d'un élément a est noté − a. C'est le cas, par exemple, pour la loi de groupe sous-jacente à une structure d'anneau ou d'espace vectoriel. On appelle ordre d'un groupe fini G le nombre |G| de ses éléments.

Dans ce qui suit, sauf mention explicite d'une autre notation, la notation multiplicative sera adoptée systématiquement, ce qui signifie que l'on notera x, y, ou plus simplement xy, l'image du couple (x, y) par la loi de composition. L'élément neutre sera désigné par 1. Lorsque plusieurs groupes seront considérés simultanément, le même symbole 1 désignera donc plusieurs objets mathématiques distincts, ce qui paraît en contradiction avec les règles logiques les plus simples (cf. par exemple la formule (2) ci-dessous) ; en fait, cela n'est guère gênant, car le contexte mathématique permet toujours d'éviter toute ambiguïté. Ainsi, dans la formule (2), puisque f est une application de G dans G′, le symbole 1 dans la partie gauche de la formule représente l'élément neutre de G tandis que le 1 de droite représente l'élément neutre de G′.

Remarquons maintenant que, si l'on multiplie à gauche par a-1 les deux membres de l'égalité ax = ay, on obtient, en applicant l'associativité, 1x = 1y, d'où x = y. On a ainsi obtenu la règle de simplification dans un groupe : si a, x, y sont des éléments d'un groupe, on a les équivalences :

Une démonstration tout à fait analogue montre que, dans un groupe, les équations linéaires, du type ax = b, ou xa = b, ont toujours une solution unique ; par multiplication à gauche par a-1, on obtient par exemple que la première a pour solution x = a-1b.

Si x est un élément d'un groupe G et n un entier positif, on notera xn le produit de n éléments égaux à x, et x-n le produit de n éléments égaux à x-1. L'élément x0 étant par définition l'élément neutre, on a donc défini xn pour tout entier relatif n et on vérifie facilement que deux puissances quelconques d'un même élément commutent toujours et que :

en notation additive on écrit nx au lieu de xn.

Morphismes

Conformément aux définitions générales pour les structures algébriques, on dit qu'une application f d'un groupe G dans un groupe G′ est un morphisme, ou un homomorphisme, de groupe si on a :

pour tout couple d'éléments[...]

La suite de cet article est accessible aux abonnés

  • Des contenus variés, complets et fiables
  • Accessible sur tous les écrans
  • Pas de publicité

Découvrez nos offres

Déjà abonné ? Se connecter

Écrit par

  • Jean-Luc VERLEY : maître de conférences honoraire à l'université de Paris-VII

Classification

Pour citer cet article

Jean-Luc VERLEY, « GROUPES (mathématiques) - Généralités », Encyclopædia Universalis [en ligne], consulté le . URL :

Média

Groupe des symétries du cube

Groupe des symétries du cube

Encyclopædia Universalis France

Groupe des symétries du cube

Groupe des symétries du cube.

Encyclopædia Universalis France

Autres références

  • ALGÉBRIQUES STRUCTURES

    • Écrit par Jean-Marie PRUVOST-BEAURAIN
    • 25 927 mots
    Un groupe peut être défini indifféremment comme un monoïde (E, l) tel que tout élément de E soit symétrisable, ou comme un magma associatif unifère (E, l) tel que tout élément de E soit symétrisable, ou comme un groupoïde ayant un et un seul élément neutre. Tout semi-groupe fini est un groupe....

  • ALGÈBRE

    • Écrit par Jean-Luc VERLEY
    • 6 286 mots
    La structure de groupe est une des structures algébriques les plus simples et, sans conteste, la plus importante des mathématiques modernes. Son universalité ne s'arrête pas là : le psychologue Piaget a mis en évidence le rôle essentiel joué par cette notion dans les mécanismes mêmes de la pensée, et...

  • BOREL ARMAND (1923-2003)

    • Écrit par Pierre CARTIER
    • 700 mots

    En 1992, le mathématicien Armand Borel a reçu le prix international Balzan « pour ses contributions fondamentales à la théorie des groupes de Lie, des groupes algébriques et des groupes arithmétiques, et pour son action inlassable en faveur de la recherche mathématique et de la propagation...

  • BURNSIDE WILLIAM SNOW (1852-1927)

    • Écrit par Bernard PIRE
    • 347 mots

    Mathématicien britannique, spécialiste de la théorie des groupes. Né le 2 juillet 1852 à Londres (Grande-Bretagne) d'un père écossais, William Snow Burnside fait ses études supérieures au Pembroke College de l'université de Cambridge, dont il est diplômé en 1875 et où il effectue ses recherches...

  • CAUCHY AUGUSTIN-LOUIS (1789-1857)

    • Écrit par Jean DIEUDONNÉ
    • 1 229 mots
    ...valeurs propres d'une matrice symétrique d'ordre supérieur à 3, et il partage avec Binet la découverte de la formule donnant le produit de deux déterminants. Il a été aussi le premier à dégager clairement la notion de groupe de permutations et on lui doit les premiers résultats non triviaux de la théorie des...
  • Afficher les 35 références

Voir aussi

Abonnez-vous à Universalis pour 1 euro

Rejoignez-nous

Inscrivez-vous à notre newsletter