[论文解读] Construction of supercharacter theories of finite groups

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

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

一句话总结

本文提出了有限群的超特征标理论的五种新构造方法——直积、格论并集、两类基于正规子群的积，以及阿贝尔群的对偶性——并证明这些运算能够生成某些无限族有限群的所有超特征标理论，包括奇数阶的循环 $p$-群、阶为 $pq$ 和 $pqr$ 的循环群。该工作扩展了Diaconis和Isaacs的框架，提供了系统化方法，从已有理论构建新理论。

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.

研究动机与目标

• 开发系统化方法，从已知超特征标理论构建新理论，以应对复杂有限群中完整特征表计算困难的问题。
• 通过引入 $*$-积、$\triangle$-积和对偶性等新运算，推广现有超特征标理论构造。
• 证明这些新构造与已有方法结合，足以生成特定无限族有限群的所有超特征标理论。
• 通过格运算和对偶性阐明超特征标理论之间的结构关系，尤其在阿贝尔群和幂零群中。

提出的方法

• 直积构造将两个群 $G$ 和 $H$ 的超特征标理论组合成 $G \times H$ 上的理论，保持超共轭类与超特征标的相容性。
• 格论并集运算通过取其超共轭类划分与对应特征标划分的最粗公共细化，组合两个超特征标理论。
• $*$-积定义在正规子群 $M \trianglelefteq G$ 上，利用 $\operatorname{Irr}(M)$ 与 $\operatorname{Irr}(G)/\operatorname{Irr}(G/M)$ 之间的同构关系，将 $M$ 和 $G/M$ 上的理论上拉至 $G$，并满足对偶性条件。
• $\triangle$-积将 $*$-积推广至两个正规子群 $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 这些新构造与Diaconis和Isaacs的已有方法结合，能否生成特定无限族有限群的所有超特征标理论？

主要发现

• 两个群 $G$ 和 $H$ 上的超特征标理论的直积，生成了 $G \times H$ 上的有效超特征标理论，且满足 $|\sf{C} \times \sf{D}| = |\sf{C}| \cdot |\sf{D}|$。
• 两个超特征标理论的格论并集生成的新理论，其超共轭类划分是原划分的交，其特征标划分是原划分的并。
• $G$ 关于正规子群 $M$ 的 $*$-积构造有效，当且仅当 $G$ 上理论的对偶是关于 $\operatorname{Irr}(G/M)$ 的 $*$-积，如引理11.6所示。
• $\triangle$-积将 $*$-积推广至两个正规子群 $N$ 和 $M$，且 $G$ 上的超特征标理论 $\sf{E}$ 是关于 $N$ 和 $M$ 的 $\triangle$-积，当且仅当其对偶 $\widehat{\sf{E}}$ 是关于 $\widetilde{N}$ 和 $\widetilde{M}$ 的 $\triangle$-积。
• 对偶运算 $\widehat{\sf{E}}$ 将 $G$ 上的超特征标理论映射至 $\operatorname{Irr}(G)$ 上的理论；当 $G$ 为阿贝尔群时，该对偶保持 $*$-积结构。
• 本文证明：五种新构造——直积、并集、$*$-积、$\triangle$-积和对偶性——与已有方法结合，足以生成奇数阶循环 $p$-群、阶为 $pq$ 和 $pqr$ 的循环群的所有超特征标理论。