Hi, All:
I am given two groups G,G', and their respective presentations:
G=<g1,..,gn| R1,..,Rm> ;
G'=<g1,..,gn| R1,..,Rm, R_(m+1),...,Rj >
i.e., every relation in G is a relation in G', and they both have the same generating
set.
Does this relation (as a...