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.