準同型定理で部分群との同型がつくれるね