加载中…
Suppose that is a non-empty connected graph, is the fundamental group of a graph of groups over , and is a root class of groups (the last means that contains non-trivial groups and is closed under taking subgroups, extensions, and Cartesian powers of a certain type). It is known that is residually a -group if it has a homomorphism onto a group from acting injectively on all vertex groups. We prove that, in this assertion, the words “vertex groups” can be replaced by “edge subgroups” provided all vertex groups are residually -groups. We also show that the converse doesn’t need to hold if consists of periodic groups and contains at least one infinite group.

生成讲解博客的中文版本

生成AI智能校验的中文版本