arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 0908.1393math.GR
收藏

由GL_{11}(2)的不可约子群M_{24}构造Co_1

Construction of Co_1 from an irreducible subgroup M_{24} of GL_{11}(2)

Hyun Kyu Kim, Gerhard O. Michler

摘要:

本文利用第二作者[14]提出的从GL_n(2)的不可约子群构造有限单群的算法,给出了J. Conway的散发单群Co_1 [4]的自包含存在性证明。这里n = 11,不可约子群是Mathieu群M_{24}。从M_{24}的可裂扩张E通过唯一确定的11维GF(2)M_{24} -模V构造了E在未知目标群G中的2-中心对合z的中心化子H = C_G(z).然后我们证明了[14]中算法2.5的所有条件都满足。这使得我们可以构造GL_{276}(23)的一个单群G,我们通过构造G的忠实置换表示和Soicher对原Conway群Co_1的表示[16]证明了它与Conway的原散在单群Co_1同构。

英文摘要:

In this article we give an self contained existence proof for J. Conway's sporadic simple group Co_1 [4] using the second author's algorithm [14] constructing finite simple groups from irreducible subgroups of GL_n(2). Here n = 11 and the irreducible subgroup is the Mathieu group M_{24}. From the split extension E of M_{24} by a uniquely determined 11-dimensional GF(2)M_{24}-module V we construct the centralizer H = C_G(z) of a 2-central involution z of E in an unknown target group G. Then we prove that all the conditions of Algorithm 2.5 of [14] are satisfied. This allows us to construct a simple subgroup G of GL_{276}(23) which we prove to be isomorphic with Conway's original sporadic simple group Co_1 by means of a constructed faithful permutation representation of G and Soicher's presentation [16] of the original Conway group Co_1.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