Function restriction formalism chart: Difference between revisions

Revision as of 18:36, 21 December 2007

Subgroup property	Expression	Endo-invariance	Balanced	Invariance	Left-inner	Quotient-hereditary invariance
Normal subgroup	Inner $\to$ Aut, Inner $\to$ Function	Yes	No	Yes	Yes	Yes
Characteristic subgroup	Aut $\to$ Aut, Aut $\to$ Function	Yes	Yes	Yes	No	No
Strictly characteristic subgroup	Surj. End $\to$ Function, Surj. End. $\to$ End.	Yes	No	Yes	No	Yes

@@ Line 2: / Line 2: @@
 ! Subgroup property !! Expression !! Endo-invariance !! Balanced !! Invariance !! Left-inner !! Quotient-hereditary invariance
 |-
-|[[Normal subgroup]] || Inner <math>\to</math> Aut, Inner <math>\to</math> Function || Yes || No || Yes || Yes || Yes |-
+|[[Normal subgroup]] || Inner <math>\to</math> Aut, Inner <math>\to</math> Function || Yes || No || Yes || Yes || Yes
-|[[Characteristic subgroup]] || Aut <math>\to</math> Aut, Aut <math>\to</math> Function || Yes || Yes || Yes || No || No |-
+|-
-|[[Strictly characteristic subgroup]] || Surj. End <math>\to</math> Function, Surj. End. <math>\to</math> End. || Yes || No || Yes || No || Yes |- |}
+|[[Characteristic subgroup]] || Aut <math>\to</math> Aut, Aut <math>\to</math> Function || Yes || Yes || Yes || No || No
+|-
+|[[Strictly characteristic subgroup]] || Surj. End <math>\to</math> Function, Surj. End. <math>\to</math> End. || Yes || No || Yes || No || Yes
+|- |}