拟多项式时间内的本原正规化子
群论
2021-12-02 v1
摘要
正规化子问题的输入为对称群 的两个子群 和 ，并要求给出 的一组生成元：目前尚不知其是否具有次指数时间解法。在 [Roney-Dougal & Siccha, 2020] 中已证明，若 是本原的，则正规化子问题可在拟多项式时间内求解。我们证明，对于 的任意子群 和 ，可在拟多项式时间内判定 是否本原，若是则计算 。因此，我们将能否在拟多项式时间内求解正规化子问题，归约到已知正规化子非本原的情形。
引用
@article{arxiv.2106.01886,
title = {Primitive normalisers in quasipolynomial time},
author = {Mun See Chang and Colva M. Roney-Dougal},
journal= {arXiv preprint arXiv:2106.01886},
year = {2021}
}