Let $G$ be a group given by generators and relations. It is possible to compute a presentation matrix of a module over a ...