Retract subgroup
= Retract subgroup
A subgroup $H\leq G$ is a retract when there is a <group homomorphism> $r:G\to H$ whose restriction to $H$ is the identity. If both groups are finitely generated, the inclusion of $H$ is a <quasi-isometric embedding>: the inclusion and retraction are both Lipschitz in their word metrics.