[論文レビュー] On the multiplicative group of a two-sided skew brace of solvable type

Marco Damele|arXiv (Cornell University)|Mar 25, 2026

Finite Group Theory Research被引用数 0

ひとこと要約

二辺のスキューブレースの加法群が可約であれば、その乗法群の任意の有限商は可約であり、可約型の任意の二辺スキューブレースへ有限の場合の結果を拡張する。

ABSTRACT

We prove that if $(B,+,\cdot)$ is a two-sided skew brace whose additive group is solvable, then every finite quotient of the multiplicative group $(B,\cdot)$ is solvable. In particular, our result recovers Nasybullov's theorem in the finite case ~\cite[Theorem~4.3(1)]{Nas} and extends it to arbitrary two-sided skew braces of solvable type.

研究の動機と目的

• 加法構造と乗法構造の関係性の研究を二辺スキューブレースにおいて動機付ける。
• 加法群が可約であるとき、乗法群の有限商が可約であることを証明する。
• 有限の場合の既知の結果を、可約型の任意の二辺スキューブレースへ拡張する。

提案手法

• 加法群 (B,+) の導出長に対して帰納的に solvability を乗法構造へ転移させる。
• 底ケースとして、(B,+) がアーベルである場合、(B,+,·) を radical Ring に関連付け、アジャイント群（SN-group）の性質を用いて有限商の可約性を導く。
• 帰納段階では、導出群 D=(B,+)^(1) を理想として分析し、商 B/D をアーベルな加法群を持つように縮減し、基底ケースを適用して乗法群の有限商の可約性を結論づける。

実験結果

リサーチクエスチョン

• RQ1 二辺スキューブレースの加法群 (B,+) が可約であるとき、乗法群 (B,·) のすべての有限商は可約になるか。
• RQ2 有限の場合の既知のスキューブレースの結果は、可約型の任意の二辺スキューブレースへ拡張できるか。
• RQ3 二辺スキューブレース内の理想構造は、乗法群の有限商の可約性にどのように影響するか。

主な発見

• (B,·) の任意の有限商は、(B,+) が可約である場合に可約である。
• この結果は、可約型の二辺スキューブレースに対するNasybullovの有限ケース定理を回収する。
• 導出長の帰納と理想による構造的縮約を用い、有限商の可約性へと導く。
• 基底ケースの可約性を推定する際、 radical ring の adjoint 群と SN-group 特性を結びつけて用いる。
• このアプローチは、全体の乗法群が可約でなくても、本設定ではすべての有限商が可約であることを示す。