紹介した論文

1. 0:19 1. On the Dominions of Certain Semigroups of Transformations 2606.28477v1
   スクリプトを表示

   1本目は、ハリマ・エイチ・アシリさんとジェハン・エー・アルバールさんによる、「On the Dominions of Certain Semigroups of Transformations」(ある種の変換半群のドミニオンについて)、です。 この論文では、有限の鎖上の全変換半群に含まれる特定の部分半群のドミニオンという概念について詳しく調べています。具体的には、順序を減少させる写像の半群、順序を保存する写像の半群、そしてその両方を満たすカタランモノイドという三つのケースに注目しています。 研究の手法として、イズベルのジグザグ定理や準同型写像を用いて、どの要素が部分半群によって支配されているかを分析しています。結果として、順序減少写像の半群やカタランモノイドのドミニオンは、べき等元によって生成される正則な部分半群であることが証明されました。 特に面白いのが、これらのドミニオンに含まれる要素の数やべき等元の数を数え上げたところ、フィボナッチ数に関連する数式が現れた点です。純粋に代数的な構造を調べていたはずなのに、最後には組み合わせ論的な美しさが顔を出す展開に、とてもワクワクさせられます。また、順序保存写像の半群については、ドミニオンが自分自身と一致するという閉じた構造を持っていることも明らかになりました。
2. 1:53 2. Note on the number of doppelsemigroups of small order 2606.28908v1
   スクリプトを表示

   2本目は、ヴォロディミル・エム・ガヴリリキフさんによる、「Note on the number of doppelsemigroups of small order」(小さい位数におけるドッペル半群の数に関するノート)、です。この論文では、二つの結合的な二項演算を持ち、特定の相互結合律を満たす代数構造であるドッペル半群について研究しています。 特に、可換なものやアーベル的なもの、さらには強ドッペル半群や矩形ドッペル半群といった様々なクラスの間にある双対性や同型関係を詳しく調べています。理論的な証明だけでなく、コンピューターによる計算を組み合わせているのが現代的なアプローチですね。 驚いたのは、位数が3の場合の分類において、過去の研究で見落とされていた非自明な矩形ドッペル半群を発見したことです。また、ガップやパイソン、シープラスプラスといった言語を用いて、位数が6までの非同型なドッペル半群の数を正確に数え上げています。例えば、位数が3の非同型な構造は全部で15個あり、そのうち5個が可換であることなどが明らかになりました。 単に数を数えるだけでなく、プログラムコードまで公開して計算過程を明確にしている点に、研究者としての誠実な姿勢が表れていますね。
3. 3:23 3. A structure theorem for centralizers of dilations in $QI(\mathbb{R}_{+})$ 2606.29017v1
   スクリプトを表示

   3本目は、スワラップ・ボウミックさんとデブリナ・ダスさんによる、「A structure theorem for centralizers of dilations in QI(R+)」(正の実数直線の準等長写像群における拡大の中心化群の構造定理)、です。 この論文では、正の実数直線の準等長写像群という、非常に巨大で複雑な振る舞いをする群の中で、特に拡大写像と粗く可換な要素、つまり中心化群がどのような代数的な構造を持っているかを探究しています。 準等長写像は無限遠で激しく振動することが多いのですが、拡大写像と粗く可換であるという条件が、その漸近的な振る舞いをどのように制限するのかを分析しています。ここで著者たちは、無限遠での粗い稠密列を用いて定義される新しい漸近不変量を導入しました。 驚くべきは、ある剛性定理によって、拡大と粗く可換な準等長写像の漸近不変量は、高々一つの要素しか持たないことが証明された点です。つまり、本来は不安定に揺れ動くはずの写像が、この条件ひとつで非常に安定したスケール挙動を持つことになります。 もちろん、すべての要素がこの不変量を持つわけではなく、不変量が空になるような例も示されており、中心化群の奥深さが伺えます。そこで、不変量を持つ安定な部分群に注目したところ、なんと正の実数の乗法群と自然に同型であるという、非常にすっきりとした構造定理が導き出されました。複雑極まる群の中から、見事にシンプルな正体を取り出した快感がある研究ですね。
