JankoGroupJ4

表示散在 Janko 单群 .

背景

JankoGroupJ4[] 表示扬科群，其阶为 . 它是26个有限阶散在单群之一.
扬科群是第四大的有限散在单群. 它是在1970年代中期由数学家 Zvonimir Janko 发现的，是最后一个被发现的散在单群. JankoGroupJ4 具有若干置换表示，最小的一个在个符号上具有与相关的点稳定器，它可以在具有两个元素的域上用特定的112维忠实表示来识别. 与其它散在单群一样，扬科群在有限单群的巨大（完整）分类中发挥了基础作用.
通常的群论函数可以应用于 JankoGroupJ4[]，包括 GroupOrder、GroupGenerators 和GroupElements 等等. 然而，尽管 JankoGroupJ4[] 是置换群，由于其阶数很大，明确的置换表示对于直接执行是不实际的. 因此，当应用时，许多这样的群论函数可能以未计算的形式返回. 杨科群的若干预计算属性通过 FiniteGroupData[{"Janko",4},"prop"] 可用.
JankoGroupJ4 与很多其它符号相关. 与 JankoGroupJ1、JankoGroupJ3、LyonsGroupLy、ONanGroupON 和 RudvalisGroupRu （但 JankoGroupJ2 除外）一样，JankoGroupJ4 是被称为“弃儿”的六个散在单群之一，原因在于它们不能作为魔群的子商出现.