Function restriction formalism chart: Difference between revisions

From Groupprops
No edit summary
No edit summary
Line 15: Line 15:
|-
|-
|[[Transitively normal subgroup]] || [[Quotientable automorphism|Quotientable]] <math>\to</math> [[Quotientable automorphism|Quotientable]] || No || Yes || No || Yes || No
|[[Transitively normal subgroup]] || [[Quotientable automorphism|Quotientable]] <math>\to</math> [[Quotientable automorphism|Quotientable]] || No || Yes || No || Yes || No
|-
|[[Retraction-invariant subgroup]] || [[Retraction]] <math>\to</math> [[Retraction]], [[Retraction]] <math>\to</math> Function || Yes || Yes || No || Yes
|-
|-
|}
|}

Revision as of 14:56, 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 No Yes No Yes No
Retraction-invariant subgroup Retraction Retraction, Retraction Function Yes Yes No Yes