- #1

- 348

- 0

## Main Question or Discussion Point

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?

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?