Extensible automorphism-invariant equals normal

From Groupprops
Jump to: navigation, search
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

Statement

The following are equivalent for a subgroup of a group:

Facts used

  1. Inner implies extensible
  2. Extensible implies normal

Proof

Conceptual proof using function restriction expressions

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