  We prove a division algorithm for group rings of high genus surface groups
and use it to show that some $2$-complexes with surface fundamental groups are
standard. We also give an application of division to cohomological dimension of
$2$-relator groups acting on $\mathbb H^n$.
