Function restriction formalism chart: Difference between revisions
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 |