Difference between revisions of "Characteristicity is transitive"

Latest revision as of 16:10, 19 December 2014

DIRECT: The fact or result stated in this article has a trivial/direct/straightforward proof provided we use the correct definitions of the terms involved
View other results with direct proofs
VIEW FACTS USING THIS: directly | directly or indirectly, upto two steps | directly or indirectly, upto three steps|
VIEW: Survey articles about this

This article gives the statement, and possibly proof, of a subgroup property (i.e., characteristic subgroup) satisfying a subgroup metaproperty (i.e., transitive subgroup property)
View all subgroup metaproperty satisfactions | View all subgroup metaproperty dissatisfactions |Get help on looking up metaproperty (dis)satisfactions for subgroup properties
Get more facts about characteristic subgroup |Get facts that use property satisfaction of characteristic subgroup | Get facts that use property satisfaction of characteristic subgroup|Get more facts about transitive subgroup property

Statement

Suppose $H \le K \le G$ are groups such that $H$ is a characteristic subgroup of $K$ , and $K$ is a characteristic subgroup of $G$ . Then, $H$ is a characteristic subgroup of $G$ .

Related facts

Close relation with normality

A normal subgroup is a subgroup that is invariant under all inner automorphisms.

Below, we take $H \le K \le G$ , with $H$ the bottom group, $K$ the middle group, and $G$ the top group.

Statement	Change in assumption	Change in conclusion
Normality is not transitive	$H$ normal in $K$ , $K$ normal in $G$	$H$ not normal in $G$
Characteristic of normal implies normal	$K$ normal in $G$	$H$ normal in $G$
Left transiter of normal is characteristic	$H$ in $K$ such that if $K$ is normal in $G$ , $H$ is normal in $G$	$H$ is characteristic in $K$

Generalizations

Balanced implies transitive: Any subgroup property that can be expressed as a balanced subgroup property is transitive. Characteristicity is a special case. Other special cases include:

Property	Balanced with respect to ...	Proof
Fully invariant subgroup	endomorphisms	Full invariance is transitive
Central factor	inner automorphisms	Central factor is transitive
Transitively normal subgroup	normal automorphisms	Transitive normality is transitive
Injective endomorphism-invariant subgroup	injective endomorphisms	Injective endomorphism-invariance is transitive

Analogues in other algebraic structures

Statement	Analogy correspondence	Additional comments
Characteristicity is transitive in Lie rings	Lie ring $\leftrightarrow$ group, characteristic subring of a Lie ring $\leftrightarrow$ characteristic subgroup
Derivation-invariance is transitive	Lie ring $\leftrightarrow$ group, derivation of a Lie ring $\leftrightarrow$ automorphism of a group, derivation-invariant Lie subring $\leftrightarrow$ characteristic subgroup
Characteristicity is transitive for any variety of algebras

Generalizations in the one-of-its-kind sense of the statement

Property	Meaning	Proof
Second-order characteristic subgroup	no subgroup equivalent in the second-order theory of groups	Second-order characteristicity is transitive
Monadic second-order characteristic subgroup	no subgroup equivalent is the monadic second-order theory of groups	Monadic second-order characteristicity is transitive
Purely definable subgroup	definable in the pure theory of groups	Pure definability is transitive

Other related facts

Definitions used

Characteristic subgroup

Further information: Characteristic subgroup

A subgroup $H$ of a group $G$ is termed a characteristic subgroup if whenever $\sigma$ is an automorphism of $G$ , $\sigma$ restricts to an automorphism of $H$ .

This is written using the function restriction expression:

Automorphism $\to$ Automorphism

In other words, every automorphism of the whole group restricts to an automorphism of the subgroup.

Transitive subgroup property

Further information: Transitive subgroup property

A subgroup property $p$ is termed transitive if whenever $H \le K \le G$ are groups such that $H$ satisfies property $p$ in $K$ and $K$ satisfies property $p$ in $G$ , $H$ also satisfies property $p$ in $G$ .

Proof

