Function restriction formalism chart
| 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 |