On the Geometry of Normal Forms in Discrete Groups

We study normal forms in finitely generated groups from the geometric viewpoint of combings. We introduce notions of combability considerably weaker than those commonly in use. We prove that groups which satisfy these conditions are finitely presented and satisfy isoperimetric and isodiametric inequalities of a controlled nature.