The nonstandard hull construction, one of the most useful applications of Abraham
Robinson’s nonstandard analysis, is generalized to an arbitrary group. Some important
connections between the classical construction as applied to vector spaces and
groups are noted, and several useful results regarding this generalized construction
are developed. The theory developed provides particularly interesting results when
applied to certain discrete groups