Specification of a mathematical group by generators and relations
Not to be confused with Group representation.
This article is about specifying generators and relations of a group. For describing a module over a ring, see free presentation.
In mathematics, a presentation is one method of specifying a group. A presentation of a group G comprises a set S of generators—so that every element of the group can be written as a product of powers of some of these generators—and a set R of relations among those generators. We then say G has presentation
Informally, G has the above presentation if it is the "freest group" generated by S subject only to the relations R. Formally, the group G is said to have the above presentation if it is isomorphic to the quotient of a free group on S by the normal subgroup generated by the relations R.
As a simple example, the cyclic group of order n has the presentation
where 1 is the group identity. This may be written equivalently as
thanks to the convention that terms that do not include an equals sign are taken to be equal to the group identity. Such terms are called relators, distinguishing them from the relations that do include an equals sign.
Every group has a presentation, and in fact many different presentations; a presentation is often the most compact way of describing the structure of the group.
A closely related but different concept is that of an absolute presentation of a group.
and 25 Related for: Presentation of a group information
Apresentation conveys information from a speaker to an audience. Presentations are typically demonstrations, introduction, lecture, or speech meant to...
absolute presentation is one method of defining agroup. Recall that to define agroup G{\displaystyle G} by means ofapresentation, one specifies a set S{\displaystyle...
algebra, a generating set ofagroup is a subset of the group set such that every element of the group can be expressed as a combination (under the group operation)...
from finite permutation groups and special examples of matrix groups to abstract groups that may be specified through apresentation by generators and relations...
geometric group theory, apresentation complex is a 2-dimensional cell complex associated to any presentationofagroup G. The complex has a single vertex...
December 2022. MarketScreener (22 April 2024). "Invitation to presentationof Embracer Group's intention to transform into three standalone publicly listed...
The Presentation Sisters, officially the Sisters of the Presentationof the Blessed Virgin Mary, are a religious institute of Roman Catholic women founded...
algorithm that, given a finite presentationofagroup from the class, computes the rank of that group. The rank problem is one of the harder algorithmic...
The Hugo Award for Best Dramatic Presentation is given each year for theatrical films, television episodes, or other dramatized works related to science...
number of such subgroups is indicated in parentheses. Angle brackets <relations> show the presentationofagroup. The finite abelian groups are either...
of B {\displaystyle B} . Alternatively, the free abelian group with basis B {\displaystyle B} may be described by apresentation with the elements of...
on the real-life Academy Group, a society of retired law enforcement agents in the United States. The presentationof the Group varied as the series progressed...
generators of PSL 2 ( Z ) {\displaystyle {\text{PSL}}_{2}(\mathbb {Z} )} , with relations similar to the grouppresentation. The modular group is important...
In mathematics, especially in group theory, a Wirtinger presentation is a finite presentation where the relations are of the form w g i w − 1 = g j {\displaystyle...
[citation needed] using agroup-theoretic proof, though without stating it in group-theoretic terms; a modern presentationof Kronecker's proof is given...
group is finite. Finitely generated module Presentationofagroup Gregorac, Robert J. (1967). "A note on finitely generated groups". Proceedings of the...