strecture algébrique

[invite7df159bd]

Soit (G;X) un groupe, H un sous-groupe de (G;X) et a appartien a G.
a) Monter que aHa^-1 ={axa^-1/x appartien a H }

est un sous-groupe de (G;X)
-----

[invitec3143530]

Son image par l'automorphisme intérieur f(x)= a^-1 * x *a est un groupe (H) donc c'est aussi un groupe.