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

HTML articles powered by AMS MathViewer

- by Joseph S. Profio
- Trans. Amer. Math. Soc.
**320**(1990), 281-292 - DOI: https://doi.org/10.1090/S0002-9947-1990-0961627-X
- PDF | Request permission

## Abstract:

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

- 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**, DOI 10.1016/0040-9383(87)90062-0 - Daniel E. Cohen,
*Groups of cohomological dimension one*, Lecture Notes in Mathematics, Vol. 245, Springer-Verlag, Berlin-New York, 1972. MR**0344359** - 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**, DOI 10.2307/2007079 - Ross Geoghegan and Michael L. Mihalik,
*A note on the vanishing of $H^n(G,\textbf {Z}G)$*, J. Pure Appl. Algebra**39**(1986), no. 3, 301–304. MR**821894**, DOI 10.1016/0022-4049(86)90149-0 - Jonathan A. Hillman,
*Abelian normal subgroups of two-knot groups*, Comment. Math. Helv.**61**(1986), no. 1, 122–148. MR**847524**, DOI 10.1007/BF02621906 - 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**457577**, DOI 10.1112/jlms/s2-15.3.465 - Brad Jackson,
*End invariants of group extensions*, Topology**21**(1982), no. 1, 71–81. MR**630881**, DOI 10.1016/0040-9383(82)90042-8 - F. E. A. Johnson,
*Manifolds of homotopy type $K(\pi ,\,1)$. II*, Proc. Cambridge Philos. Soc.**75**(1974), 165–173. MR**334220**, DOI 10.1017/s0305004100048386
W. Magnus, A. Karrass, and D. Solitar, - Michael L. Mihalik,
*Solvable groups that are simply connected at $\infty$*, Math. Z.**195**(1987), no. 1, 79–87. MR**888128**, DOI 10.1007/BF01161600

*Combinatorial group theory*, Interscience, 1966.

## Bibliographic Information

- © Copyright 1990 American Mathematical Society
- Journal: Trans. Amer. Math. Soc.
**320**(1990), 281-292 - MSC: Primary 20F05; Secondary 55Q05, 57M20
- DOI: https://doi.org/10.1090/S0002-9947-1990-0961627-X
- MathSciNet review: 961627