>>393
準同型写像が定義できる状況でなければ、同型も糞もないと思うのだが。
ある大きな群の部分群のなかに、問題としている群と同型なものがあるかどうかを知りたい、
しかし、自然な準同型写像は定義できそうもない、という「不自然な状況」をかんがえているのか？