## [Groupe](/fr/node/60184) Définition 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 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 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 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 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 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 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 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 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.