在π／H是交换群的条件下,对一般H不动点类的讨论

本文在π／Ｈ是交换群的条件下，讨论了一般Ｈ不动点类的重要数据Ｎ（ｆ，Ｈ）。特别是Ｈ＾－∪→Ｈ时π／Ｈ即为交换群，所列结论全部成立。设Ｘ是紧致连通多面体，ｆ：Ｘ→Ｘ是Ｘ上的自映射 ｘ０∈Ｘ可设ｆ（ｘ０）＝ｘ０，ｆ诱导出的基本群的同态，ｆπ：π１（Ｘ，ｘ０）→π１（Ｘ，ｘ０）简记π１（Ｘ，ｘ０）为π。Ｈ∪→π为π的正规子群，且满足ｆπ（Ｈ）∪→Ｈ。π／Ｈ为商群，π中的元素用α记，π／Ｈ中的元素用α＾－