]> 2026-07-04T02:47:38+00:00 Subgroup-conjugating automorphism 0 en Subgroup-conjugating automorphism Normal subgroup 0 en Normal subgroup Extensible implies subgroup-conjugating 0 en Extensible implies subgroup-conjugating Finite-extensible implies subgroup-conjugating 0 en Finite-extensible implies subgroup-conjugating Inner automorphism 0 en Inner automorphism 0 Extensible implies subgroup-conjugating#Subgroup-conjugating automorphism;2# 074ea0352002acb8f9583921b02a0c5b 0 Finite-extensible implies subgroup-conjugating#Subgroup-conjugating automorphism;2# 074ea0352002acb8f9583921b02a0c5b 0 Class-preserving not implies subgroup-conjugating#Subgroup-conjugating automorphism;2# 074ea0352002acb8f9583921b02a0c5b 0 Normal not implies subgroup-conjugating#Subgroup-conjugating automorphism;2# 074ea0352002acb8f9583921b02a0c5b 0 Subgroup-conjugating not implies class-preserving#Subgroup-conjugating automorphism;2# 074ea0352002acb8f9583921b02a0c5b Left side of function restriction expression 132 en Left side of function restriction expression Proves property satisfaction of 132 en Proves property satisfaction of Stronger than 132 en Stronger than Page 132 en Page