Using subnormality to show the simple connectivity at infinity of a finitely presented group

Author:
Joseph S. Profio

Journal:
Trans. Amer. Math. Soc. **320** (1990), 281-292

MSC:
Primary 20F05; Secondary 55Q05, 57M20

MathSciNet review:
961627

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: A CW-complex is simply connected at infinity if for each compact in there exists a compact in such that loops in are homotopically trivial in . Let be a finitely presented group and a finite CW-complex with fundamental group . is said to be simply connected at infinity if the universal cover of is simply connected at infinity. B. Jackson and C. M. Houghton have independently shown that if and a normal subgroup are infinite finitely presented groups with infinite and either or -ended, then is simply connected at infinity. In the case where is -ended, we exhibit a class of groups showing that the "finitely presented" hypothesis on cannot be reduced to "finitely generated." We address the question: if is normal in and is normal in and these are infinite groups with and finitely presented and either or is -ended, is simply connected at infinity? In the case that is -ended, the answer is shown to be yes. In the case that is -ended, we exhibit a class of such groups that are not simply connected at infinity.

**[1]**Matthew G. Brin and T. L. Thickstun,*Open, irreducible 3-manifolds which are end 1-movable*, Topology**26**(1987), no. 2, 211–233. MR**895574**, 10.1016/0040-9383(87)90062-0**[2]**Daniel E. Cohen,*Groups of cohomological dimension one*, Lecture Notes in Mathematics, Vol. 245, Springer-Verlag, Berlin-New York, 1972. MR**0344359****[3]**Michael W. Davis,*Groups generated by reflections and aspherical manifolds not covered by Euclidean space*, Ann. of Math. (2)**117**(1983), no. 2, 293–324. MR**690848**, 10.2307/2007079**[4]**Ross Geoghegan and Michael L. Mihalik,*A note on the vanishing of 𝐻ⁿ(𝐺,𝑍𝐺)*, J. Pure Appl. Algebra**39**(1986), no. 3, 301–304. MR**821894**, 10.1016/0022-4049(86)90149-0**[5]**Jonathan A. Hillman,*Abelian normal subgroups of two-knot groups*, Comment. Math. Helv.**61**(1986), no. 1, 122–148. MR**847524**, 10.1007/BF02621906**[6]**C. H. Houghton,*Cohomology and the behaviour at infinity of finitely presented groups*, J. London Math. Soc. (2)**15**(1977), no. 3, 465–471. MR**0457577****[7]**Brad Jackson,*End invariants of group extensions*, Topology**21**(1982), no. 1, 71–81. MR**630881**, 10.1016/0040-9383(82)90042-8**[8]**F. E. A. Johnson,*Manifolds of homotopy type 𝐾(𝜋,1). II*, Proc. Cambridge Philos. Soc.**75**(1974), 165–173. MR**0334220****[9]**W. Magnus, A. Karrass, and D. Solitar,*Combinatorial group theory*, Interscience, 1966.**[10]**Michael L. Mihalik,*Solvable groups that are simply connected at ∞*, Math. Z.**195**(1987), no. 1, 79–87. MR**888128**, 10.1007/BF01161600

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC:
20F05,
55Q05,
57M20

Retrieve articles in all journals with MSC: 20F05, 55Q05, 57M20

Additional Information

DOI:
https://doi.org/10.1090/S0002-9947-1990-0961627-X

Keywords:
Universal cover,
CW-complex,
group representations,
homotopy

Article copyright:
© Copyright 1990
American Mathematical Society