紹介した論文

1. 0:19 1. Rankin-Selberg duality via gluing 2607.22965v1
   スクリプトを表示

   1本目は、ブルーノ・ダ・シルヴェイラ・ディアスさんによる、「Rankin-Selberg duality via gluing」(貼り合わせによるランキン・セルバーグ双対性)、です。この論文では、ある種のハミルトニアン多様体とボウ多様体の間の双対性を、よりシンプルに証明しようとしています。特に、一般線形群と標準表現が関わるランキン・セルバーグの場合に注目していますね。 これまではクィバーゲージ理論のクーロン分枝という難しい概念に頼っていましたが、著者はグロタンディークなどが関わる代数幾何学的なアプローチを使い、二つのホイッタカーねじれ余接束を貼り合わせるという、とても直感的な手法を提案しています。ベズー行列や代数的なハルトグスの補題を駆使して同型を証明する流れは、非常に丁寧で説得力があります。 結果として、この双対的な空間がグラスマン多様体の余接束に一致することが示されました。さらに、群のピンニングを反転させるという工夫を加えることで、反シンプレクティック対合という構造まで導き出しています。計算の具体性と、抽象的な双対性を結びつける構成力の高さに、研究者のこだわりが強く表れていますね。
2. 1:45 2. A second reduction-type formula for the refined Littlewood--Richardson coefficients in type A 2607.23479v1
   スクリプトを表示

   2本目は、シッデシュワル・クンドゥさんによる、「A second reduction-type formula for the refined Littlewood--Richardson coefficients in type A」(タイプAにおける精緻化リトルウッド・リチャードソン係数の第2低減型公式)です。 この論文では、表現論や組合せ論でとても重要な役割を果たすリトルウッド・リチャードソン係数の、さらに詳細な情報を扱う精緻化バージョンについて、新しい計算公式を導き出しています。具体的には、一般線形代数の既約多項式表現が、テンソル積の中にあるコスタント・クマール部分加群にどれくらいの多重度で含まれているかという問題を扱っています。 著者は、ハイブモデルという、ひし形の不等式を満たす実数の三角形配列を用いた手法を駆使して証明を行っています。このハイブモデルを使って、複雑な係数をより単純な形に書き換える第2低減型公式を確立したのが大きな成果です。 古典的な公式がこの新しい公式の特殊なケースとして含まれている点に、理論的な一貫性を感じますね。これにより、コスタント・クマール加群の分解という難しい計算を、組み合わせ的なショートカットを使って効率的に行えるようになりました。
3. 3:12 3. On the natural transformations of extension functors 2607.23495v1
   スクリプトを表示

   3本目は、アブドルナセル・バフレケさん、ショクロッラー・サラリアンさんによる、「On the natural transformations of extension functors」(拡張関手の自然変換について)、です。この論文では、完全圏における拡張関手の間の自然変換に関する、ヒルトン・リース定理のかなり広範な一般化に取り組んでいます。 もともとの定理は、射影的対象が十分に存在する圏での話でしたが、著者たちはこれをさらに高い次数の拡張へ、そして射影的対象が全く存在しないかもしれない、いわゆるエヌ・フロベニウス圏という設定まで広げました。シジジー列やエヌ・射影的対象という概念をうまく使い、特定の射による押し出しから得られる拡張の subgroup を定義することで、自然変換との間の群同型を導き出しています。 特に、射影的対象が十分にある場合の結果は、エヌが１のときに古典的な定理に一致しますし、アウズラン・グルソン・ジェンセン双対性を適用して、環上の有限提示加群に関する具体的な同型まで示しているのが見事です。さらに、射影的対象がなくても成り立つエヌ・フロベニウス圏での証明まで完遂しており、ゴレンシュタイン局所環上の加群や、射影的対象が存在しない特定の環上のアルティン加群など、具体的で多様な例を挙げている点に、理論を現実の数学的な対象に適用させたいという強い意欲を感じます。