This proof uses a tabular format for presentation. Provide feedback on tabular proof formats in a survey (opens in new window/tab) | Learn more about tabular proof formats|View all pages on facts with proofs in tabular format

Hands-on proof

Given: A group $G$ with a characteristic subgroup $K$ . $H$ is a characteristic subgroup of $K$ . $\sigma$ is an automorphism of $G$ .

To prove: $\sigma(H) = H$ and $\sigma$ restricts to an automorphism of $H$ .

Proof:

Step no.	Assertion/construction	Facts used	Given data used	Previous steps used	Explanation
1	$\sigma(K) = K$ , and $\sigma$ restricts to an automorphism of $K$ , that we call $\sigma'$ .	definition of characteristic subgroup	$K$ is characteristic in $G$ , $\sigma$ is an automorphism of $G$ .		direct
2	$\sigma'(H) = H$ , and $\sigma'$ restricts to an automorphism of $H$	definition of characteristic subgroup	$H$ is characteristic in $K$	Step (1)	direct
3	$\sigma(H) = H$ and $\sigma$ restricts to an automorphism of $H$ .			Steps (1), (2)	[SHOW MORE] By the meaning of restriction, restricting from $G$ to $K$ and then again from $K$ to $H$ is equivalent to directly restricting from $G$ to $H$ . We have that $\sigma$ on $G$ restricts to $\sigma'$ on $K$ , which in turn restricts to an automorphism of $H$ . Thus, the restriction of $\sigma$ directly to $H$ must also be the same automorphism.

Function restriction expression metaproperty satisfaction

This proof of a subgroup property satisfying a subgroup metaproperty relies on the nature of a function restriction expression for the subgroup property.

This proof method generalizes to the following results: balanced implies transitive

The idea behind this proof is to observe that characteristicity can be written as the balanced subgroup property:

Automorphism $\to$ Automorphism

In other words, every automorphism of the big group restricts to an automorphism of the subgroup. Any balanced subgroup property is transitive, and this gives the proof.

References

Textbook references

Abstract Algebra by David S. Dummit and Richard M. Foote, 10-digit ISBN 0471433349, 13-digit ISBN 978-0471433347, Page 137, Problem 8(b), ^{More info}
Groups and representations by Jonathan Lazare Alperin and Rowen B. Bell, ISBN 0387945261, Page 17, Lemma 4, ^{More info}
A Course in the Theory of Groups by Derek J. S. Robinson, ISBN 0387944613, Page 28, Section 1.5 (Characteristic and Fully invariant subgroups), 1.5.6(ii), ^{More info}
Nilpotent groups and their automorphisms by Evgenii I. Khukhro, ISBN 3110136724, Page 4, Section 1.1, (passing mention)^{More info}

@@ Line 1: / Line 1: @@
 {{trivial result}}
 {{subgroup metaproperty satisfaction|
-property = charcateristic subgroup|
+property = characteristic subgroup|
 metaproperty = transitive subgroup property}}
