...
首页> 外文期刊>Inventiones Mathematicae >Extended F_4-buildings and the Baby Monster
【24h】

Extended F_4-buildings and the Baby Monster

机译:扩展的F_4建筑物和小怪物

获取原文
获取原文并翻译 | 示例
           

摘要

Let Θ be the Baby Monster graph which is the graph on the set of {3,4}-transpositions in the Baby Monster group B in which two such transpositions are adjacent if their product is a central involution in B. Then Θ is locally the commuting graph of central (root) involutions in ~2E_6(2). The graph Θ contains a family of cliques of size 120. With respect to the incidence relation defined via inclusion these cliques and the nonempty intersections of two or more of them form a geometry ε(B) with diagram c.F_4(t): for t = 4 and the action of B on ε(B) is flag-transitive. We show that ε(B) contains subgeometries ε(~2E_6(2)) and ε(Fi_(22)) with diagrams c.F_4(2) and c.F_4(1). The stabilizers in B of these subgeometries induce on them flag-transitive actions of ~2E_6(2) : 2 and Fi_(22) : 2, respectively. The geometries ε(B), ε(~2E_6(2)) and ε_(Fi_(22)) possess the following properties: (a) any two elements of type 1 are incident to at most one common element of type 2 and (b) three elements of type 1 are pairwise incident to common elements of type 2 if and only if they are incident to a common element of type 5. The paper addresses the classification problem of c.F_4(t)-geometries satisfying (a) and (b). We construct three further examples for t = 2 with flag-transitive automorphism groups isomorphic to 3·~2E_2(2) : 2, E_6(2) : 2 and 2~(26).F_4(2) and one for t = 1 with flag-transitive automorphism group 3·Fi_(22) ; 2. We also study graph of an arbitrary (non-necessary flag-transitive) c.F_4(t)-geometry satisfying (a) and (b) and obtain a complete list of possibilities for the isomorphism type of subgraph induced by the common neighbours of a pair of vertices at distance 2. Finally, we prove that ε(B) is the only c.F_4(4)-geometry, satisfying (a) and (b).
机译:令Θ是Baby Monster图,它是Baby Monster组B中{3,4}换位集合上的图,其中如果两个乘积是B的中心对合,则两个这样的换位相邻。那么Θ局部为〜2E_6(2)中中央(根)对合的通勤图。图Θ包含大小为120的一个族群。关于通过包含而定义的入射关系,这些族群和其中两个或多个的非空交集形成了图形ε(B),并具有图c.F_4(t): t = 4且B对ε(B)的作用是标志传递的。我们用图c.F_4(2)和c.F_4(1)显示ε(B)包含子几何ε(〜2E_6(2))和ε(Fi_(22))。这些子几何中B的稳定剂分别在它们上诱导〜2E_6(2):2和Fi_(22):2的标志传递动作。几何ε(B),ε(〜2E_6(2))和ε_(Fi_(22))具有以下特性:(a)类型1的任何两个元素最多入射到类型2的一个公共元素,并且( b)当且仅当它们入射到类型5的公共元素时,类型1的三个元素才成对入射到类型2的公共元素。本文解决了满足(a)的c.F_4(t)-几何​​的分类问题和(b)。我们为t = 2构造了另外三个例子,其中标志传递自同构群同构为3·〜2E_2(2):2,E_6(2):2和2〜(26).F_4(2),其中一个对于t = 1具有标志传递自同构群3·Fi_(22); 2.我们还研究了满足(a)和(b)的任意(不必要的标志传递)c.F_4(t)-几何​​图形,并获得了由共同点引起的子图同构类型的可能性的完整列表。一对顶点在距离2处的邻居。最后,我们证明ε(B)是唯一的c.F_4(4)-几何,满足(a)和(b)。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号