Definition:Group Presentation/Relation

From ProofWiki
Jump to navigation Jump to search

Definition

The standard form of a relation in a group presentation is:

$w = e$

where $w$ is a word in the group.


Also known as

A relation in a group presentation is also known as a defining relation.

It is also known as a relator.


Sources