  We prove that the group of homotopy classes of relative homotopy
automorphisms of a simply connected finite CW-complex is finitely presented and
that the rationalization map from this group to its rational analogue has a
finite kernel.
