MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

In Embedding theorems for groups, (J. London Math. Soc. 34 1959 465–479.) Neumann and Neumann (NB: this is not the Higman-Neumann-Neumann paper of the same name) make the following definition.

Definition: A subgroup $H$ of a group $G$ is an E-subgroup of $G$ if for every normal subgroup $N\triangleleft H$, there is a normal subgroup $S\triangleleft G$ such that $S\cap H=N$. Equivalently, for every normal subgroup $R\triangleleft H$, the normal closure $R^G$ of $R$ in $G$ is such that $R^G\cap H=R$.

This comes up again in The SQ-universality of hyperbolic groups, by Olshanskii, wherein he simply refers to this situation as the normal structure of $H$ being a restriction of the normal structure of $G$.

Presumably this notion has come up elsewhere, although I don't know of other places where it is explicitly named. It's a natural notion to deal with when working to show a group is SQ-universal, for example. Lately I've been using it in my research, and I would like to know if there is an agreed-upon name for this type of subgroup. As far as I can tell, "E-subgroup" is not widely known. Is there something that is?

share|cite|improve this question
up vote 6 down vote accepted

I think the magic acronym is CEP. See

Update I've just noticed that the question is also tagged reference-request, so here's one (Google reveals many, I'm not sure if there is a canonical one): Non-amenable finitely presented torsion-by-cyclic groups by Ol'shanskii and Sapir. See the introductory Section 1.2 on Page 3 of the pdf.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.