77
$\开始组$

这个群体通勤中两个随机元素的概率是组的共轭类数

$$\压裂{{(g,h):ghg^{-1}小时^{-1}=1\}}{|G|^2}=\压裂{c(G)}{|G|}$$

如果这个数字超过5/8,那么这个群就是阿贝尔群(我忘了是哪些群实现了这个界限)。

这一事实有没有特征理论证明?这个结果的概括是什么。。。也许这是关于半单代数而不是群的结果?

$\端组$
8
  • $\开始组$ 这个公式不可能完全正确,因为左边的术语是$<1$,右边的术语是$1>1$。大概你偏离了$|G|$的因素?四元数和$D4$实现了这个界限。 $\端组$ 评论 2012年3月20日4:40
  • 2
    $\开始组$ 一个好的版本是,对于有限循环或拟群,要求这样做。Gerhard“Ask Me About System Design”Paseman,2012.03.19 $\端组$ 评论 2012年3月20日5:00
  • $\开始组$ 是的,我找到了古斯塔夫森的文章。这个问题作为练习出现。你提到的两组都有8号订单。 $\端组$ 评论 2012年3月20日5:03
  • 11
    $\开始组$ 任何以索引4为中心的组都会实现这个界限。(这是一个警长)。 $\端组$ 评论 2012年3月20日5:21
  • 8
    $\开始组$ Robert Guralnick和我在《代数杂志》上发表了一篇文章,名为“关于有限群中的交换概率”(~ 2006),其中我们详细讨论了交换概率和特征理论之间的联系。本文的大部分内容都是相当基本的,包括证明交换概率趋向于$0$作为$[G:F(G)\ to \ infty,$其中$F(G。 $\端组$ 评论 2012年3月20日7:27

3个答案

重置为默认值
129
$\开始组$

如果$c(G)>5|G|/8$,则平均字符的维数平方小于$8/5$,因此至少$4/5$的字符是维数$1$(因为下一个最小的维数平方是$4$),因此每个一维字符都有一个元素的abelinization是组大小的一半以上,所以换向器子群的大小小于$2$,所以是微不足道的。

$\端组$
6
  • 8
    $\开始组$ 整洁!小修正:平均尺寸平方为小于$8/5$. $\端组$ 评论 2012年3月20日5:28
  • 1
    $\开始组$ 事实上,超过4/5的字符具有1级并不意味着该组是阿贝尔的。例如,看一个特殊的顺序为2^{2n+1}的组。这个非贝拉语族有2^n个1级字符,但只有一个更大的级字符。因此,这个答案中的论证充其量是不完整的。 $\端组$ 评论 2014年2月14日21:33
  • 7
    $\开始组$ @MartyIsaacs回忆道,$(4/5)\乘以(5/8)=(1/2)$,因此$1$-dimensional字符的数量超过了组元素数量的一半。你所建议的暗示在论点中没有说明。 $\端组$ 评论 2014年2月14日23:36
  • 2
    $\开始组$ @WillSawin没错。对不起,我误解了你的论点。 $\端组$ 评论 2014年2月16日17:42
  • 2
    $\开始组$ @肾前1号可以服用这两个阿贝尔组的产品。我的论证表明,任何满足该界的非阿贝尔群都必须具有顺序$2$的阿贝尔化核,而传统的论证表明中心具有索引$4$,这在很大程度上限制了群的结构。 $\端组$ 评论 2016年2月20日16:21
47
$\开始组$

Guralnick和Wilson给出了一个很好的概括,生成有限可解群的概率.结果:

1) 如果$G$的两个随机选择的元素生成可解群的概率大于$\frac{11}{30}$,则$G$本身是可解的,

2) 如果$G$的两个随机选择的元素生成幂零群大于$\frac{1}{2}$,则$G$为幂零,

3) 如果$G$的两个随机选择的元素生成一组奇数顺序的概率大于$\frac{11}{30}$,则$G$本身具有奇数顺序。

有趣的是,这些概率是最有可能的。还要注意基本的McHale文章关于交换性的概率。

$\端组$
20
$\开始组$

使用特征理论的一个基本结果是,如果$\{\chi_1,\chi_2,\ldots,\chi_c\}$是$G$的复杂不可约字符,其中$c=c(G)$是$G的共轭类的数目,然后由Cauchy-Schwarz得到$\sum_{i=1}^{c}\chi_i(1)\leq\sqrt{c}\sqrt}{|G|}$,因此$\frac{c(G ^{c}\chi_i(1)}{|G|}\right)^{2}.$。

$\端组$

你的答案

单击“发布您的答案”,表示您同意我们的服务条款并确认您已阅读我们的隐私政策.

不是你想要的答案吗?浏览标记的其他问题问你自己的问题.