4. 4:50 4. The loop-nilpotent cohomological Hall algebra 2607.23544v1
   スクリプトを表示

   4本目は、シヴァン・ジンダルさんとアンドレイ・ネグツさんによる、「The loop-nilpotent cohomological Hall algebra」(ループニルポテントなコホモロジー的ホール代数)、です。この論文では、標準的な3次ポテンシャルを持つ三重化されたクィバーの、ループニルポテントなコホモロジー的ホール代数に対して、シャッフル代数という具体的なモデルを提示しています。これにより、クィバーゲージ理論の量子化されたクーロン分枝代数との関係が明らかになりました。さらに、ある変数をゼロに特化させると、この代数が超可換になることも示しています。また、全プレプロジェクティブなコホモロジー的ホール代数の生成元を特定し、特定の次数や可分性の条件を通じて、BPSリー代数の明示的な特徴付けに成功しました。特に、クィバーのカック多項式を、ある多項式空間の次元を用いて表す新しい公式が得られた点は、計算上の大きな進展で驚かされます。最後に、球面的な生成に関する予想も証明しており、代数的な構造を非常に深く掘り下げた研究となっています。
5. 6:11 5. Efficiency of mutation reduction for Brauer trees 2607.23628v1
   スクリプトを表示

   5本目は、ゼハヴィット・ズヴィさんによる、「Efficiency of mutation reduction for Brauer trees」(ブロイアー木の変異簡約の効率性)、です。 この論文では、群のモジュラー表現論において非常に重要な役割を持つブロイアー木代数を扱っています。具体的には、複雑なブロイアー木を、より単純な構造であるブロイアー星へと変形させるための、最も効率的な方法について研究しています。 ここで使われるのが変異簡約という手法で、辺を中心とした変異を繰り返して木の全体の距離を短くしていきます。著者は、既存のアイハラさんのアルゴリズムをさらに発展させた、一般化アイハラアルゴリズムを提案しました。この手法では、辺がプライマリかコプライマリかによって、二種類の変異を使い分けるのがポイントです。 驚くべきは、この一般化されたアルゴリズムが、理論的に最速であるという定理を証明したことです。特に一本の枝を持つブロイアー木から始めた場合、星形に到達するまでのステップ数は、辺の数から一を引いた数と完全に一致します。 ただ、面白いのが実際の計算速度の話です。ランダムなグラフで検証したところ、ステップ数は同じでも、計算の手間が増えた分、元のアイハラさんのアルゴリズムの方が処理速度は速かったそうです。理論上の最短手数を追求しつつ、計算コストとのバランスを考えるという、実用的な視点が含まれた興味深い内容でした。
6. 8:01 6. Notes on Chevalley Groups and Root Category IV: Iwasawa Decomposition and Total Positivity 2607.23697v1
   スクリプトを表示

   6本目は、ブヤン・リさんによる、「Notes on Chevalley Groups and Root Category IV: Iwasawa Decomposition and Total Positivity」(シュバレー群とルート圏に関するノート 第4部：伊わさわ分解と全正性)、です。 この論文では、ルート圏という視点から、シュバレー群のカルタン分解や伊わさわ分解について研究しています。表現有限な遺伝代数の有界導来圏の軌道圏であるルート圏を使い、ホール多項式などを通じて単純リー代数やシュバレー群を具体的に実現させているのが非常に巧みなアプローチですね。 まず、リー代数とシュバレー群の両方でカルタン分解を確立し、特定の対合を用いて、固定点群が極大コンパクト部分群と一致することを証明しています。さらに、極大コンパクト部分群、極大トーラス、そしてユニポテント部分群の積からシュバレー群への乗法写像が微分同相写像になるという、伊わさわ分解についても証明しました。 特に面白いのが、ラスティグの全正性理論に基づいた全正モノイドへの注目です。伊わさわ分解における全正要素の成分を計算するための、具体的な帰納的アルゴリズムを提示しています。全正モノイドの要素を伊わさわ分解すると、その成分がすべて群の正の部分に含まれることを証明しており、これにより全正モノイドと極大コンパクト部分群の共通部分が自明であることも導き出しました。古典的な群の分解を圏論的に実現し、計算手法まで提示した素晴らしい成果だと思います。
