As m1,m2 are in the same orbit, ∃g,m2=ρ(g)m1. We can also note that m1=ρ(g−1)m2, so to prove that Stab(m2)=gStab(m1)g−1 it is enough to prove that gStab(m1)g−1⊂Stab(m2) as the other inclusion can be obtained just by changing the roles of m1 and m2 and replacing g by g−1. Suppose x∈Stab(m1), now let's apply ρ(gxg−1) to m2 :
ρ(gxg−1)m2=ρ(g)ρ(x)ρ(g−1)m2=ρ(g)ρ(x)m1=ρ(g)m1=m2. Therefore gxg−1∈Stab(m2) and we have gStab(m1)g−1⊂Stab(m2). Now let's take an element y∈Stab(m2). To prove that y∈gStab(m1)g−1 we need to prove that g−1yg∈Stab(m1). We verify it directly :
ρ(g−1yg)m1=ρ(g−1)ρ(y)ρ(g)m1=ρ(g−1)ρ(y)m2=ρ(g−1)m2=m1. Thus g−1yg∈Stab(m1), so g−1Stab(m2)g⊂Stab(m1);Stab(m2)⊂gStab(m1)g−1. Therefore we have Stab(m2)=gStab(m1)g−1.
Comments