4. 5:19 4. The Gruenberg-Kegel graph of finite solvable groups that are character-quadratic or semi-rational 2606.29037v1
   スクリプトを表示

   4本目は、イレーネ・クリスピーさん、サラ・シー・デボンさん、エマヌエーレ・パチフィチさん、アンヘル・デル・リオさん、マルコ・ベルガニさんによる、「The Gruenberg-Kegel graph of finite solvable groups that are character-quadratic or semi-rational」(文字標数的または半有理的な有限可解群のグルーベンベルグ・ケゲルグラフ)です。 この論文では、有限可解群の構造を視覚的に捉えるグルーベンベルグ・ケゲルグラフという道具を使って、特定の条件を持つ群の分類に挑んでいます。具体的には、既約指標の値が有理数の2次拡大体に含まれる文字標数的な群や、巡回部分群の生成元が最大2つの共役類に収まる半有理的な群を対象としています。 研究チームは、フロベニウス群や2フロベニウス群といった構造的な性質をうまく利用し、さらに計算機ソフトのギャップを用いて検証を行いました。その結果、グラフが非連結な場合の完全な分類に成功しています。また、頂点数が3つ以下の場合は20種類の候補があることを突き止め、頂点数が4つの場合は少なくとも4本の辺が必要であることを証明しました。 特に面白いのが、群の位数に含まれる素数の条件を絞り込んでいる点です。半有理的な群では、素数が12で割った余りが1、3、7、または9になるものに限定されるという、非常に具体的で厳しい制約があることが分かりました。群の性質という抽象的な概念が、素数の剰余という具体的な数論的条件に結びつく流れには、心地よい快感がありますね。
5. 7:15 5. Digroups, their canonical pretorsion theory, and diheaps 2606.29260v1
   スクリプトを表示

   5本目は、アルベルト・ファッキーニさんとカルメロ・アントニオ・フィノッキアーロさんによる、「Digroups, their canonical pretorsion theory, and diheaps」(ダイグループ、その標準的な前ねじれ理論、およびダイヒープ)、です。 この論文では、通常の群の操作を、左掛けと右掛けという二つの操作に置き換えたダイグループという代数構造について探求しています。群の構造的な性質をこのダイグループにまで広げようという試みで、特に注目したいのが、単位元を忘れた群のような概念であるヒープを拡張した、ダイヒープという新しい概念の導入です。 著者たちは、ダイグループを左群と右群を群作用で貼り合わせることで構築し、それを圏論的に分析しています。その結果、ダイグループの圏における自然な前ねじれ理論を確立しました。驚くべきことに、この理論におけるねじれのないダイグループはまさに通常の群であり、一方でねじれを持つダイグループは空でない集合の圏と同型になるという、非常にすっきりとした対比が示されています。 また、二つの三項操作を持つ代数であるダイヒープを定義し、ダイグループからダイヒープへの忠実かつ本質的に全射な関手が存在することを証明しました。単なる群の一般化にとどまらず、集合論的な側面と群論的な側面を巧みに結びつけて構造を解明していく流れに、強い知的な快感を覚えます。
6. 8:56 6. A Schur--Zassenhaus Theorem for Finite Skew Braces 2606.29295v1
   スクリプトを表示

   6本目は、マルコ・ダメレさんによる、「A Schur--Zassenhaus Theorem for Finite Skew Braces」(有限スキューブレースにおけるシュア・ザッセンハウスの定理)、です。 この論文は、群論でとても有名なシュア・ザッセンハウスの定理を、スキューブレースという新しい代数構造の世界に持ち込もうとする挑戦的な研究です。スキューブレースはヤンバクスター方程式とも深く関わっていて、今とても注目されている分野なんですよ。 具体的に言うと、有限スキューブレースの中に、その部分構造であるイデアルがあって、そのイデアルの数と商構造の数が互いに素であるとき、必ず補完となる部分構造が存在することを証明しました。これまでの研究ではかなり厳しい条件が必要でしたが、今回の結果でその制限がなくなりました。 証明のプロセスがとても巧妙で、トリファクタライズド・グループという概念を使い、古典的な群論の定理や、あの有名なファイト・トンプソンの定理まで組み合わせて解き明かしています。代数的な構造を巧みに操って、既存の群論の強力な武器をスキューブレースに適用させる手腕には、本当に脱帽しますね。 また、単に定理を証明するだけでなく、シロウ理論のような性質が完全には当てはまらないことを示す反例まで提示していて、理論の境界線を明確にしている点も非常に誠実な論文だと感じました。
