Function restriction formalism chart: Difference between revisions

From Groupprops
No edit summary
No edit summary
Line 17: Line 17:
|-
|-
|[[Conjugacy-closed normal subgroup]] || [[Class automorphism|Class]] <math>\to</math> [[Class automorphism|Class]], [[Inner automorphism|Inner]] <math>\to</math> [[Class automorphism|Class]] || No || Yes || No || Yes || ?
|[[Conjugacy-closed normal subgroup]] || [[Class automorphism|Class]] <math>\to</math> [[Class automorphism|Class]], [[Inner automorphism|Inner]] <math>\to</math> [[Class automorphism|Class]] || No || Yes || No || Yes || ?
|=
|-
|[[Retraction-invariant subgroup]] || [[Retraction]] <math>\to</math> [[Retraction]], [[Retraction]] <math>\to</math> Function || Yes || Yes || No || Yes
|[[Retraction-invariant subgroup]] || [[Retraction]] <math>\to</math> [[Retraction]], [[Retraction]] <math>\to</math> Function || Yes || Yes || No || Yes
|-
|-
|}
|}

Revision as of 14:58, 15 February 2008

Subgroup property Function restriction expression Endo-invariance Balanced Invariance Left-inner Quotient-hereditary invariance
Normal subgroup Inner Aut, Inner Function Yes No Yes Yes Yes
Characteristic subgroup Aut Aut, Aut Function Yes Yes Yes No No
Strictly characteristic subgroup Surj. End Function, Surj. End. End. Yes No Yes No Yes
Fully characteristic subgroup End. End. Yes Yes Yes No Yes
I-characteristic subgroup Inj. End. End., Inj. end. Inj. End. Yes Yes Yes No No
Central factor Inner Inner No Yes No Yes No
Transitively normal subgroup Quotientable Quotientable, Inner Quotientable No Yes No Yes No
Conjugacy-closed normal subgroup Class Class, Inner Class No Yes No Yes ?
Retraction-invariant subgroup Retraction Retraction, Retraction Function Yes Yes No Yes