Une structure algébrique constituée d'un ensemble muni d'une opération binaire unique qui est associative, possède un élément neutre, et telle que tout élément admet un inverse par rapport à cette opération.

Principe

La clôture par l'opération, l'associativité, l'existence d'un neutre et d'inverses pour chaque élément organisent l'ensemble en un système supportant la symétrie, la résolution d'équations et les homomorphismes.

Démonstration

Les entiers Z munis de l'addition forment un groupe : l'addition est associative, 0 est l'élément neutre, et chaque entier n admet l'inverse −n. Autre exemple : le groupe symétrique des permutations sur n symboles pour la composition.

Mauvaise application

Considérer comme groupe tout ensemble muni d'une opération binaire sans vérifier associativité, neutre et inverses (par exemple prendre un monoïde sans inverses pour un groupe) conduit à des raisonnements algébriques erronés.

Conséquence

Les groupes fournissent le langage de la symétrie, permettent la classification des sous‑groupes et des quotients, et admettent homomorphismes et représentations ; de nombreuses structures (anneaux, corps) reposent sur des opérations de groupe sous‑jacentes.

Inversion

La renversement correspond à une structure obtenue en abandonnant un ou plusieurs axiomes, comme un monoïde (sans inverses) ou un semi‑groupe (sans neutre) ; ce sont des structures algébriques plus faibles avec une théorie différente.

Limite

Un groupe doit satisfaire aux quatre axiomes de groupe ; il exclut les structures à opérations partielles, les opérations non définies partout, ou les structures à opérations multiples nécessitant des axiomes de compatibilité supplémentaires (par ex. anneaux).

Tension sémantique

Il existe une tension entre le 'groupe' en tant qu'objet algébrique abstrait et ses réalisations concrètes (groupes de matrices, groupes de permutations) ; aussi entre groupes abéliens (commutatifs) et groupes non abéliens où l'ordre est significatif.

Synthèse

Un groupe est le cadre algébrique minimal capturant une composition associative et inversible avec élément neutre, servant de contexte fondamental pour la symétrie et de nombreuses constructions algébriques.