Generators and Relations In Groups and Geometries