準同型定理(部分群の対応)