Definition:Group Presentation

From ProofWiki
Jump to navigation Jump to search

Informal definition

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}$

where:

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


Definition

Let $G$ be a group.


A (group) presentation for $G$ is a triple $\tuple {S, R, f}$ where:

$S$ is a set
$R$ is a set of relations on $S$
$f: \gen {S \mid R} \to G$ is a group isomorphism from the group defined by $\struct {S, R}$.


Relations

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

$w = e$

where $w$ is a word in the group.


Comment


This page has been identified as a candidate for refactoring of advanced complexity.
In particular: While this comment provides valuable insight, it needs to be properly incorporated into a sensible page structure around group presentations and presentations of groups
Until this has been finished, please leave {{Refactor}} in the code.

New contributors: Refactoring is a task which is expected to be undertaken by experienced editors only.

Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.
To discuss this page in more detail, feel free to use the talk page.
When this work has been completed, you may remove this instance of {{Refactor}} from the code.


We defined the notation $\gen S$ to be the group generated by $S$ where $S \subseteq G$. This is the subgroup of $G$ which is generated by $S$.

However, here we have taken the concept of $\gen S$ out of the context of the group of which $S$ is a subset, and used it to define a group from first principles.

When $S \subseteq G$, where $G$ and its elements are well-defined, the relations between the elements of $G$ are all documented and understood. However, when using $\gen S$ to define a group, there are no relations between the elements until we define them. In fact, in a truly abstract sense, neither are the elements of $S$ defined in the context of $G$ except from their membership of $S$ and their relationships between each other.


Also see

  • Results about group presentations can be found here.


Sources

Retrieved from "https://proofwiki.org/w/index.php?title=Definition:Group_Presentation&oldid=682695"