A hypermaps is, in its topological form, a cellular embedding of a
connected hypergraph on a compact connected surface. This definition can
be translated to an algebraic form, allowing us to use group theory to
prove some results about hypermaps. We will give some examples of how
this can be done and we will also show that the topological version of a
hypermap is sometimes an important tool to prove some algebraic results.