The homotopy type of an aspherical simplicial or CW complex is uniquely determined by its fundamental group, so homotopy invariants of an aspherical space are invariants of its fundamental group. I will discuss asphericity as it relates to relative group presentations, equations over (finite) groups, and three-manifolds.