自然同态

• 映射 $f:G\to G/H$，定义为 $f(a)=aH$。这是一满同态。