Presentation of a group

Definition

Symbol-free definition

A presentation of a group is the following data:

• A set of elements in the group that generate the group (that is, a generating set of the group)
• A set of words in terms of these elements, that simplify to the identity in the group (that is, a set of relations among the elements) with the property that a word in the generators simplifies to the identity if and only if it can be expressed formally as a product of conjugates of these words and their inverses

Another way of defining a presentation of a group is as follows:

• A quotient map from a free group to the given group (the images of free generators of the generating set denote generators of the given group).
• A set of elements in the free group whose normal closure is the kernel of the quotient map. These elements play the role of relations.

Particular cases

Multiplication table presentation

In the multiplication table presentation of a group, we take the generating set as the set of all elements of the group and the set of relations as all the multiplication relations. Clearly, these relations are sufficient to determine the group.

Finite presentation

Further information: finite presentation A finite presentation of a group is a presentation where both the generating set and the set of relations is finite. A group that possesses a finite presentation is termed a finitely presented group.

A related notion is that of recursive presentation and recursively presented group.

Balanced presentation

Further information: balanced presentation

A balanced presentation is one where the number of generators equals the number of relations.

More generally, the deficiency of a presentation measures the difference between the number of generators and the number of relators.

Effect of group operations

We denote the input groups by $G_{1}$ and $G_{2}$, their number of generators by $g_{1}$ and $g_{2}$ respectively, and their number of relators by $r_{1}$ and $r_{2}$ respectively.

Operation	Presentation of output in terms of presentations of inputs	Number of generators of output	Number of generators and relations of output
external direct product $G_{1}\times G_{2}$	We take the (disjoint) union of the generating sets and the (disjoint) union of the relation sets, and add in relations stating that every generator of $G_{1}$ commutes with every generator of $G_{2}$	$g_{1}+g_{2}$ generators, $r_{1}+r_{2}+g_{1}g_{2}$ relations
external semidirect product $G_{1}\rtimes G_{2}$ ($G_{2}$ acts on $G_{1}$)	We take the (disjoint) union of the generating sets and the (disjoint) union of the relation sets, and add in an action relation for the action of every generator of $G_{2}$ on every generator of $G_{1}$, as well as (in the infinite case) an action relation for the action of the inverse of every generator of $G_{2}$ on every element of $G_{1}$	$g_{1}+g_{2}$ generators, $r_{1}+r_{2}+2g_{1}g_{2}$ relations. In the finite case, suffices to have $r_{1}+r_{2}+g_{1}g_{2}$ relations
external wreath product $G_{1}\wr G_{2}$, with the acting group $G_{2}$ finite of order $h$	We take the (disjoint) union of the generating sets, the (disjoint) union of the relations, and, for any two (possibly equal) generators of $G_{1}$ and every element of $G_{2}$, a commutativity relation between the first generator for $G_{1}$ and the conjugate by the element of $G_{2}$ of the second generator	$g_{1}+g_{2}$ generators, $r_{1}+r_{2}+g_{1}^{2}h$ relations
external free product $G_{1}*G_{2}$	We take the (disjoint) union of the generators, and the (disjoint) union of the relations	$g_{1}+g_{2}$ generators, $r_{1}+r_{2}$ relations

Manipulating presentations

There are various techniques of manipulating presentations of a group to obtain new presentations, and further, to use presentations of a group to obtain presentations of a subgroup.

Study of this notion

Mathematical subject classification

Under the Mathematical subject classification, the study of this notion comes under the class: 20F05

External links

Definition links

• Wikipedia page
• Planetmath page
• Mathworld page