7. 9:52 7. Counterexamples to Norm Conjectures of Wehlau in Modular Invariant Theory 2607.23857v1
   スクリプトを表示

   7本目は、ムハマド・ファジール・アンワルさんによる、「Counterexamples to Norm Conjectures of Wehlau in Modular Invariant Theory」(モジュラー不変量理論におけるヴェーラウのノルム予想に対する反例)です。この論文では、正標数の体上のベクトル空間に有限群が作用する場合について、ヴェーラウさんが唱えたノルム予想が実は正しくないことを、具体的な反例を挙げて証明しています。 この予想は、線形形式の軌道ノルムなどの特定のノルムが、不変量環の最小生成系に含まれるはずだというものでした。ですが、著者は標数二の体上の基本アーベル二群という、非常に限定的な設定で巧みに反例を構築しています。 特に面白いのが、不変量環が多項式環になるという、かなり行儀の良いケースでさえ、軌道ノルムが分解可能になってしまい、最小生成系に入らないことを示した点です。また、全群ノルムについても、それが完全平方になってしまうため、最小生成系にはなり得ないことを証明しました。 単に理論的に否定するのではなく、具体的にどの次数で何が起きているかを丁寧に提示しているところに、著者の誠実なアプローチが感じられます。正則軌道の存在だけでは不十分だという結論は、この分野の研究にとって非常に重要な教訓になりましたね。
8. 11:27 8. Beyond the Adams Conjecture 2607.23885v1
   スクリプトを表示

   8本目は、アレクサンダー・ヘイズルタインさん、アーリヤ・クマールさん、アンドリュー・タングさんによる、「Beyond the Adams Conjecture」(アダムス予想を超えて)、です。この論文では、ピー進体上のシンプレクティック群や偶直交群を対象に、ある種の表現をテータリフトした際に、それがいくつの局所アーサーパケットに含まれるのかを明らかにしています。特に、ゴーイングアップタワーの中で最初に現れる場合の数に注目しているのがポイントです。驚くべきことに、導き出された数はアダムス予想から予想されるよりもずっと多くなることが分かりました。既存の予想を塗り替えるような結果に、研究者の情熱を感じますね。単に予想を検証するだけでなく、その限界を突き抜けて新しい視点を提示している点が非常にエキサイティングな研究だと思います。
9. 12:28 9. On Representations of Weyl Groups attached to Spherical Varieties 2607.24108v1
   スクリプトを表示

   9本目は、ガイ・カポンさんとガイ・シュトトランドさんによる、「On Representations of Weyl Groups attached to Spherical Varieties」(球面多様体に付随するヴェイユ群の表現について)、です。この論文では、滑らかな球面多様体に関連するヴェイユ群の表現について研究しています。具体的には、余接束から幾何学的に構成した表現と、ボレル軌道の幾何学から得られる表現という、異なる２つの表現が実は同型であるという予想を解決しようとしています。 この問題を解決するために、著者たちは幾何学的な問題を組み合わせ論的な問題へと翻訳するというアプローチを取りました。まず、ボレル・ムーア・ホモロジーを用いた幾何学的な構成と、ボレル軌道への作用に基づいた組み合わせ論的な構成の２つを導入します。ここで、各軌道に単純ルートに対するタイプを割り当てることで、単純反射の作用を定義している点が非常に巧妙です。 最終的に、フーリエ・サトー変換を用いることで、これら２つの表現が同型であることを証明しました。さらに、行列空間などの具体的な例を用いて、相対ラングランズ双対性の予想を検証しています。特に、ルーク配置やクランという組み合わせ論的な道具を使ってボレル軌道をパラメータ化し、ヴェイユ群の作用が一致することを示した流れは見事で、非常に説得力があります。最後には、双対な超球面多様体におけるボレル軌道の全単射に関する新しい予想を提案して締めくくっています。
10. 14:19 10. The proper stable module category of a group algebra 2607.24178v1
    スクリプトを表示

    10本目は、ゲオルギオス・ダレジオスさんとフアン・オマール・ゴメスさんによる、「The proper stable module category of a group algebra」(群環の固有安定加群圏)、です。 この論文では、可換環上の任意の離散群に対して、固有安定加群圏という新しい概念を導入しています。これは、有限群のモジュラー表現論を、無限群やより一般的な係数環へと拡張しようという試みです。 著者の二人は、単に新しい圏を作るだけでなく、モノイダル構造を持つテンソル三角圏であることや、有限部分群への制限で同型を判定できることなど、いわば理想的な条件リストをすべて満たす圏を目指しました。このこだわりには、理論的な整合性を追求する強い情熱を感じますね。 具体的には、コトーション対やアーベル・モデル構造の理論を駆使し、任意の有限部分群に制限したときにベンソン・コファイブラントになる加群を固有コファイブラント加群として定義しています。これにより、適切に構成されたホモトピー圏として、固有安定加群圏が定義されました。 結果として、この圏が適切に生成されたテンソル三角圏であることが示され、係数環が正則であればコンパクトに生成されることも分かりました。さらに、固有コファイブラント・コホモロジー次元という新しい概念を導入し、特定の短完全列の存在条件と結びつけた点も非常に興味深い成果です。
