とする．このときの単位元のみから成る集合に対して が成立する．また，についても，自身の部分群 である． (証明の方針) (ⅰ) (ⅱ) (ⅲ) (ⅳ) ☆ によりがとれる． を示す． (ⅰ) 1 (1) 前提 2 (2) 仮定 1 (3) 1-2. →-導入 (ⅱ) 両辺が等しいことをいう． それゆえ…