Yes, for . The displayed group presentation is that of the infinite dihedral group. Put and . Then and
Conversely, from , set and ; then . These inverse substitutions give
Each relator has free-group -root exponent one, so
The change of presentation matters: the original presentation's mixed conjugation relator has weight one and would give a smaller p-deficiency.

Articles by others on the same topic (0)

There are currently no matching articles.