\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{group presentation}

\hypertarget{presentations_of_groups}{}\section*{{Presentations of groups}}\label{presentations_of_groups}

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{definition}{Definition}\dotfill \pageref*{definition} \linebreak
\noindent\hyperlink{examples_of_presentations}{Examples of presentations}\dotfill \pageref*{examples_of_presentations} \linebreak
\noindent\hyperlink{the_standard_presentation}{The standard presentation}\dotfill \pageref*{the_standard_presentation} \linebreak
\noindent\hyperlink{cyclic_groupcyclic_groups}{[[cyclic group|Cyclic groups]]}\dotfill \pageref*{cyclic_groupcyclic_groups} \linebreak
\noindent\hyperlink{the_symmetric_group_of_order_6}{The [[symmetric group]] of order 6}\dotfill \pageref*{the_symmetric_group_of_order_6} \linebreak
\noindent\hyperlink{knot_groupknot_groups}{[[knot group|Knot groups]]}\dotfill \pageref*{knot_groupknot_groups} \linebreak
\noindent\hyperlink{coxeter_groups}{[[Coxeter groups]]}\dotfill \pageref*{coxeter_groups} \linebreak
\noindent\hyperlink{discussion}{Discussion}\dotfill \pageref*{discussion} \linebreak
\noindent\hyperlink{transformations_of_a_group_presentation}{Transformations of a group presentation}\dotfill \pageref*{transformations_of_a_group_presentation} \linebreak
\noindent\hyperlink{combinatorial_group_theory}{Combinatorial group theory}\dotfill \pageref*{combinatorial_group_theory} \linebreak
\noindent\hyperlink{presentations_of_monoids_and_other_algebraic_and_categorical_structures}{Presentations of monoids and other algebraic and categorical structures.}\dotfill \pageref*{presentations_of_monoids_and_other_algebraic_and_categorical_structures} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


\hypertarget{idea}{}\subsection*{{Idea}}\label{idea}

In trying to study a [[group]] $G$, one way to proceed is to

\begin{itemize}%
\item look for a set of generating elements;


\item look for `relations' between those elements.



\end{itemize}
The problem is partially how one is to interpret this second part. To do this we need to look at words in the generators and hence at the [[free group]] on the set of generators.

For example, if we have the symmetric group $S_3$, or, isomorphically, the dihedral group (of symmetries of a triangle) which we will call $D_3$ (following the geometric convention (see the Wikipedia article on dihedral groups), then we have 6 elements, and they are all able to be got as products of a transposition and a three cycle (or alternatively as a reflection and a rotation). If we call the three cycle $a$ and the transposition $b$, we have

\begin{displaymath}
S_3=\{1,a,a^2,b,a b,a^2b\}.
\end{displaymath}
What about the other words: $ba$ for instance. If one calculates $b a$ in $S_3$ and then looks up what you get you have $ba = a^2b$, so that there is a relation between these two words. This however is not all. What about $b a b a a b a a  a b b a a$? That is a word in the $a$s and $b$s so should represent something in $S_3$. in fact if you think in the geometric interpretation of $S_3$ as being the dihedral group, $D_3$, you can pick up a triangle and interpret that word as a list of instructions for moving the triangle. You then find out what this word is out of the 6 possible given forms.

For a presentation, you give a set of generators $X$, so there will be an epimorphism from $F(X)$ to $G$, and then you try to find a description for the kernel of that epimorphism, which we will denote by $N$. The description of this normal subgroup $N$ is as the [[normal closure]] of a set $R$ of relations, i.e. words in the generators or, equally validly, elements in the free group on $X$.

\hypertarget{definition}{}\subsection*{{Definition}}\label{definition}

A presentation of a group, $G$, is a coequalizer diagram $F R \rightrightarrows F X \twoheadrightarrow G$, where $FX$ is the free group on a set of \emph{generators}, and $FR$ one on a set of \emph{relations} (or \emph{relators}, depending on how the relations are specified).

This is not quite the usual `classical' form of the definition, so we will take it apart to show the relationship.

