Open main menu

Groupprops β

Completely distinguished subgroup

Definition

Symbol-free definition

A subgroup of a group is termed completely distinguished if for every surjective endomorphism from the group to itself, the subgroup equals its complete pre-image.

Definition with symbols

A subgroup H of a group G is termed completely distinguished in G if it satisfies the following equivalent conditions:

Relation with other properties

Metaproperties