Geometric invariants for locally compact groups
The features of a group being finitely generated or finitely presented are, respectively, the n=1 and n=2 cases of the finiteness property Fn. Towards the end of the last century, the question of when these finiteness conditions descend to subgroups of G led to the discovery of the sets Σn(G) (and their homological counterparts Σn(G;A), for A a ℤ[G]-module). Each set Σn(G) is a collection of homomorphisms G → R, refining property Fn, in the sense that G has type Fn precisely if Σn(G) contains the zero map.