*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.