[論文レビュー] Construction of supercharacter theories of finite groups

Anders O. F. Hendrickson|ArXiv.org|May 21, 2009

Coding theory and cryptography参考文献 13被引用数 3

ひとこと要約

本稿では、有限群のスーパーキャラクター理論のための5つの新しい構成——直積、ラティス的結合、正規部分群上の2種類の積、およびアーベル群の双対性——を導入し、これらが特定の無限族の有限群、特に奇数位の巡回 $p$-群および位数 $pq$ と $pqr$ の巡回群のスーパーキャラクター理論をすべて生成できることを示している。この研究は、ディアコニスとアイザックスの枠組みを拡張し、既存の理論から新しい理論を体系的に構築するための手法を提供する。

ABSTRACT

Much can be learned about a finite group from its character table, but sometimes that table can be difficult to compute. Supercharacter theories are generalizations of character theory defined by P. Diaconis and I.M. Isaacs, in which certain (possibly reducible) characters called supercharacters take the place of the irreducible characters, and a certain coarser partition of the group takes the place of the conjugacy classes. We present five new ways to construct new supercharacter theories out of supercharacter theories already known to exist, including a direct product, a lattice-theoretic join, two products over normal subgroups, and a duality for supercharacter theories of abelian groups.

研究の動機と目的

• 複雑な有限群における完全なキャラクター表の計算の難しさに対処し、既存の理論から新しいスーパーキャラクター理論を体系的に構築するための手法を開発すること。
• 既存のスーパーキャラクター理論の構成を一般化し、$*$-積、$ riangle$-積、双対性といった新しい操作を導入すること。
• これらの新しい構成が、既存の手法と組み合わせることで、特定の無限族の有限群のすべてのスーパーキャラクター理論を生成できることを示すこと。
• 特にアーベル群および冪零群において、ラティス演算と双対性を通じてスーパーキャラクター理論の構造的関係を明確にすること。

提案手法

• 直積構成では、2つの群 $G$ と $H$ のスーパーキャラクター理論を組み合わせて $G \times H$ 上の理論を構成し、スーパークラスとスーパー文字の整合性を保つ。
• ラティス的結合では、2つのスーパーキャラクター理論のスーパークラス分割の共通の粗めの分割と、それに応じる文字分割の共通の細かめの分割をとることで理論を結合する。
• $*$-積は正規部分群 $M \trianglelefteq G$ を用いて定義され、$\operatorname{Irr}(M)$ と $\operatorname{Irr}(G)/\operatorname{Irr}(G/M)$ の同型を用いて、$M$ と $G/M$ からの理論を $G$ に持ち上げ、双対性条件を満たす。
• $\triangle$-積は $*$-積を2つの正規部分群 $N$ と $M$ に一般化し、$\operatorname{Irr}(N)$ と $\operatorname{Irr}(M)$ を結ぶ双対的同型を用いて、得られる理論の整合性を保証する。
• 双対性はアーベル群に適用され、$G$ 上のスーパーキャラクター理論が $\operatorname{Irr}(G)$ 上の理論に写像され、同型 $\maltese: \operatorname{Irr}(M) \to \operatorname{Irr}(G)/\operatorname{Irr}(G/M)$ で構造が保存される。
• 本稿では、$G$ 上のスーパーキャラクター理論 $\sf{E}$ が $M$ を中心にした $*$-積であれば、その双対 $\widehat{\sf{E}}$ は $\operatorname{Irr}(G/M)$ を中心にした $*$-積であることが示され、構成法の間の双対性が確立される。

実験結果

リサーチクエスチョン

• RQ1 代数的およびラティス的演算を用いて、既存の理論から新しいスーパーキャラクター理論を体系的に構築できるか？
• RQ2 $*$-積と $\triangle$-積の構成が、スーパーキャラクター理論における既知の積構造をどのように一般化するか？
• RQ3 特にアーベル群において、群とそのキャラクター群のスーパーキャラクター理論を結ぶ双対性の役割は何か？
• RQ4 $*$-積構成が、正規部分群をもつ有限群上で有効なスーパーキャラクター理論を生成するための条件は何か？
• RQ5 これらの新しい構成と、ディアコニスとアイザックスの既存の手法を組み合わせることで、特定の無限族の有限群のすべてのスーパーキャラクター理論を生成できるか？

主な発見

• 群 $G$ と $H$ 上の2つのスーパーキャラクター理論の直積は、$G \times H$ 上の有効なスーパーキャラクター理論を生成し、$|\sf{C} \times \sf{D}| = |\sf{C}| \cdot |\sf{D}|$ が成り立つ。
• 2つのスーパーキャラクター理論のラティス的結合は、元の分割のmeetであるスーパークラス分割と、元の分割のjoinである文字分割を持つ新しい理論を生成する。
• $G$ の正規部分群 $M$ を中心にした $*$-積構成は、$G$ 上の理論の双対が $\operatorname{Irr}(G/M)$ を中心にした $*$-積である場合に有効であり、これは補題11.6で示されている。
• $\triangle$-積は $*$-積を2つの正規部分群 $N$ と $M$ に一般化し、$G$ 上のスーパーキャラクター理論 $\sf{E}$ が $N$ と $M$ を中心にした $\triangle$-積であるための必要十分条件は、その双対 $\widehat{\sf{E}}$ が $\widetilde{N}$ と $\widetilde{M}$ を中心にした $\triangle$-積であることである。
• 双対性操作 $\widehat{\sf{E}}$ は、$G$ 上のスーパーキャラクター理論を $\operatorname{Irr}(G)$ 上の理論に写像し、$G$ がアーベル群であれば、この双対性は $*$-積構造を保存する。
• 本稿では、5つの新しい構成——直積、結合、$*$-積、$\triangle$-積、双対性——が、既存の手法と組み合わせることで、奇数位の巡回 $p$-群および位数 $pq$ と $pqr$ の巡回群のすべてのスーパーキャラクター理論を生成できることを証明している。