[論文レビュー] A Sufficient Condition for Nilpotency in a Finite Group

Benjamin Baumslag, James Wiegold|arXiv (Cornell University)|Nov 10, 2014

Finite Group Theory Research被引用数 7

ひとこと要約

この論文は、有限群が冪零であるための十分条件を確立する。すなわち、互いに素な位数をもつ任意の二つの元の積の位数が、それぞれの位数の積に等しいならば、その群は冪零である。証明では、この性質のもとですべてのシローフ部分群が正規であることが示され、これは冪零有限群を特徴付ける。

ABSTRACT

It is shown that finite groups in which the order of the product of every pair of elements of co-prime order is the product of the orders, is nilpotent.

研究の動機と目的

• 有限冪零群に関するよく知られた性質の逆が成り立つかどうかを調査すること：すなわち、互いに素な位数をもつ元の積の位数が、それぞれの位数の積に等しいこと。
• この性質が有限冪零群を特徴付けるかどうかを特定すること。
• 元の位数の乗法的挙動に基づいて、有限群における冪零性の十分条件を提示すること。
• 有限群がこの乗法的位数条件を満たすならば、すべてのシローフ部分群が正規であることを確立すること。

提案手法

• 性質Aとして、互いに素な位数をもつ二つの元の積の位数が、それぞれの位数の積に等しいという与えられた性質を使用する。
• 位数の整除性に関する背理法を用いて、積写像の単射性を示すことにより、すべてのシローフ部分群の積 $S_1 S_2 \times \times S_r$ が群全体 $G$ に等しいことを証明する。
• 位数条件を用いて、シローフ $p_1$-部分群内の元の任意の共役が、その部分群内に存在することを示す。これにより、他の成分が自明になることが強制される。
• 各シローフ部分群が正規であることを結論づけ、その結果群が冪零であることを導く。
• 有限群が冪零であるための必要十分条件が、すべてのシローフ部分群が正規であることであるという事実を用いる。
• 標準的な群論の結果、特に元の位数およびシローフ部分群の性質を用いる。基礎的参考文献 [1] を根拠とする。

実験結果

リサーチクエスチョン

• RQ1 互いに素な位数をもつ元の積の位数が、それぞれの位数の積に等しいという性質が、有限群において冪零性を示唆するか？
• RQ2 冪零群と元の位数に関する標準的結果の逆が証明可能か？
• RQ3 この積の位数条件を満たすが冪零でない有限群は存在するか？
• RQ4 シローフ部分群の積が群全体に等しくなるのはどのような条件下か？
• RQ5 すべての有限群は、その積が群全体に等しくなるようなシローフ部分群の集合をもつのか？

主な発見

• 任意の有限群が性質A（任意の互いに素な位数をもつ二つの元の積の位数が、それぞれの位数の積に等しい）を満たすならば、その群は冪零である。
• 積写像の単射性と数え上げ的議論により、すべてのシローフ部分群の積 $S_1 S_2 \times \times S_r$ が群全体 $G$ に等しいことが示された。
• シローフ $p_i$-部分群内の元の任意の共役が、その部分群内に存在することから、各シローフ部分群は $G$ で正規である。これは位数条件のおかげである。
• 互いに素な位数をもつ元の積の位数が、それぞれの位数の積に等しいという条件は、有限群における冪零性の十分条件である。
• この結果は鋭い：標準的性質の逆が成り立ち、本稿で初めてこのことが確立された。
• 交代群 $A_5$ は、適切に選ばれたシローフ部分群 $P, Q, R$ に対して $G = PQR$ を満たすが、すべての選択肢がこの性質を満たすわけではない非可解群の例である。