CEP subgroup

From HandWiki

In mathematics, in the field of group theory, a subgroup of a group is said to have the Congruence Extension Property or to be a CEP subgroup if every congruence on the subgroup lifts to a congruence of the whole group. Equivalently, every normal subgroup of the subgroup arises as the intersection with the subgroup of a normal subgroup of the whole group. In symbols, a subgroup [math]\displaystyle{ H }[/math] is a CEP subgroup in a group [math]\displaystyle{ G }[/math] if every normal subgroup [math]\displaystyle{ N }[/math] of [math]\displaystyle{ H }[/math] can be realized as [math]\displaystyle{ H \cap M }[/math] where [math]\displaystyle{ M }[/math] is normal in [math]\displaystyle{ G }[/math].

The following facts are known about CEP subgroups:

References