Very little can be said about a group just from a presentation. Most strikingly, there is no algorithm to recognise whether a given presentation represents the trivial group.
HJRW
- 25k
- 3
- 68
- 144