Function restriction formalism chart: Difference between revisions
No edit summary |
No edit summary |
||
| Line 14: | Line 14: | ||
|[[Central factor]] || [[Inner automorphism|Inner]] <math>\to</math> [[Inner automorphism|Inner]] || No || Yes || No || Yes || No | |[[Central factor]] || [[Inner automorphism|Inner]] <math>\to</math> [[Inner automorphism|Inner]] || No || Yes || No || Yes || No | ||
|- | |- | ||
[[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 | ||
|- | |- | ||
|} | |} | ||
Revision as of 18:48, 21 December 2007
| 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 |