7. 10:33 7. Strongly Primitive Salem Growth Polynomials for Right-Angled Coxeter Groups 2606.29397v1
   スクリプトを表示

   7本目は、ミンギュ・オーさんによる、「Strongly Primitive Salem Growth Polynomials for Right-Angled Coxeter Groups」(直角コクセター群における強原始的なサレム成長多項式)、です。 この論文では、直角コクセター群という数学的な構造を持つ群が、どれくらいの速さで成長するかという成長率に注目しています。特に、その成長率が強原始的なサレム数になる条件を詳しく調べていますね。 著者は、群を定義するグラフの組み合わせ的な性質と、成長多項式という代数的な性質を結びつけようとしています。具体的には、グラフのクリーク多項式から成長多項式を導き出し、それをさらに補グラフの独立多項式の問題へと変換する逆変換という手法を導入しています。このアプローチは、複雑な代数の問題をグラフ理論の視点から解こうとするもので、非常に鮮やかな戦略だと思います。 研究の結果、4以上のすべての偶数次において、不可約なサレム多項式を成長多項式として持つ連結グラフが無限に存在することが証明されました。一方で、どんなサレム多項式でも実現できるわけではありません。特に、最小のサレム数として有名なレマー多項式は、グラフの頂点被覆数に関する厳しい制約があるため、強原始的な成長率にはなり得ないことが示されました。有名な数であっても、この群の構造には当てはまらないという結果には、数学的な厳格さを感じます。
8. 12:23 8. Groups associated to 1-minimal models for binomial $\cup_1$-algebras 2606.29398v1
   スクリプトを表示

   8本目は、リチャード・ポーターさんとアレクサンダー・スチウさんによる、「Groups associated to 1-minimal models for binomial algebras」(二項代数における1-ミニマルモデルに関連付けられた群)、です。 この研究では、有限生成な1次コホモロジーを持つ群のプロニルポテント完備化について、コチェーンレベルでの具体的な代数モデルを提示しています。具体的には、整数環やp進体上の二項代数という、スティーンロッド積と互換性のある二項演算を備えた微分次数付き代数に対して、ある種のプロニルポテント群を対応させています。この群は、代数の1-準同型同型類のみに依存しており、1-ミニマルモデルから関手的に導かれます。 面白いのは、この理論を接続CW複体のコチェーン代数に適用すると、基本群の完備化をうまく回収できる点です。代数的な構造から群の完備化というトポロジー的な性質を導き出す流れに、非常に緻密な構成力を感じます。単なる形式的な対応ではなく、具体的な代数モデルとして記述したことで、これまで扱いづらかった群の構造がより明確に捉えられるようになったのではないでしょうか。
9. 13:49 9. The Fundamental group of a finite graph of conjugacy separable groups with finite edge groups is conjugacy separable 2606.29422v1
   スクリプトを表示

   9本目は、シーラ・カンポス・シャガスさんによる、「The Fundamental group of a finite graph of conjugacy separable groups with finite edge groups is conjugacy separable」(辺群が有限で、各頂点群が共役分離可能な群の有限グラフの基本群は、共役分離可能である)、です。 この論文では、ある群の要素が共役でないとき、それを有限の商群の中でも共役でないままに保てるかという共役分離可能性について研究しています。この性質は、有限提示群において共役問題が解けることを保証するためにとても重要です。著者は、頂点群が共役分離可能で、辺群が有限であるような有限グラフの基本群においても、この性質が維持されるかという問いに挑みました。 証明のために、バス・セールの理論とそのプロ有限版を駆使しています。具体的には、群がバス・セール木に作用することを利用し、要素を非双曲的なものと双曲的なものに分けて分析しています。特に、双曲的な要素に対してプロ有限的な部分木やティッツ直線を用いて議論を進めるあたりに、非常に緻密な構成力が感じられます。 最終的に、辺群が有限である有限グラフの基本群は共役分離可能であることが証明されました。また、頂点群が遺伝的に共役分離可能であれば、基本群も同様の性質を持つという結論も導いています。グラフが有限である必要があるという点についても、無限グラフの場合は剰余有限でさえなくなる例があるため、条件の重要性が明確に示されていました。
