[論文レビュー] Crossed product of groups. Applications

A. L. Agore, G. Militaru|arXiv (Cornell University)|May 27, 2008

Finite Group Theory Research参考文献 15被引用数 5

ひとこと要約

本稿では、群の拡大の分類を、交叉積を新しい拡大の圏 $χ_2(H,G)$ における普遍対象として再定式化する。ここでの射には、正規部分群および商群の自己同型が含まれる。主な貢献は、交差系における新しい同値関係 $\approx_2$ を用いた一般化されたシュライヤー型定理であり、交差積同士の同型条件を明示的に特定するものである。

ABSTRACT

We survey the extensions of a group by a group using crossed products instead of exact sequences of groups. The approach has various advantages, one of them being that the crossed product is an universal object. Several new applications are given, a general Schreier type theorem is proved and a few open problems are left.

研究の動機と目的

• 従来の群の拡大問題を再定式化し、完全系列の代わりに交差積を普遍対象とする。
• 射に $H$ および $G$ の群自己同型を含む新しい圏 $\mathcal{E}_2(H,G)$ を定義する。
• 正規化された交差系における新しい同値関係 $\approx_2$ を用いて、群の拡大を分類する。
• 交差積 $H\#_\alpha^f G$ と $H\#_{\alpha'}^{f'} G$ 間の同型の明示的条件を提供する。
• この新しいカテゴリカル枠組みに一般化されたシュライヤーの古典的分類結果を拡張し、$\mathrm{Crossed}(H,G)/\approx_2$ を用いたスケルトン分類を導く。

提案手法

• 従来の群の拡大 $(E,i,p)$ を、$\alpha:G\to\mathrm{Aut}(H)$ が弱作用であり、$f:G\times G\to H$ が $\alpha$-コサイクルであるような等価な交差系 $(H,G,\alpha,f)$ に置き換える。
• 対象が交差系であり、射が三重組 $(u,\gamma,v)$ である新しい圏 $\mathcal{E}_2(H,G)$ を定義する。ここで $u:H\to H$、$\gamma:E\to E'$、$v:G\to G$ は可換図式を満たす群準同型である。
• 交差積 $H\#_\alpha^f G$ が異なる圏において初期対象および終極対象であることを示し、2つの普遍性を満たす（定理 2.1）。
• 四重組 $(u,r,v,s)$ を通じた同型の明示的適合条件を導出し、それによってコロナリー 2.3 における特徴付けを得る。
• 交差系に $2$-同値関係 $\approx_2$ を定義し、方程式 (38) および (39) を満たす同型 $(\eta,\gamma,t)$ の存在によって定義される。
• 圏 $\mathcal{E}_2(H,G)$ のスケルトンが、商集合 $\mathrm{Crossed}(H,G)/\approx_2$ に一対一対応することを証明し、主な分類結果を得る（定理 3.8）。

実験結果

リサーチクエスチョン

• RQ1 古典的な群の拡大問題を、交差積を普遍対象とする新しいカテゴリカル枠組みで再分類することは可能か？
• RQ2 正規部分群および商群の自己同型を含む、拡大間の射の正しい定義は何か？
• RQ3 新しい圏 $\mathcal{E}_2(H,G)$ における交差積 $H\#_\alpha^f G$ の同型類の構造は何か？
• RQ4 この新しい拡大の圏に対して、一般化されたシュライヤー型定理を確立できるか？
• RQ5 二つの交差積が $\mathcal{E}_2(H,G)$ 内で同型であるための必要十分条件は何か？

主な発見

• 交差積 $H\#_\alpha^f G$ は、ある圏において初期対象であり、別の非双対圏において終極対象である。これにより強い普遍性が確立される（定理 2.1）。
• 二つの交差積 $H\#_\alpha^f G$ と $H\#_{\alpha'}^{f'} G$ 間のすべての同型の集合は、特定の適合条件を満たす四重組 $(u,r,v,s)$ と一対一対応する（コロナリー 2.3）。
• $\mathcal{E}_2(H,G)$ 内で二つの交差系 $(H,G,\alpha,f)$ と $(H,G,\alpha',f')$ 間の同型が存在するための必要十分条件は、方程式 (38) および (39) を満たす同型 $\eta:H\to H$、$\gamma:G\to G$、および写像 $t:G\to H$ の存在である（コロナリー 3.5）。
• 交差系における同値関係 $\approx_2$ は、このような三重組 $(\eta,\gamma,t)$ の存在によって定義され、これは同値関係である（定義 3.7）。
• $\mathcal{E}_2(H,G)$ のスケルトンは、商集合 $\mathrm{Crossed}(H,G)/\approx_2$ に一対一対応する。これにより、この枠組みにおける拡大の完全な分類が得られる（定理 3.8）。
• 自明な交差系に特化することで、$\mathcal{E}_2(H,G)$ 内で交差積が直積と同型であるための必要十分条件が得られる（注意 3.6）。