Category:Group Presentations

From ProofWiki
Jump to navigation Jump to search

This category contains results about Group Presentations.
Definitions specific to this category can be found in Definitions/Group Presentations.

Let $G$ be a group.

A (group) presentation for $G$ is a definition in the form:

$G = \gen {a_1, a_2, \ldots, a_n: w_1 = e, w_2 = e, \ldots, w_k = e}$


$a_1, a_2, \ldots, a_n$ is a list of generators of $G$
$w_1 = e, w_2 = e, \ldots, w_k = e$ is a list of equations specifying relations between powers of these generators.