【发布时间】：2018-02-19 03:46:46
【问题描述】：
我不熟悉圣人，（我对此一无所知）但我有一个非常基本的问题。我需要原始组（15,2）的生成器来进行研究。有人可以给我原始组（15,2）的生成器，使用Sage吗？我将不胜感激
【问题讨论】：
标签： sage
【发布时间】：2018-02-19 03:46:46
【问题描述】：
您一定指的是The primitive group from the GAP tables of primitive groups。有趣的是，我不清楚这些是否与“原始排列组”完全对应，尽管我认为它们是。
无论如何，既然你使用的是那个符号，我假设this will do it for you：
sage: P = PrimitiveGroup(15,2)
sage: P.gens()
[(1,4,5)(2,8,10)(3,12,15)(6,13,11)(7,9,14), (1,15,7,5,12)(2,9,13,14,8)(3,6,10,11,4)]
请注意，尽管P 显然与六个元素上的交替群同构，但它看起来（如您可能希望的那样）作为 15 个元素上的置换群。
【讨论】：
-
另请注意，这需要 SageMath 中可选的
database_gap包（此包可能很快成为标准，请参阅this discussion）。