本工具是一款专业的 PGL2(q) 轮换母函数与射影直线5-设计研究助手, 专注于 组合设计理论 有限几何 群论分析。 通过智能算法分析 PGL2(q) 在射影直线 PG(1,q) 上的作用,辅助推导 轮换母函数, 并探索 5-设计 的存在性与构造方案,是数学研究人员的得力助手。
PGL2(q) 是一般线性群 GL2(q) 模去其中心的商群,它在射影直线 PG(1,q) 上的作用是 3-传递的,这为构造设计提供了丰富的群论结构。
利用 Polya 计数定理,通过计算群元素的轮换指标,可以枚举轨道上的不等价构型,是分析组合结构的重要工具。
t-设计是一种区组设计,任意 t 个点的子集恰好包含在 λ 个区组中。5-设计具有极高的对称性和组合性质。
q 通常是一个素数的幂次(如 2, 3, 4, 5, 7, 8, 9...),决定了有限域的大小和群的阶数。