克雷格·约翰逊。 计算机搜索表面上的自由动作。 （英语） Zbl 0923.57010号 美国数学。周一。 105，第2期，144-153（1998）. 如果有限群（G）在可定向闭曲面（T）上自由作用并包含定向反转元素，则轨道空间是一个不可定向曲面（U）。让\（N\）表示同态\（\pi_1U\ to \mathbb）的核{Z} _2\)将每个生成器发送到\（mathbb的非平凡元素{Z} _2\). 然后，上述类型的动作双射地对应于表态\（\pi_1U\ to G\），其对\（N\）的限制不是上射的。这用于对所有这样的动作进行计算机搜索，其中（G）的（必然偶数）顺序是（2n \leq 14），而（T）是属（n+1）。在这种情况下，\（U）是属3，搜索算法只检查\（\pi_1 U）的三个生成器的所有可能图像。审核人：Rainer Löwen（布伦瑞克） 引用于1文件 MSC公司： 第57卷第17页 有限变换群 57-04 与流形和细胞复合体有关的问题的软件、源代码等 57秒25 作用于特定歧管的组 57M60毫米 低维流形和细胞复合体上的群作用 PDF格式BibTeX公司 XML格式引用 \textit{C.M.Johnson}，美国数学。周一。105，第2号，144--153（1998；Zbl 0923.57010） 全文： 内政部