Equivalence of definitions of weakly closed conjugacy functor
This article gives a proof/explanation of the equivalence of multiple definitions for the term weakly closed conjugacy functor
View a complete list of pages giving proofs of equivalence of definitions
Contents
Statement
Suppose is a finite group, a prime number, and a conjugacy functor on with respect to . The following are equivalent:
- Either of these:
- There exists a -Sylow subgroup of such that is a weakly closed subgroup of relative to .
- For every -Sylow subgroup of , is a weakly closed subgroup of relative to .
- Either of these:
- There exists a -Sylow subgroup such that, for every -Sylow subgroup containing , .
- For every -Sylow subgroup , and for every -Sylow subgroup containing , .
- Either of these:
- There exists a -Sylow subgroup of such that for any -Sylow subgroup of containing , is a normal subgroup of (the fancy jargon for this is that is a conjugation-invariantly relatively normal subgroup of in ).
- For every -Sylow subgroup of , it is true that for any -Sylow subgroup of containing , is a normal subgroup of (the fancy jargon for this is that is a conjugation-invariantly relatively normal subgroup of in ).
Related facts
Similar facts
Applications
- Equivalence of normality and characteristicity conditions for conjugacy functor
- Equivalence of definitions of characteristic p-functor whose normalizer generates whole group with p'-core
Facts used
- Sylow implies order-conjugate
- Sylow implies WNSCDIN (used only in (3) implies (1) proof)
- Conjugacy functor gives normalizer-relatively normal subgroup (used only in abstract version of (3) implies (1) proof)
- WNSCDIN implies every normalizer-relatively normal conjugation-invariantly relatively normal subgroup is weakly closed (used only in abstract version of (3) implies (1) proof)
Proof
Preliminary notes
The equivalence between both versions of (1), the equivalence between both versions of (2), and the equivalence between both versions of (3), follow from Fact (1) (Sylow implies order-conjugate): any two -Sylow subgroups are conjugate, and the conjugating automorphism preserves all properties including weak closure.
(1) implies (2)
Given: A finite group , a prime number , a -conjugacy functor in and -Sylow subgroups of such that is weakly closed in (with respect to ) and also is contained in .
To prove:
Proof:
Step no. | Assertion/construction | Facts used | Given data used | Previous steps used | Explanation |
---|---|---|---|---|---|
1 | There exists such that | Fact (1) | are -Sylow subgroups of | Given-fact direct | |
2 | is a conjugacy -functor, are Sylow subgroups | Step (1) | Follows from definition of conjugacy functor and the preceding step | ||
3 | is a weakly closed subgroup of with respect to . | is weakly closed in with respect to | Steps (1), (2) | Apply the automorphism . This sends to and to . Thus, being weakly closed in implies that is weakly closed in . | |
4 | Steps (2), (3) | By Step (2) and the given, . By Step (3), this implies that , so that . |
(2) implies (3)
Given: A finite group , a prime number , a -conjugacy functor in , -Sylow subgroups satisfying .
To prove: is normal in .
Proof:
Step no. | Assertion/construction | Facts used | Given data used | Previous steps used | Explanation |
---|---|---|---|---|---|
1 | is normal in | is a -conjugacy functor | For any , we must have, by the definition of conjugacy functor, that . In particular, this is also true for any , giving that for any , . Hence, is normal in . | ||
2 | is normal in . | Step (1) | given-step direct |
(3) implies (1) (concrete proof)
Given: A finite group , a prime number , a conjugacy functor and a -Sylow subgroup of such that for any -Sylow subgroup of containing , is normal in . is such that .
To prove: .
Proof:
Step no. | Assertion/construction | Facts used | Given data used | Previous steps used | Explanation |
---|---|---|---|---|---|
1 | Let . Then, is a -Sylow subgroup of . | is -Sylow in . | |||
2 | is a conjugacy functor for the prime | Step (1) | By the given, , and by Step (1), the left side is . | ||
3 | is contained in . | Step (1) | rearranges to . | ||
4 | is normal in . | For any -Sylow subgroup of containing , is normal in . | Step (3) | Step-given direct | |
5 | is normal in | is a conjugacy functor for the prime . | For any <mathhg \in G</math>, we must have, by the definition of conjugacy functor, that . In particular, this is also true for any , giving that for any , . Hence, is normal in . | ||
6 | and are both normal subgroups of the -Sylow subgroup of that are conjugate in . | Steps (2), (4), (5) | Steps (4) and (5) give the normality of the two subgroups. Step (2) shows that they are conjugate in . | ||
7 | There exists such that . | Fact (2) | Step (6) | Fact-step combination direct | |
8 | is a conjugacy functor for the prime . | Step (7) | Since is a conjugacy functor, . By the preceding step, , so the right side simplifies as . | ||
9 | Steps (7), (8) | Step-combination direct |
(3) implies (1) (abstract proof)
Given: Finite group , prime , -conjugacy functor , -Sylow subgroup of . is conjugation-invariantly relatively normal in .
To prove: is weakly closed in .
Proof:
Step no. | Assertion/construction | Facts used | Given data used | Previous steps used | Explanation |
---|---|---|---|---|---|
1 | is normalizer-relatively normal in with respect to , i.e., is normal in . | Fact (3) | is a -conjugacy functor, is a -Sylow subgroup. | ||
2 | is weakly closed in with respect to . | Facts (2), (4) | is -Sylow in , is conjugation-invariantly relatively normal in . | Step (1) | By Fact (2), is WNSCDIN in (what this means does not matter here). By the given and Step (1), is conjugation-invariantly relatively normal and normalizer-relatively normal in with respect to . Fact (4) yields that is weakly closed in . |