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

有限域上典型群中的共轭性

Conjugacy in finite classical groups

Giovanni De Franceschi, Martin W. Liebeck, E. A. O'Brien

AI总结:

本文针对有限域上典型群,系统解决了共轭类代表元列举、中心化子结构描述与共轭判定及显式共轭元构造三个基本问题,并给出理论方案及 Magma 完整实现,为计算群论中的特征标表计算和一般共轭问题求解提供关键支撑。

摘要:

设 $G$ 为定义在有限域上的典型群。我们考虑以下关于 $G$ 中共轭性的基本问题:1. 列出 $G$ 的每个共轭类的一个代表元。2. 给定 $x \in G$,通过给出其群结构和生成元集合来描述 $x$ 在 $G$ 中的中心化子。3. 给定 $x,y \in G$,判断 $x$ 与 $y$ 是否在 $G$ 中共轭,如果共轭,则找出显式的 $z \in G$ 使得 $z^{-1}xz = y$。我们对这三个问题给出了全面的理论解答,并利用这些解答构造了实用算法。在理论工作的同时,我们已在 Magma 中开发了这些算法的完整实现。它们构成了计算群论中多种通用算法的关键组成部分——例如,计算特征标表以及求解任意有限群中的共轭问题。

英文摘要:

Let $G$ be a classical group defined over a finite field. We consider the following fundamental problems concerning conjugacy in $G$: 1. List a representative for each conjugacy class of $G$. 2. Given $x \in G$, describe the centralizer of $x$ in $G$, by giving its group structure and a generating set. 3. Given $x,y \in G$, establish whether $x$ and $y$ are conjugate in $G$ and, if so, then find explicit $z \in G$ such that $z^{-1}xz = y$. We present comprehensive theoretical solutions to all three problems, and use our solutions to formulate practical algorithms. In parallel to our theoretical work, we have developed in Magma complete implementations of our algorithms. They form a critical component of various general algorithms in computational group theory - for example, computing character tables and solving conjugacy problems in arbitrary finite groups.

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

↑