11. 16:04 11. Simple modules for affine nilCoxeter algebras 2607.24247v1
    スクリプトを表示

    11本目は、デイヴィッド・ジェイ・ベンソンさんとケイ・ジン・リムさんによる、「Simple modules for affine nilCoxeter algebras」(アフィン・ニルコクセター代数の単純加群)です。 この論文では、任意の標数を持つ体上の、タイプ・エーのｎマイナス１におけるアフィン・ニルコクセター代数の表現論について研究しています。結論から言うと、この代数が、ピーアイ次数がｎの階乗であるネーター的素アフィンピーアイ代数であることが証明されました。 ここから導き出される結果として、単純加群はすべて有限次元になり、適切な有限次拡大体の上では、単純加群の最大次元がちょうどｎの階乗になることが分かっています。 この証明のために、著者たちは非常に大きな可換部分代数を詳しく調べています。この部分代数の最小素イデアルがちょうどｎの階乗個あり、それらが対称群によって規則的に入れ替えられるという構造を明らかにしています。 代数的な構造を丁寧に紐解いて、最終的に中心の構造を多項式環と同型であると示した流れは見事ですね。複雑な代数構造の中から、階乗という非常にシンプルな数に結びつく秩序を見つけ出した点に、強い快感を覚えます。
12. 17:34 12. Irreducibility of the tensor product of Yangian \( \mathrm{Y}(\mathfrak{gl}_{m|n}) \) evaluation modules 2607.24334v1
    スクリプトを表示

    12本目は、ヴャチェスラフ・フトルニーさん、ゼン・リさん、ジアン・ジャンさんによる、「Irreducibility of the tensor product of Yangian Y(gl_{m|n}) evaluation modules」(ヤンギアンの評価モジュールのテンソル積の既約性)、です。この論文では、スーパーヤンギアンという数学的な構造における評価モジュールのテンソル積が、いつ既約になるかという問題を深く掘り下げています。 もともと古典的なヤンギアンの場合、非交差条件という基準を使えば既約性をうまく判断できましたが、スーパーヤンギアンではそれが通用しませんでした。ベレジニアンという特殊な行列式のようなものの計算が非常に複雑で、これまでの手法が通用しなかったためです。そこで著者たちは、ゲルファント・ツェトリン基底という特別な基底を精緻に分析するという、非常に粘り強いアプローチを取りました。 その結果、スーパー版の非交差条件を導き出し、二つの評価モジュールのテンソル積が単純であるための必要十分条件を明らかにしました。さらに、この結果を応用して、任意の個数のテンソル積についても既約性の判定基準を確立しています。古典的な結果をスーパーの世界へ見事に拡張しただけでなく、複雑な部分モジュールの構造を整理して、誰にとっても分かりやすい基準を提示した点が本当に素晴らしいですね。
13. 19:09 13. Infinitely Many Components in Auslander--Reiten Quivers of Representation-Infinite Algebras over Perfect Fields 2607.24466v1
    スクリプトを表示

    13本目は、ウェン・チャンさんとクアンユ・タンさんによる、「Infinitely Many Components in Auslander--Reiten Quivers of Representation-Infinite Algebras over Perfect Fields」(完全体上の表現無限代数のアウスランダーライテン図形における無限個の成分)です。 この論文では、アウスランダー、ライテン、そしてスマロという大御所たちが長年追いかけていた予想を、ついに証明しました。具体的には、完全体上の表現無限な有限次元代数において、そのアウスランダーライテン図形が必ず無限個の連結成分を持つかという問題に挑んでいます。 まず、代数的に閉じた体の場合を考えています。ここでは、局所化した多項式環からの表現埋め込みを使って、同じ次元を持つ分解不能加群の１パラメータ族を作り出します。ここが非常に巧妙で、体の自己同型による半線形ツイストを導入し、軌道の長さに基づいた不変量を用いて、これらの加群が異なる成分に属することを証明しています。 その後、この結果をすべての完全体へと拡張しています。分離的な基底変換という概念を使い、もし完全体上の図形が有限個の成分しか持たないなら、代数閉包へ拡張しても同様になるはずだという議論を展開しています。 単に証明しただけでなく、頂点の隣接数を制御する局所的な評価を導き出した点に、著者のこだわりが感じられます。表現論と体論を巧みに組み合わせた、非常に力強い解決策だと思います。