+[[difficulty level::1| ]]
+==Statement==
+Suppose <math>H \le K \le G</math> are groups such that <math>H</math> is a [[characteristic subgroup]] of <math>K</math>, and <math>K</math> is a [[characteristic subgroup]] of <math>G</math>. Then, <math>H</math> is a [[characteristic subgroup]] of <math>G</math>.
+==Related facts==
+===Close relation with normality===
+A [[normal subgroup]] is a subgroup that is invariant under all [[inner automorphism]]s.
+Below, we take <math>H \le K \le G</math>, with <math>H</math> the bottom group, <math>K</math> the middle group, and <math>G</math> the top group.
+{| class="sortable" border="1"
+! Statement !! Change in assumption !! Change in conclusion
+|-
+| [[Normality is not transitive]] || <math>H</math> normal in <math>K</math>, <math>K</math> normal in <math>G</math> || <math>H</math> ''not'' normal in <math>G</math>
+|-
+| [[Characteristic of normal implies normal]] || <math>K</math> normal in <math>G</math> || <math>H</math> normal in <math>G</math>
+|-
+| [[Left transiter of normal is characteristic]] || <math>H</math> in <math>K</math> such that if <math>K</math> is normal in <math>G</math>, <math>H</math> is normal in <math>G</math> || <math>H</math> is characteristic in <math>K</math>
+|}
+===Generalizations===
+[[Balanced implies transitive]]: Any subgroup property that can be expressed as a [[balanced subgroup property (function restriction formalism)|balanced subgroup property]] is transitive. Characteristicity is a special case. Other special cases include:
+{| class="sortable" border="1"
+! Property !! Balanced with respect to ... !! Proof
+|-
+| [[Fully invariant subgroup]] || [[endomorphism]]s || [[Full invariance is transitive]]
+|-
+| [[Central factor]] || [[inner automorphism]]s || [[Central factor is transitive]]
+|-
+| [[Transitively normal subgroup]] || [[normal automorphism]]s || [[Transitive normality is transitive]]
+|-
+| [[Injective endomorphism-invariant subgroup]] || [[injective endomorphism]]s || [[Injective endomorphism-invariance is transitive]]
+|}
+===Analogues in other algebraic structures===
+{| class="sortable" border="1"
+! Statement !! Analogy correspondence !! Additional comments
+|-
+| [[Characteristicity is transitive in Lie rings]] || [[Lie ring]] <math>\leftrightarrow</math> [[group]], [[characteristic subring of a Lie ring]] <math>\leftrightarrow</math> [[characteristic subgroup]] ||
+|-
+| [[Derivation-invariance is transitive]] || [[Lie ring]] <math>\leftrightarrow</math> [[group]], [[derivation of a Lie ring]] <math>\leftrightarrow</math> [[automorphism of a group]], [[derivation-invariant Lie subring]] <math>\leftrightarrow</math> [[characteristic subgroup]] ||
+|-
+| [[Characteristicity is transitive for any variety of algebras]] || ||
+|}
+===Generalizations in the one-of-its-kind sense of the statement===
+{| class="sortable" border="1"
+! Property !! Meaning !! Proof
+|-
+| [[Second-order characteristic subgroup]] || no subgroup equivalent in the second-order theory of groups || [[Second-order characteristicity is transitive]]
+|-
+| [[Monadic second-order characteristic subgroup]] || no subgroup equivalent is the monadic second-order theory of groups || [[Monadic second-order characteristicity is transitive]]
+|-
+| [[Purely definable subgroup]] || definable in the pure theory of groups || [[Pure definability is transitive]]
+|}
+===Other related facts===
-==Statement==
+* [[Automorph-conjugacy is transitive]]
+* [[SQ-dual::Characteristicity is quotient-transitive]]
+==Definitions used==
+===Characteristic subgroup===
+{{further|[[Characteristic subgroup]]}}
+A subgroup <math>H</math> of a group <math>G</math> is termed a characteristic subgroup if whenever <math>\sigma</math> is an automorphism of <math>G</math>, <math>\sigma</math> restricts to an automorphism of <math>H</math>.
-===Property-theoretic statement===
+This is written using the [[function restriction expression]]:
-The [[subgroup property]] of being [[characteristic subgroup|characteristic]] satisfies the [[subgroup metaproperty]] of being [[transitive subgroup property|transitive]].
+Automorphism <math>\to</math> Automorphism
-===Verbal statement===
+In other words, every automorphism of the whole group restricts to an automorphism of the subgroup.
-A [[characteristic subgroup]] of a [[characteristic subgroup]] is characteristic in the whole group.
+===Transitive subgroup property===
-===Symbolic statement===
+{{further|[[Transitive subgroup property]]}}
-Let <math>H</math> be a [[characteristic subgroup]] of <math>K</math>, and <math>K</math> a characteristic subgroup of <math>G</math>. Then, <math>H</math> is a characteristic subgroup of <math>G</math>.
+A subgroup property <math>p</math> is termed transitive if whenever <math>H \le K \le G</math> are groups such that <math>H</math> satisfies property <math>p</math> in <math>K</math> and <math>K</math> satisfies property <math>p</math> in <math>G</math>, <math>H</math> also satisfies property <math>p</math> in <math>G</math>.
 ==Proof==
