Difference between revisions of "Characteristicity is transitive"
(→Statement) |
(→Statement) |
||
(4 intermediate revisions by the same user not shown) | |||
Line 6: | Line 6: | ||
==Statement== | ==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== | ==Related facts== | ||
Line 92: | Line 92: | ||
==Proof== | ==Proof== | ||
+ | |||
+ | {{tabular proof format}} | ||
===Hands-on proof=== | ===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>G</math>. | + | '''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''': | + | '''To prove''': <math>\sigma(H) = H</math> and <math>\sigma</math> restricts to an automorphism of <math>H</math>. |
'''Proof''': | '''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}} | {{frexp metaproperty satisfaction}} |
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 are groups such that is a characteristic subgroup of , and is a characteristic subgroup of . Then, is a characteristic subgroup of .
Related facts
Close relation with normality
A normal subgroup is a subgroup that is invariant under all inner automorphisms.
Below, we take , with the bottom group, the middle group, and the top group.
Statement | Change in assumption | Change in conclusion |
---|---|---|
Normality is not transitive | normal in , normal in | not normal in |
Characteristic of normal implies normal | normal in | normal in |
Left transiter of normal is characteristic | in such that if is normal in , is normal in | is characteristic in |
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:
Analogues in other algebraic structures
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 |
Definitions used
Characteristic subgroup
Further information: Characteristic subgroup
A subgroup of a group is termed a characteristic subgroup if whenever is an automorphism of , restricts to an automorphism of .
This is written using the function restriction expression:
Automorphism 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 is termed transitive if whenever are groups such that satisfies property in and satisfies property in , also satisfies property in .
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 with a characteristic subgroup . is a characteristic subgroup of . is an automorphism of .
To prove: and restricts to an automorphism of .
Proof:
Step no. | Assertion/construction | Facts used | Given data used | Previous steps used | Explanation |
---|---|---|---|---|---|
1 | , and restricts to an automorphism of , that we call . | definition of characteristic subgroup | is characteristic in , is an automorphism of . | direct | |
2 | , and restricts to an automorphism of | definition of characteristic subgroup | is characteristic in | Step (1) | direct |
3 | and restricts to an automorphism of . | Steps (1), (2) | [SHOW MORE] |
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 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}