群論で
PとHを部分群としたら
aHa^(-1)=P
とaPa^(-1)=P
って同値ですよね?