余核
群の圏において、群準同型 f : G → H の余核は H の f の像の正規閉包(英語版)による商である。アーベル群の場合、すべての部分群は正規なので、余核は単に f の像を法とした H である:
coker(f) = H / im(f).