G
H
G / ker φ
Im φ
φ
π（つぶす）
≅
包含