10. 15:43 10. Classification of skew left braces with additive group isomorphic to the infinite dihedral group 2606.29641v1
    スクリプトを表示

    10本目は、アキヒデ・ハナキさん、ユウト・サカタさん、ヒロキ・ヨシノさんによる、「Classification of skew left braces with additive group isomorphic to the infinite dihedral group」(加法群が無限二面体群と同型な歪左ブレースの分類)、です。 この論文では、歪左ブレースという、加法と乗法という二つの群構造が特殊な分配法則で結びついた代数系を扱っています。特に、加法群が無限二面体群である場合のすべての分類を試みた研究です。 研究の鍵となるのは、ガンマ写像という道具を使ったアプローチです。無限二面体群のホロモーフ、つまり群とその自己同型群の半直積をうまく利用して、等価なガンマ写像を洗い出しています。 ここからが地道な作業なのですが、特定の要素に対する写像の値でケース分けを行い、詳細な分析を繰り返しています。その結果、整数パラメータに依存する形を含めて、最終的に10種類の同型類に絞り込まれました。 単に分類して終わりではなく、それぞれの乗法群がどのような構造をしているかまで明らかにしています。乗法群が加法群と同じ無限二面体群になるケースもあれば、無限巡回群と2次巡回群の直積になるケースもあり、構造の変化がとても興味深いです。既存の未解決問題に明確な答えを出した、非常に完成度の高い研究だと思います。
11. 17:27 11. Characterization of the alternating and symmetric groups by the order and conjugacy class sizes 2606.29866v1
    スクリプトを表示

    11本目は、イリヤ・ゴルシュコフさんとアンドレイ・ブイ・バシリエフさんによる、「Characterization of the alternating and symmetric groups by the order and conjugacy class sizes」(位数と共役類サイズによる交代群と対称群の特徴付け)、です。 この論文では、ある有限群が交代群や対称群と同じ位数と共役類のサイズの集合を持っているとき、その群は必ず元の交代群や対称群と同型になるということを証明しています。もともと、非アーベル単純群は中心が自明な群の中で共役類のサイズだけで決まるというトンプソン予想がありましたが、交代群のケースは非常に手強い課題として残っていました。 著者たちは、まず中心が自明であることを証明し、次に最大の素数を用いた巧妙な手法で、交代群と同型な組成因子を持つことを導き出しています。特に、中心化群をその位数に基づいて二つのタイプに分類して分析するアプローチが非常に鮮やかで、論理の組み立てに強い執念を感じますね。 この結果によって、交代群と対称群の完全な特徴付けがなされ、最終的にすべての有限単純群が位数と共役類のサイズという二つのパラメータだけで一意に決まることが結論付けられました。長年の空白を埋める、非常にスッキリとした快感のある成果だと言えます。
12. 19:02 12. A Reversibility Characterization of Locally Finite Groups by Cellular Automata 2606.29958v1
    スクリプトを表示

    12本目は、ジャン・ヤンさんによる、「A Reversibility Characterization of Locally Finite Groups by Cellular Automata」(セルラーオートマトンによる局所有限群の可逆性の特徴付け)、です。 この論文では、無限アルファベット上のセルラーオートマトンにおいて、全単射であれば必ず可逆になるという性質が、群のどのような条件と結びついているかを探究しています。通常、有限アルファベットでは全単射なら可逆になりますが、無限アルファベットの場合、逆写像がセルラーオートマトンにならないケースが出てきます。 ここで著者は、ある群が局所有限であることと、その群上のあらゆる全単射なセルラーオートマトンが可逆であることが同値であるという定理を証明しました。特に、局所有限ではない群に対しては、逆写像を計算するためにいくらでも長い鎖状のデータを読み取る必要があり、固定された有限のメモリでは太刀打ちできないという巧妙な反例を構築しています。 バーンサイド群のような、周期的ながら局所有限ではない群でも可逆性が崩れることを示した点は、非常に鋭い考察だと思います。単なる計算の無限ループではなく、有限ながらも長さが制限されない計算の集まりによって局所有限性が検知されるという構成には、目から鱗が落ちるような感覚を覚えました。