A presentation is thus given by a pair of sets, $X$ and $R$, written $\langle X: R\rangle$ such that setting $F=F(X)= \langle X\rangle =\langle X:\emptyset\rangle$ to be the [[free group]] on the set $X$ and $N$ the [[normal subgroup|normal closure]] of the set of relators $R$, there is a \emph{specified} isomorphism from $F/N$ to $G$.

The specified isomorphism is often omitted, as often the set $X$ of generators is chosen as a subset of the set of elements of $G$. In this case, the universal properties of free groups and quotients, there is a unique map $F\to G$ which restricts to the inclusion of $X$, and thereby at most one map $F/N \to G$ which does so; this map is then the one asserted to be an isomorphism.

In general it is necessary to proceed otherwise, however, and to give a specific function from a set $X$ to the set of elements of $G$. This function then induces a group homomorphism from $F=\langle X\rangle$ to $G$, and if this is a surjection, then we can find some $N$ (generators for its kernel) to produce a presentation of $G$. Without this extra data, certain of the manipulations of a group presntation look decidedly suspect, for instance a substitution which results in two copies of a generator being given. It is also much easier to work with morphisms of presentations if the full data is recorded.

\hypertarget{examples_of_presentations}{}\subsection*{{Examples of presentations}}\label{examples_of_presentations}

\hypertarget{the_standard_presentation}{}\subsubsection*{{The standard presentation}}\label{the_standard_presentation}

A standard if somewhat trivial example of a presentation is given by the \emph{standard presentation} of a group, $G$. We take $X= \{x_g\mid g\in G,g\neq 1\}$, to be a set in bijective correspondence with the underlying set of $G$. (You can take $X$ equal to that set if you like, but sometimes it is better to have a distinct set, for instance, it make for an easier notation for the description of certain morphisms.) The set of relations will be

\begin{displaymath}
R =\{x_g.x_h= x_{gh}\mid g,h \in G\},
\end{displaymath}
so as a \emph{set} is just a copy of $G\times G$ as the relations are indexed by pairs of elements of $G$.

\hypertarget{cyclic_groupcyclic_groups}{}\subsubsection*{{[[cyclic group|Cyclic groups]]}}\label{cyclic_groupcyclic_groups}

Cyclic group, $C_n$, of order $n$ has presentation $\langle a : a^n\rangle$. There are many different functions from the (singleton) set of generators to $C_n$ that will give a suitable presentation in the fuller sense.

\hypertarget{the_symmetric_group_of_order_6}{}\subsubsection*{{The [[symmetric group]] of order 6}}\label{the_symmetric_group_of_order_6}

The group of permutations of three letters, $S_3$, has a presentation

\begin{displaymath}
\langle a,b : a^3, b^2,(a b)^2 \rangle.
\end{displaymath}
Here $a$ corresponds to the 3-cycle, $(123)$, whilst $b$ corresponds to any transposition.

\hypertarget{knot_groupknot_groups}{}\subsubsection*{{[[knot group|Knot groups]]}}\label{knot_groupknot_groups}

The [[trefoil knot|trefoil]] [[knot group]] has two useful presentations:

\begin{itemize}%
\item $\langle a,b : a^3= b^2\rangle$, which displays the fact that the trefoil is a (2,3)-[[torus knot]]; and


\item $\langle x,y : x y x = y x y\rangle$, which shows the link between this group and the Artin [[braid group]], $Br3$.



\end{itemize}
\hypertarget{coxeter_groups}{}\subsubsection*{{[[Coxeter groups]]}}\label{coxeter_groups}

At the entry on [[Coxeter groups]] one finds the following:

\textbf{Definition} A \emph{Coxeter matrix} over an index [[set]] $I$ is a symmetric [[matrix]]

\begin{displaymath}
M \colon I \times I \to \{1, 2, 3, \ldots, \infty\}
\end{displaymath}
such that $M(i, i) = 1$ for all $i \in I$, else $M(i, j) \gt 1$. Writing $m_{i,j} = M(i, j)$, the associated \textbf{Coxeter group} $W_M$ is the group presented as having generators $s_i$, $i \in I$, and relations

