Generators and Relations in Groups and Geometries