6
$\begingroup$

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?

$\endgroup$

1 Answer 1

6
$\begingroup$

I think the magic acronym is CEP. See http://en.wikipedia.org/wiki/CEP_subgroup

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.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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