Definition:Conjugacy Action on Subgroups