This may be a silly question as I do not know much about presentations of groups.

Let $\langle S\mid R\rangle $ be a finite presentation of a group. Is it always possible to get a finite presentation $\langle S’\mid R’\rangle$ of an isomorphic group with $|S’|=|R’|$, at least if $|R|>0$?

I know that if $|S|>|R|$ I can simply double some relations until I get the equality, but it is not clear to me if I can do something analogous when $|S|<|R|$, since when adding a new generator I must also add a new relation.

  • $\begingroup$ What is S and what is R $\endgroup$ Sep 14, 2021 at 15:02
  • $\begingroup$ A group is a set plus a binary operation denoted as (Set,Binary operation) .. I don't understand your notation.. or are you talking about a group in a sense other than abstract algebra $\endgroup$ Sep 14, 2021 at 15:02
  • $\begingroup$ You can always put infinitely many generators and relations. Then $|R|=|S|=\infty$. $\endgroup$ Sep 14, 2021 at 15:06
  • 1
    $\begingroup$ @Buraian This is standard notation for a group presentation. $\endgroup$
    – Derek Holt
    Sep 14, 2021 at 15:22
  • $\begingroup$ I should have clarified the notation. I also added the condition that $R$ and $S$ be finite. $\endgroup$ Sep 14, 2021 at 15:24

1 Answer 1


The answer is no. The smallest example is the presentation of the Klein $4$-group $$\langle x,y \mid x^2 = y^2 = 1, xy=yx\rangle.$$ In any presentation $\langle S \mid R \rangle$ of this group we have $|R| \ge |S| + 1$.

I don't know whether there is an elementary proof of that. It follows from a more general result that, for a finite presentation $\langle S \mid R \rangle$ of a finite group $G$, we have $|R| \ge |S| + |d(M(G))|$, where $d(M(G))$ is the smallest number of generators of the Schur Multiplier $M(G)$ of $G$.

$M(G)$ is the (unique up to isomorphism) largest group $M$ for which there is a group $E$ with $M \le Z(E) \cap [E,E]$ and $E/M \cong G$. For the Klein 4-group, we have $|M(G)| = 2$, where, for the covering group $E$ we can take either $D_8$ or $Q_8$.

Interestingly, $Q_8$ does have a balanced presentation (i.e. $|S|=|R|$), namely $\langle x,y \mid x^2=y^2, y^{-1}xy=x^3\rangle$.

There is a lot of literature on this topic. Search for balanced presentations, and the deficiency of a presentation.

  • $\begingroup$ Thank you, this is exactly what I was looking for! $\endgroup$ Sep 14, 2021 at 16:03

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.