Reference request: lattice operations on the class of finitely presented groups

Question

In my research, I work with certain finitely presented quotients of Coxeter groups. These are the automorphism groups of abstract polytopes, which are combinatorial generalizations of "usual" polytopes. (Essentially, an abstract polytope is an incidence complex.) Now, in this context, there is a useful combinatorial operation that has a nice effect on the automorphism groups. In fact, it's easy to generalize the operation on groups, so I'm curious whether any work has been done with this.

Let $G = \langle X \mid R \rangle$ and $H = \langle X \mid S \rangle$ be finitely presented groups. (I'm not sure that the finiteness of the presentation is essential, but let's assume it for now.) In other words, we have that $G = F(X) / \overline{R}$ and $H = F(X) / \overline{S}$, where $F(X)$ is the free group on $X$ and $\overline{R}$ is the normal closure of $R$ in $F(X)$. Then if $K$ naturally covers $G$ and $H$ (that is, if the identity map on $X$ extends to (surjective) homomorphisms from $K$ to $G$ and $K$ to $H$), we have that $K$ covers the group $F(X) / (\overline{R} \cap \overline{S})$. Similarly, if $G$ and $H$ naturally cover $K$, then the group $F(X) / (\overline{R} \overline{S})$ with presentation $\langle X \mid R \cup S \rangle$ naturally covers $K$ as well.

Therefore, the group $F(X) / (\overline{R} \cap \overline{S})$ is the minimal natural cover of $G$ and $H$, and $F(X) / (\overline{R} \overline{S})$ is the maximal natural quotient of $G$ and $H$. The first group is the fibre product of $G$ and $H$ over the second group.

These seem like such natural operations that I would guess they have been studied before, but I am having trouble finding anything. Any references would be greatly appreciated.

EDIT: Let me expand a little bit. As Mark Sapir points out, I'm essentially looking at the lattice of normal subgroups of F(X). I've looked a little at the general theory of subgroup lattices, but I'm really only interested in normal subgroups of F(X) or other finitely presented groups. Also, I find it difficult to work with the normal subgroups of F(X) directly, whereas it's not too hard to work with the quotients by these normal subgroups via presentations. So I'm hoping to find something that's somewhat more specific than just subgroup lattices; ideally, something that works with presentations.

Here are some examples of the type of questions I'm interested in:

1. Is there a simple way to write down a presentation for $F(X) / (\overline{R} \cap \overline{S})$ without changing the generators?
2. Given G and H, what are some conditions on the relations under which $\overline{R} \overline{S} = F(X)$? (This obviously won't be all-inclusive, but some instructive examples would be nice.)

Answer 1

What you are studying is the lattice of normal subgroups of the free group $F(X)$. The normal subgroup lattices of groups have been studied a lot. For example, this lattice is complete and modular. See the references here.

Update. About your newer, more concrete, questions. Even if $R$ and $S$ are finite, the normal subgroup $\bar R\cap \bar S$ may not be finitely generated. If the membership problem for $\bar R$ and $\bar S$ is decidable, then in principle one can decide the membership problem for the intersection, so you will find a generating set of the intersection - the whole intersection. But I am sure that the problem whether the intersection is finitely generated is undecidable (although I did not think about a proof).

The question whether $\bar R\bar S=F_k$ is the triviality problem which is undecidable (by a theorem of Adian-Rabin) even when $R$ is empty. For example, take any presentation of the trivial group, call a subset of it $R$ and the complement $S$. You get the equality $\bar R\bar S=F_k$. Another way: take a presentation of a finite group of exponent $n$, say, $S_3$ has exponent $6$ and presentation $\langle a,b \mid a^2=b^3=1, aba=b^{-1}\rangle$, and add relations that "kill" the generators, say $a^5=1, b^7=1$. The first set of relations is $R$, the second is $S$.