Perhaps the simplest non-abelian infinite group to understand is the Heisenberg group H(Z). Given a generating set as our "alphabet," a geodesic in the group is an efficient "spelling" of a group element. It is quite challenging to understand these precisely for an arbitrary choice of generators, but the large-scale geometric structure of the group makes it possible.