群準同型写像 写像 とする．このとき (ⅰ) (ⅱ) が成立する． (証明の方針) (ⅰ)について よりの元はすべてに属するので，は群を成し，である．いま，便宜のため と置く．このときに対して を示す．そのために (ア) (イ) をいう． (ア)について を証明する． i.…