13. 20:34 13. On homological finiteness properties and free inverse monoids 2606.30434v1
    スクリプトを表示

    13本目は、カール・フレドリック・ニュベリ・ブロッダさんによる、「On homological finiteness properties and free inverse monoids」(ホモロジー的な有限性特性と自由逆モノイドについて)、です。 この論文では、逆モノイドがエフピーツーという型に属するかどうかという、かなり専門的な性質について研究しています。エフピーツーというのは、簡単に言うと、ある種の分解において最初の数個の加群が有限生成であるという条件のことです。 著者は、自由逆モノイドがこのエフピーツーではないことを示すために、新しい幾何学的な証明を考え出しました。具体的には、格子複体という正方形のセル複体を作り、そこにモノイドを作用させるという手法をとっています。このアプローチがとても鮮やかで、代数的な問題を幾何学的な構造に落とし込んで解決している点に、強いこだわりを感じます。 最終的に、自由逆モノイドがエフピーツーではないことを再証明しただけでなく、ある種のサブモノイドにおいて、エフピーツーであることと有限提示であることが同値であるという、重要な問いに答えを出しました。複雑な代数構造を、格子のサイクルという視覚的なイメージで捉え直した素晴らしい研究です。
14. 22:04 14. The Schur--Zassenhaus Theorem for finite skew braces 2606.30453v1
    スクリプトを表示

    14本目は、エム・フェラーラさんとエム・トロンベッティさんによる、「The Schur--Zassenhaus Theorem for finite skew braces」(有限スキューブレイスのためのシュア・ザッセンハウスの定理)、です。この論文では、群論でとても有名なシュア・ザッセンハウスの定理を、スキューブレイスというちょっと特殊な構造の世界に持ち込んで、その存在部分を証明しています。具体的には、有限スキューブレイスにおけるホールイデアルが、必ず補完となる部分スキューブレイスを持つことを示しました。さらに、この考え方を応用して、素数べきの位数を持つ左イデアルが、必ずシロウ部分スキューブレイスに含まれるという、最近のシロウ存在定理をさらに強める結果も導き出しています。群論の古典的な定理が、スキューブレイスという新しい枠組みで見事に再現される様子には、構造的な一貫性を追求する執念のようなものを感じますね。
15. 23:09 15. Cohomology rings and $p$-local behavior of even Artin groups 2606.30558v1
    スクリプトを表示

    15本目は、マルコス・エスカルティン・フェレールさん、ジョルジオ・レオニさん、コンチタ・マルティネス・ペレスさんによる、「Cohomology rings and p-local behavior of even Artin groups」(偶数アルティン群のコホモロジー環とp局所的な振る舞い)、です。 この論文では、定義グラフの辺のラベルがすべて偶数である偶数アルティン群という、ちょっと特殊なグループの構造を深く掘り下げています。研究の目的は、扱いやすいことで知られる右角アルティン群の性質が、この偶数アルティン群というより広い範囲までどこまで通用するのかを明らかにすることです。 まず、コホモロジー環が外積次数付き環として具体的に記述されました。頂点に対応する1次元要素と、ラベルが2より大きい辺に対応する2次元要素で生成されるという構造が明かされています。また、プロp完備化という手法を用いて、定義グラフをうまく修正した偶数p部分という概念を導入し、群の構造を解析しています。 特に面白いと感じたのは、コホモロジー環だけではすべての偶数アルティン群を区別できないことを、反例を用いて証明している点です。一見同じに見えても実は違う、という数学的な落とし穴を丁寧に示したところに、著者のこだわりを感じます。最終的には、プロFC偶数アルティン群が同型であれば、定義グラフのp部分も同型になるという剛性結果まで導き出しており、非常に密度の濃い研究となっています。
16. 24:55 16. A note on strong affine semigroups 2606.28420v1
    スクリプトを表示

    16本目は、math.ACからのクロス投稿で、イサベル・ガルシアマルコさん、リカルド・タピアラモスさん、アレクサンドラ・ヴィニェロンテノリオさんによる、「A note on strong affine semigroups」(強アフィン半群に関するノート)、です。 この論文では、強アフィン半群という構造の性質について深く掘り下げています。もともとは、半群とその関連する代数の関係を解明したいという動機から書かれていて、特に可換代数やトーリック幾何学の視点から、どのような条件があれば強アフィン半群と言えるのかを明らかにしようとしています。 研究チームは、半群とその差群の相互作用や、飽和という概念が強アフィンという性質にどう関わっているかを、組み合わせ論的なアプローチで分析しました。ここが面白いところで、よく知られている正規半群という条件よりも、さらに精緻な分類を試みているんです。実際、すべての正規半群が強アフィンであるとは限らないことを具体例で示しており、定義の厳密さが際立っています。 最終的に、強アフィン半群であるための必要十分条件を導き出しました。これにより、二項イデアルやトーリック多様体を扱う研究者が、ある半群が強アフィンかどうかをより簡単に判定できるようになります。この性質があることで関連する代数の挙動が安定し、代数幾何学における特異点の研究がスムーズに進むという結論に至りました。
