Open main menu

Groupprops β

Extensible automorphism-invariant equals normal

This article gives a proof/explanation of the equivalence of multiple definitions for the term normal subgroup
View a complete list of pages giving proofs of equivalence of definitions

Contents

Statement

The following are equivalent for a subgroup of a group:

Facts used

Proof

Conceptual proof using function restriction expressions

PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]