关于$F_n\times F_m$的固定子群交集
摘要：自由群 $F_n \times F_m$ 的一个自同构固定的子群是否与任意子群非平凡地相交是不可判定的。然而，存在一个算法，它接受一个单同态和一个自同态作为输入，并判断它们的固定子群是否非平凡地相交。对于给定两个任意自同态作为输入的一般情况尚未知晓。我们证明，当给定一种特定类型的两个自同态作为输入时，该问题等价于自由群的后序对应问题。
作者：Andr''e Carvalho
论文ID：2306.12533
分类：Group Theory
分类简称：math.GR
提交时间：2023-06-23