17. 26:39 17. Structure of Cayley Codes 2606.28611v1
    スクリプトを表示

    17本目は、math.COからのクロス投稿で、ヴィシュヌラム・アルムガムさん、シェリル・イー・プレーガーさん、ダニエル・ラデマッハさんによる、「Structure of Cayley Codes」(ケイリー符号の構造)、です。この論文では、ケイリーグラフと小さな線形符号を組み合わせて作られるケイリー符号というものの一般的な性質を詳しく調べています。これまでの研究では、特に性能の良い符号を探すためにラマヌジャングラフのような特定のグラフに注目していましたが、この論文ではあらゆる有限群を対象とした、より汎用的な理論的な枠組みを提示していますね。 具体的には、グラフがバラバラに分かれている場合でも、連結な成分の符号の直和として分解できることを証明しており、効率的に解析できる仕組みになっています。また、法線辺推移的なケイリーグラフを用いることで、対称性を持つ符号を特定している点も非常に巧妙です。さらに、グラフの直積やデカルト積を考えたときに、符号の構造がどのように分解されるかも明らかにしています。繰り返し符号などの具体例を用いて、符号の長さやランク、最小距離といったパラメータまでしっかり分析しているため、理論だけでなく実践的な視点も盛り込まれた構成になっています。
18. 28:09 18. Strong Embeddings of Regular Graphs with Prescribed Automorphism Groups 2606.29768v1
    スクリプトを表示

    18本目は、math.COからのクロス投稿で、レイモンド・アクパニャさんとトム・ゲールツェンさん、マイケ・ヴァイスさんによる、「Strong Embeddings of Regular Graphs with Prescribed Automorphism Groups」(規定の自己同型群を持つ正則グラフの強い埋め込み)です。 この論文では、グラフの対称性を決める自己同型群について、面白い視点からアプローチしています。もともとフルヒトという数学者が、どんな有限群であっても、それを自己同型群として持つ有限グラフが存在することを証明していました。今回の研究では、これをさらに発展させて、すべての頂点から出ている辺の数が同じ正則グラフにおいて、その埋め込みの対称性とグラフ自体の対称性が一致するように構成できることを示しています。 特に、次数が3以上のどんな正則グラフでも、指定した有限群を自己同型群として持つように、強い埋め込みを作れるという点がすごいですよね。さらに、同じ群を維持したまま、 genus、つまり種数がどんどん大きくなっていくグラフの列まで作れることを証明しています。また、過去のサビドゥシさんによる有名な構成法に、実は見落としがあったことを突き止めて、それを修正した新しい構成法まで提案しています。先人の間違いを正して理論を強固にするという、研究者としての情熱が伝わってくる内容でした。
19. 29:46 19. Exterior Algebra and an Extension of the Feng-Sun-Xiang Theorem in $p$-groups 2606.30506v1
    スクリプトを表示

    最後は、math.COからのクロス投稿で、ジウェイ・スンさんとリル・ジャオさんによる、「Exterior Algebra and an Extension of the Feng-Sun-Xiang Theorem in p-groups」(p群における外積代数とフェン・スン・シャン定理の拡張)、です。 この論文では、加法的組合せ論という分野の面白い問題に挑んでいます。ある有限群の中で、同じ大きさを持つ二つの集合があるとき、片方の集合の順番をうまく並べ替えることで、それぞれの要素を掛け合わせた結果がすべて異なる数になるか、という問題です。以前は、可換なp群という限定的なケースでしか証明されていませんでしたが、今回の研究でついに非可換なp群まで拡張することに成功しました。 特に注目したいのが、そのアプローチです。通常、こうした問題では指標理論が使われますが、非可換な群ではそれが通用しません。そこで著者たちは、素体上の外積代数という道具を巧みに使い、群代数の増大イデアルがべき零であるという性質を最大限に活用しました。この増大イデアルを高い累乗でゼロにするという性質を、線形写像の可逆性の証明に結びつける手腕には、非常に鋭い洞察力が光っています。結果として、集合の大きさが素数p以下であれば、どのような非可換p群であってもこの性質が成り立つことを証明しました。