Function restriction formalism chart: Difference between revisions

Revision as of 18:38, 21 December 2007

Subgroup property	Function restriction 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 1: / Line 1: @@
 {| class="wikitable" border="1"
-! Subgroup property !! Expression !! Endo-invariance !! Balanced !! Invariance !! Left-inner !! Quotient-hereditary invariance
+! [[Subgroup property]] !! [[Function restriction expression]] !! [[Endo-invariance property|Endo-invariance]] !! [[Balanced subgroup property (function restriction formalism)|Balanced]] !! [[Invariance property|Invariance]] !! [[Left-inner subgroup property|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 automorphism|Inner]] <math>\to</math> [[Automorphism|Aut]], [[Inner automorphism|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
+|[[Strictly characteristic subgroup]] || [[Surjective endomorphism|Surj. End]] <math>\to</math> Function, Surj. End. <math>\to</math> [[Endomorphism|End.]] || Yes || No || Yes || No || Yes
 |- |}