-{{fillin}}
+{{tabular proof format}}
+===Hands-on proof===
+'''Given''': A group <math>G</math> with a characteristic subgroup <math>K</math>. <math>H</math> is a characteristic subgroup of <math>K</math>. <math>\sigma</math> is an automorphism of <math>G</math>.
+'''To prove''': <math>\sigma(H) = H</math> and <math>\sigma</math> restricts to an automorphism of <math>H</math>.
+'''Proof''':
+{| class="sortable" border="1"
+! Step no. !! Assertion/construction !! Facts used !! Given data used !! Previous steps used !! Explanation
+|-
+| 1 || <math>\sigma(K) = K</math>, and <math>\sigma</math> restricts to an automorphism of <math>K</math>, that we call <math>\sigma'</math>. || definition of characteristic subgroup || <math>K</math> is characteristic in <math>G</math>, <math>\sigma</math> is an automorphism of <math>G</math>. || || direct
+|-
+| 2 || <math>\sigma'(H) = H</math>, and <math>\sigma'</math> restricts to an automorphism of <math>H</math> || definition of characteristic subgroup || <math>H</math> is characteristic in <math>K</math> || Step (1) || direct
+|-
+| 3 || <math>\sigma(H) = H</math> and <math>\sigma</math> restricts to an automorphism of <math>H</math>. || || || Steps (1), (2) || <toggledisplay>By the meaning of restriction, restricting from <math>G</math> to <math>K</math> and then again from <math>K</math> to <math>H</math> is equivalent to directly restricting from <math>G</math> to <math>H</math>. We have that <math>\sigma</math> on <math>G</math> restricts to <math>\sigma'</math> on <math>K</math>, which in turn restricts to an automorphism of <math>H</math>. Thus, the restriction of <math>\sigma</math> ''directly'' to <math>H</math> must also be the same automorphism.</toggledisplay>
+|}
+{{frexp metaproperty satisfaction}}
+{{proof generalizes|[[balanced implies transitive]]}}
+The idea behind this proof is to observe that characteristicity can be written as the balanced subgroup property:
+Automorphism <math>\to</math> Automorphism
+In other words, every automorphism of the big group restricts to an automorphism of the subgroup. Any balanced subgroup property is transitive, and this gives the proof.
 ==References==
 ===Textbook references===
-* {{booklink-stated|DummitFoote}}, Page 135, Page 137 (Problem 8(b))
+* {{booklink-stated|DummitFoote|137|Problem 8(b)}}
-* {{booklink-stated|AlperinBell}}, Page 17, ''Lemma 4''
+* {{booklink-stated|AlperinBell|17|Lemma 4}}
-* {{booklink-stated|RobinsonGT}}, Page 28, ''Characteristic and Fully invariant subgroups'', 1.5.6(ii)
+* {{booklink-stated|RobinsonGT|28| Section 1.5 (''Characteristic and Fully invariant subgroups''), 1.5.6(ii)}}
-* {{booklink-stated|KhukhroNGA}}, Page 4, Section 1.1 (passing mention)
+* {{booklink-stated|KhukhroNGA|4|Section 1.1|passing mention}}

Difference between revisions of "Characteristicity is transitive"

Latest revision as of 16:10, 19 December 2014

Contents

Statement

Related facts

Close relation with normality

Generalizations

Analogues in other algebraic structures

Generalizations in the one-of-its-kind sense of the statement

Other related facts

Definitions used

Characteristic subgroup

Transitive subgroup property

Proof

Hands-on proof

Function restriction expression metaproperty satisfaction

References

Textbook references

Navigation menu

Personal tools

Namespaces

Variants

Views

More

Search

Key links

Lookup

Top terms to know

Popular groups

Tools