well-definednessと群準同型と単射・全射を順番に示していけばいけるはず