14. 21:01 14. Trace radicals and cocenters of free products 2607.24697v1
    スクリプトを表示

    14本目は、ニキータ・サフォンキンさんによる、「Trace radicals and cocenters of free products」(自由積のトレースラジカルとコセンター)、です。 この論文では、トレース残有限次元という性質を持つ代数について、特に自由積という操作をしたときにその性質がどう維持されるかを探究しています。もともと残有限次元という性質は、自由積をとっても保存されることが知られていましたが、それをトレースという概念を導入した設定で再現しようとする試みです。 著者はまず、有限次元のトレース汎関数すべてで共通してゼロになる部分をトレースラジカルと定義しました。そして、自由積のコセンターを個別の代数のコセンターとテンソル積の巡回コインバリアントに分解するという、非常に巧妙なベクトル空間の同型を用いて解析しています。特に、長さが二以上の単語をトレースで検出するために、対角行列を駆使して有限次元表現を構築する手法には、計算上の執念のようなものを感じますね。 結果として、二つの代数の自由積がトレース残有限次元であるための必要十分条件は、それぞれの元の代数がその性質を持っていることだと証明されました。さらに、この知見を群代数に適用し、群の共役分離性が代数的な性質に結びつくことを示しています。非可換幾何学の原理と群論の性質を橋渡しする、非常に密度の高い研究でした。
15. 22:45 15. Coulomb branches, quantized zastavas, Kac polynomials, and shuffle algebras 2607.24711v1
    スクリプトを表示

    15本目は、ディナカール・ムティアイさん、アレックス・ウィークスさんによる、「Coulomb branches, quantized zastavas, Kac polynomials, and shuffle algebras」(クーロン分枝、量子化ザスタヴァ、カッツ多項式、およびシャッフル代数)、です。 この論文では、任意のキバーに対してボレル・ヤンギアンとしての役割を果たす、限界量子化ザスタヴァという代数を構築しています。もともとカッツ・ムーディー代数のアフィン・グラスマン多様体のスライスにおける閉埋め込みは、一般には量子化できないという壁がありました。そこを、クーロン分枝の構成という物理学的な視点を取り入れた手法で乗り越え、量子化可能なバリエーションを見つけ出した点に、著者の執念とも言える鋭いアプローチを感じます。 さらに、この代数のヒルベルト級数が、カッツ多項式を含む華の公式という非常に美しい形に整理されることを導き出しました。また、この代数の正の部分が、洗練されたホイール条件を持つシャッフル代数と同型であることも証明しています。最終的に、局所化したシャッフル代数が球状生成されるというネグッツの予想まで解決しており、幾何学的な構成から代数的な予想までを一本の線でつなげた、非常に完成度の高い研究結果となりました。
16. 24:16 16. Carlsson's Conjecture and the Generalized Total Rank Conjecture in Characteristic Two 2607.22844v1
    スクリプトを表示

    16本目は、math.ACからのクロス投稿で、ケラー・ヴァンデボガートさんによる、「Carlsson's Conjecture and the Generalized Total Rank Conjecture in Characteristic Two」(標数二におけるカールソンの予想と一般化された全ランク予想)です。この論文は、可換代数と代数トポロジーが交差する非常に難しい問題に挑んでいます。具体的には、標数二の正則環において一般化された全ランク予想を証明し、それによって、任意のランクを持つ初等アーベル二群に関するカールソンの予想を解決しました。 アプローチがとても巧妙で、テイト構成やアダムス・スペクトル系列といった高度な道具を駆使しています。特に、クンツの定理を用いてスペクトル系列を崩壊させる流れは、正則局所環という設定を最大限に活かしていて見事です。結果として、正則ネータードメインにおいて、ある条件を満たす微分モジュールのランクが、環の次元の二乗、つまり二の次元乗以上になるという鋭い下限を導き出しました。これにより、球面のランク問題などのトポロジー的な問いにも終止符を打っています。標数二のときだけはこの予想が成り立ち、それ以外の標数では成り立たないという明確な二分法が示された点は、数学的な驚きに満ちていて非常にエキサイティングな結論だと思います。
