Groupe opposé

Un groupe opposé est une manière de construire un groupe à partir d'un autre en renversant l'ordre de son opération interne. Plus précisément, si (G,*) est un groupe, on peut définir une autre opération interne sur G en posant g ∗ op g ′ := g ′ ∗ g {\displayst…