Knot Groups That Are Not Subgroup Separable
نویسندگان
چکیده
This paper answers a question of Burns, Karrass and Solitar by giving examples of knot and link groups which are not subgroup-separable. For instance, it is shown that the fundamental group of the square knot complement is not subgroup separable. Let L denote the fundamental group of the link consisting of a chain of 4 circles. It is shown that L is not subgroup separable. Furthermore, it is shown that L is a subgroup of every known non-subgroup separable compact 3-manifold group. It is asked whether all such examples contain L. A group G is said to be subgroup separable if each nitely generated subgroup H is the intersection of nite index subgroups of G. The rst example of a 3-manifold group which is not subgroup separable was given in BKS]. In that paper, Burns, Karrass, and Solitar observed that their example K is not a knot group, and they asked if knot groups are subgroup separable. The primary purpose of this paper is to answer their question by giving examples of knot and link groups which are not subgroup separable. In section 1, the example K of BKS] is used to show that a closely related group L is not subgroup separable. L is the fundamental group of the complement of a very simple link: the chain of four circles illustrated in gure 2. In section 2, L plays the role of a poisonous subgroup in the proof of theorem 2.1 which characterizes the subgroup separability of certain amalgamated free products. For instance, as a special case of theorem 2.1 we obtain, is subgroup separable if and only if G is virtually F q Z for some q. The example of BKS] was exploited in LN] to produce various other non-subgroup separable groups. For instance, LN] construct a non-subgroup separable example R Z R, where R is the (4; 4; 2) triangle group. Their examples motivated theorem 2.1, which places their examples in a more general class. In section 3, theorem 2.1 is used to show that various knot groups are not subgroup separable. Perhaps the simplest such example is,
منابع مشابه
The Groups of Fibred 2-knots
We explore algebraic characterizations of 2-knots whose associated knot manifolds fibre over lower-dimensional orbifolds, and consider also some issues related to the groups of higherdimensional fibred knots. Nontrivial classical knot groups have cohomological dimension 2, and the knot is fibred if and only if the commutator subgroup is finitely generated, in which case the commutator subgroup ...
متن کاملAbelian subgroup separability of some one-relator groups
Following Malcev [5], we will call a subgroup M of a group G finitely separable if for any element g ∈ G, not belonging to M, there exists a homomorphism φ of group G onto some finite group X such that gφ / ∈Mφ. This is equivalent to the statement that for any element g ∈ G \M, there exists a normal subgroup N of finite index in G such that g / ∈MN . A group G is subgroup separable if each of i...
متن کاملN ov 2 00 5 Elementarily free groups are subgroup separable Henry Wilton 16 th November 2005
Elementarily free groups are the finitely generated groups with the same elementary theory as free groups. We prove that elementarily free groups are subgroup separable, answering a question of Zlil Sela. Limit groups arise naturally in the study of the set of homomorphisms to free groups and, in the guise of fully residually free groups, have long been studied in connection with the first-orde...
متن کاملThe Figure Eight Knot Group is Conjugacy Separable
We prove that torsion free subgroups of PGL2(C) (abstractly) commensurable with the Euclidean Bianchi groups are conjugacy separable. As a consequence we deduce the result stated in the title.
متن کاملOn Generalised Free Products of Conjugacy Separable Groups
In this paper we prove that a free product of conjugacy separable groups A and B, amalgamating a cyclic subgroup, is conjugacy separable if A and B are subgroup separable, cyclic conjugacy separable, 2-free, and residually p-finite, for all prime numbers p. The following result is an example of the applications we obtain as consequences of our main theorem. Let A and B each be a free product of...
متن کامل