17. 25:52 17. Matrix Kloosterman sums and product-trace estimates for semisimple algebras 2607.23275v1
    スクリプトを表示

    17本目は、math.NTからのクロス投稿で、シュエジュン・グオさん、チェン・リンさん、チェンハオ・タンさんによる、「Matrix Kloosterman sums and product-trace estimates for semisimple algebras」(半単純代数における行列クロースターマン和と積・トレースの評価)です。 この論文では、有限体上の半単純代数において、積やトレース、ノルムが特定の条件を満たす要素の組がいくつあるかという数え上げ問題に取り組んでいます。もともとワンさんが提案していた予想があったのですが、著者たちはそれを検証し、一部を修正した上で、平方根による評価という非常に精緻な上界を証明しました。 アプローチが本当に巧みで、フーリエ変換を使って問題を一つの変数の和に落とし込み、それを滑らかなエールアディック層上のトレースとして表現しています。さらに、テンソル誘導という手法で新しい層を構築し、グロタンディーク・レフシェッツのトレース公式を適用させるという、代数幾何学と表現論を組み合わせた高度な戦略を採っています。 特に、カッツのグローバル単車定理やグルサ・コルチン・リベの判定基準を用いて、コホモロジー群が消えることを丁寧に導き出している点に、徹底したこだわりを感じます。最終的に、体拡大の場合だけでなく、あらゆる有限半単純代数へと結果を拡張し、元の予想の不備を具体例で示すことで、理論的な正しさを完璧に整えました。
18. 27:35 18. A Grothendieck category with a noetherian generator and exact products that is not a module category 2607.23520v1
    スクリプトを表示

    18本目は、math.CTからのクロス投稿で、リョウ・カンダさんによる、「A Grothendieck category with a noetherian generator and exact products that is not a module category」(ネーター生成系と完全積を持つが、加群圏ではないグロタンディーク圏)です。 この論文は、ある種のグロタンディーク圏が必ず加群圏と同値になるのかという、ジャマンの問題に否定的な答えを出したものです。具体的には、ネーター生成系を持ち、さらに積が完全であるという条件を満たしていても、加群圏にはならない例を具体的に作り出しました。 ここでのアプローチが非常に巧妙で、ある環上の加群圏のガブリエル商を構成しています。その際、節点を持つ曲面の特異点の局所環とその正規化から得られる自己準同型環を利用している点が面白いですね。特定のべき等両側イデアルをうまく選び出し、それが有限生成射影加群のトレースにならないことを証明することで、目的の圏を導き出しています。 結果として、有限生成射影対象からなる生成系を持たない圏が存在することが示されました。ただ、構成した圏には射影生成系こそ存在するものの、それが有限生成ではないという点に、数学的な絶妙なバランスを感じます。
19. 29:09 19. Brauer Relations for Symmetric Groups: Young--Wreath Quotients and the n-Cycle Mark Obstruction 2607.24125v1
    スクリプトを表示

    最後は、math.GRからのクロス投稿で、ワカタケ・マサヒロさんによる、「Brauer Relations for Symmetric Groups: Young--Wreath Quotients and the n-Cycle Mark Obstruction」(対称群のブロイヤー関係：ヤング・リース商とエヌサイクル・マーク障害)、です。 この論文では、対称群におけるブロイヤー関係について、特に原始的な商という部分に注目して研究しています。これは、簡単に言うと、より小さな部分群からの誘導や、商群からの膨張では作ることができない、本質的な関係のことですね。 著者の目的は、この原始的な商の記述をシンプルにすることでした。一般的に分類定理はありますが、対称群の場合は、ヤング部分群と標準的なリース部分群という、かなり限定された部分群の集まりだけで、すべての原始的なブロイヤー関係を捉えられることを示しています。 そのために、ヤング・リース商という新しい概念や、エヌサイクルの固定点を利用して関係を検出するエヌサイクル・マーク障害という道具を導入しています。 結果がとても興味深いのですが、エヌが合成数のときはヤング・リース商と原始的な商が同型になります。一方で、エヌが素数のときは、ヤング・リース商は消えてしまいますが、原始的な商は整数環と同型になるという、鮮やかな対比が見られます。素数か合成数かでここまで挙動が変わるのは、対称群らしい性質が出ていて面白いですね。さらに、この結果をモノミアル・バーンサイド環へと拡張し、構造的な記述を完成させています。