Abstract
This paper is inspired by the following theorem from algebraic topology: Let Π be the fundamental group of a closed aspherical manifold and let 1→ Π→ E → F → 1 be any extension of Π by a finite group F , then the set of torsion elements of CEΠ is a characteristic subgroup of E (cf. [4], [2], [3], [1],. . . ). In the topological setting, this group of torsion elements occurs as the kernel of a properly discontinuous action. This theorem was proved in several steps, where the first step was the case where Π was free abelian of rank k. However, although the problem could be stated in a pure algebraic way, the author could not locate any algebraic proof. E.g. to prove the (key) case where Π = Z, one uses the specialised theory of injective toral actions, which is not easily accessible for pure algebrists. Nevertheless, as we will show, it is not the theorem itself which depends upon the topological properties of the group Π, rather the proofs themselves. The statement of the theorem is valid in a much more general situation and is of interest from the algebraic point of view too. Therefore we would like to present a completely algebraic approach here.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
More From: Bulletin of the Belgian Mathematical Society - Simon Stevin
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.