\begin{displaymath}
(s_i s_j)^{m_{i, j}} = 1
\end{displaymath}
for all $i, j \in I$, whenever $m_{i, j} \neq \infty$. In other words, $m_{i, j}$ is the order of $s_i s_j$ (as is easily shown), and these orders determine the group.

We thus have an infinite family of group presentations.

\hypertarget{discussion}{}\subsection*{{Discussion}}\label{discussion}

\begin{itemize}%
\item \emph{`Relations' and `relators'}: In the discussion of $S_3$ above we had a \textbf{relation} $b a = a^2b$. so we are relating two words of $F(X)$. It is often the case that instead of relations we use \textbf{relators}, in other words a relation of form $r = 1$, where $r$ is a word in the generators. In the example $b a = a^2b$ can be easily shown to imply and be implied by $a b a b = 1$.


\item Given a group presentation as above, we have a short exact sequence,



\end{itemize}
\begin{displaymath}
1\to N \to F \to G \to 1,
\end{displaymath}
where $F = F(X)$, the free group on the set $X$, $R$ is a subset of $F$ and $N = N(R)$ is the normal closure in $F$ of the set $R$. The group $F$ acts on $N$ by conjugation: ${}^u c = ucu^{-1}, for  c\in N, u \in F$ and the elements of $N$ are words in the conjugates of the elements of $R$:

\begin{displaymath}
c = {}^{u_1}(r_1^{\varepsilon_1}){}^{u_2}(r_2^{\varepsilon_2})\ldots 
{}^{u_n}(r_n^{\varepsilon_n})
\end{displaymath}
where each $\varepsilon_i$ is $+ 1$ or $- 1$. One also says such elements are \textbf{consequences} of $R$. Heuristically an [[identity among the relations]] of $\mathcal{P}$ is such an element $c$ which equals 1.

\hypertarget{transformations_of_a_group_presentation}{}\subsection*{{Transformations of a group presentation}}\label{transformations_of_a_group_presentation}

Given a group presentation, it is natural to perform transformations using substitutions, say adding in one new symbol for a string of generators, and adjusting the presentation accordingly. The valid transformations that do not change the group being presented are formalised as the [[Tietze transformation]]s.

\hypertarget{combinatorial_group_theory}{}\subsection*{{Combinatorial group theory}}\label{combinatorial_group_theory}

The study of group presentations, their transformations etc. forms part of [[combinatorial group theory]].

\hypertarget{presentations_of_monoids_and_other_algebraic_and_categorical_structures}{}\subsection*{{Presentations of monoids and other algebraic and categorical structures.}}\label{presentations_of_monoids_and_other_algebraic_and_categorical_structures}

The theory of group presentations generalises to that of presentations of monoids and then to general [[rewriting]] systems.

\hypertarget{references}{}\subsection*{{References}}\label{references}

A basic introduction to the theory of group presentations can be found in some standard texts, both on group theory itself and on related areas of low dimensional topology, for instance,

\begin{itemize}%
\item [[N. D. Gilbert]] and [[T. Porter]], Knots and Surfaces, Oxford U.P., 1994.

\end{itemize}
For more elementary or introductory texts, see, for instance,

\begin{itemize}%
\item D. L. Johnson, Presentations of Groups (London Mathematical Society Student Texts 15) 1990, Cambridge Univ. Press,

\end{itemize}
or his earlier:

\begin{itemize}%
\item D. L. Johnson, Topics in Theory of Group Presentations, London Mathematical Society Lecture notes series 42) 1980, Cambridge Univ. Press,

\end{itemize}
which have some very useful material in them.

For a deeper treatment of the area, more specialised sources are needed:

\begin{itemize}%
\item [[Roger C. Lyndon]] and [[Paul E. Schupp]], \emph{Combinatorial group theory}, Springer, 1977; \href{http://elib.tu-darmstadt.de/tocs/94684782.pdf}{toc}.

\end{itemize}
category: group theory

[[!redirects group presentation]] [[!redirects group presentations]]

[[!redirects presentation of a group]] [[!redirects presentations of a group]] [[!redirects presentations of groups]]



\end{document}