とする．このとき，がの部分群であるための必要十分条件はが次をみたすことである． (ⅰ) (ⅱ) また，(ⅰ),(ⅱ)は次の(ⅲ)と同値である． (ⅲ) 但し である． (証明の方針) を示したい．そのために (ア) (イ) を示す． (ア)について と仮定する．このとき，条件か…