Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

HiSo I'm looking at presentations.I think that I understand that

  1. Jan 23, 2010 #1
    Hi

    So I'm looking at presentations.
    I think that I understand that the group that generates <a,b|a^2,b^2> is Z/2 x Z/2. But how can I find out the group, that generates other presentations such as
    <a,b,c|aba^(-1)bcc>?

    Thanks
     
  2. jcsd
  3. Jan 23, 2010 #2
    Re: presentation

    In general it's a hard problem to identify the group that a presentation generates. Actually a quite interesting related problem in group theory is given a presentation of a group G and two words x1x2...xn and y1y2...ym, determine whether x1x2...xn=y1...ym in G. In general this is an undecidable problem, so in some cases we may not be able to tell whether we have x1...xn=y1...ym or not. As for your specific presentation I don't immediately recognize is, but sometimes fairly simple (in the everyday sense of the word) groups can have complicated presentations.
     
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook