Presentation of a group

In group theory, a presentation of a group is a way of describing a group using generators and relations. Specifically, a group presentation is often written in the form: \[ G = \langle S \mid R \rangle \] where: - \( G \) is the group being described. - \( S \) is a set of generators for the group \( G \).