群同型写像の核と像の概念と性質