部分群で同型??????????????????????????
properではないという意味での部分群???????????????