# Uniqueness of Group Presentations

1. Aug 4, 2010

### Newtime

I had a few most questions which should be trivial for the group theorists out there, but since I'm still relatively new to this, they have me stumped:

1. Given a presentation, how can one verify it is unique?
2. Given a presentation, how can one verify it is minimal aside from the obvious of manipulating relations into other relations?
3. Given a presentation, how can one verify that one has included all relations? In other words, how can one verify that a presentation is indeed a presentation?