最大位数であることと矛盾する。したがって、から、となる。最大公約数を単項イデアルで表現すれば、であるが、最小公倍数をイデアルで表現するととなる。巡回部分群が高々一つであることだけ示すだけで実は良い。生成元の要素数と定義する。巡回群でなくても常に成立する関係である。一つの巡回群の生成元の数は、オイラーの関数で与えられるので、が成立する。ところで、ここでは証明しないが、オイラーの関数ではよく知られた一般的に成立する関係として、が存在している。持つことだけが分かっているとする。場合は許されず、が成立する。(78)過去記事スターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。