ABSTRACT: We survey the algebraic background for constructing representations of triangle groups in linear groups over algebras arising from quotients of multivariate polynomial rings, leading to improvements of upper bounds on the order of epimorphic images of triangle group with a given injectivity radius and to bounds on the size of the associated hypermaps with a given planar width.