Let $G$ be a group and $N$ a normal subgroup of $G$. If one knows a presentation for $G/N$, is it possible to obtain a presentation for $G$ ?
closed as too localized by Andres Caicedo, Andreas Thom, S. Carnahan♦ Nov 3 '10 at 11:23This question is unlikely to help any future visitors; it is only relevant to a small geographic area, a specific moment in time, or an extraordinarily narrow situation that is not generally applicable to the worldwide audience of the internet. For help making this question more broadly applicable, visit the help center. If this question can be reworded to fit the rules in the help center, please edit the question. 


To get a presentation of the extension $G$, you need:
Here is the precise result, which I have cut and pasted from Proposition 2.5 of my own book "Handbook of Computational Group Theory". Suppose that the group $G$ has a normal subgroup $N$, and that we have presentations $\langle Y \mid S \rangle$ of $N$ and $\langle \overline{X} \mid \overline{R} \rangle$ of $G/N$ on generating sets $Y$ and $\overline{X}$, respectively. Here we shall describe a general recipe for constructing a presentation of $G$ as an extension of $N$ by $G/N$. For each $\overline{x} \in \overline{X}$, choose $x \in G$ with $xN = \overline{x}$, and let $X := \{ x \mid \overline{x} \in \overline{X}\}.$ Then, for any word $\overline{w} \in (\overline{X} \cup \overline{X}^{1})^*$, we can define $w \in (X \cup X^{1})^*$ with $wN = \overline{w}$, by substituting $x$ or $x^{1}$ for each $\overline{x}$ or $\overline{x}^{1}$ occurring in $\overline{w}$. In particular, for each $\overline{r} \in \overline{R}$ there is a corresponding word $r$, and then $\overline{r} = 1_{G/N}$ implies that $r \in N$, so in the group $G$ we have $r =_G w_r$, for some word $w_r \in (Y \cup Y^{1})^*$. Let $R$ be the set $\{ rw_r^{1} \mid \overline{r} \in \overline{R} \}$. For each $y \in Y$ and $x \in X$, we have $x^{1}yx \in N$, so $x^{1}yx =_G w_{xy}$ for some word $w_{xy} \in (Y \cup Y^{1})^*$. Let $T$ be the set $\{ x^{1}yxw_{xy}^{1} \mid x \in X,\,y \in Y \}$. Then $\langle X \cup Y \mid R \cup S \cup T \rangle$ is a presentation of $G$. 


I think it's pretty clear that you also need a presentation for $N$ and to understand the map $G\to G/N$. (It's hard to say for sure, as you don't say how $G$ and $N$ are given to you.) Given that information, you can do it: see, for instance, Lemma 2.1 of this paper. 

