Download - EVOLVING GROUPS · 2021. 2. 5. · q jq
![Page 1: EVOLVING GROUPS · 2021. 2. 5. · q jq](https://reader036.vdocuments.us/reader036/viewer/2022071608/6145eed28f9ff812541ff182/html5/thumbnails/1.jpg)
EVOLVING GROUPS
EVOLVING GROUPS
Mima Stanojkovski
Università degli Studi di Padova – Universiteit Leiden
7-8-9 July 2013
Master thesis supervised by
Prof. Dr. Hendrik W. Lenstra Jr.
![Page 2: EVOLVING GROUPS · 2021. 2. 5. · q jq](https://reader036.vdocuments.us/reader036/viewer/2022071608/6145eed28f9ff812541ff182/html5/thumbnails/2.jpg)
EVOLVING GROUPS
Definition of an evolving group
Let G be a finite group,
p be a prime number and I ≤ G be ap-subgroup. Then J ≤ G is a p-evolution of I in G if• I ≤ J• gcd{|J : I |, p} = 1• |G : J| is a p-power.
Example:• The only p-evolution of a Sylow subgroup is G .• If G = A5 then the trivial subgroup has a 5-evolution in G , i.e.A4, but it has no 2-evolution.
![Page 3: EVOLVING GROUPS · 2021. 2. 5. · q jq](https://reader036.vdocuments.us/reader036/viewer/2022071608/6145eed28f9ff812541ff182/html5/thumbnails/3.jpg)
EVOLVING GROUPS
Definition of an evolving group
Let G be a finite group, p be a prime number and I ≤ G be ap-subgroup. Then J ≤ G is a p-evolution of I in G if• I ≤ J• gcd{|J : I |, p} = 1• |G : J| is a p-power.
Example:• The only p-evolution of a Sylow subgroup is G .• If G = A5 then the trivial subgroup has a 5-evolution in G , i.e.A4, but it has no 2-evolution.
![Page 4: EVOLVING GROUPS · 2021. 2. 5. · q jq](https://reader036.vdocuments.us/reader036/viewer/2022071608/6145eed28f9ff812541ff182/html5/thumbnails/4.jpg)
EVOLVING GROUPS
Definition of an evolving group
Let G be a finite group, p be a prime number and I ≤ G be ap-subgroup. Then J ≤ G is a p-evolution of I in G if• I ≤ J• gcd{|J : I |, p} = 1• |G : J| is a p-power.
Example:• The only p-evolution of a Sylow subgroup is G .• If G = A5 then the trivial subgroup has a 5-evolution in G , i.e.A4, but it has no 2-evolution.
![Page 5: EVOLVING GROUPS · 2021. 2. 5. · q jq](https://reader036.vdocuments.us/reader036/viewer/2022071608/6145eed28f9ff812541ff182/html5/thumbnails/5.jpg)
EVOLVING GROUPS
Definition of an evolving group
An evolving group is a group G such that, for every prime numberp, every p-subgroup I of G has a p-evolution in G .
Example:• Nilpotent groups are evolving.• Finite groups for which every Sylow subgroup is cyclic areevolving.
Lemma
G evolving, N C G ⇒ N and G/N are evolving.
![Page 6: EVOLVING GROUPS · 2021. 2. 5. · q jq](https://reader036.vdocuments.us/reader036/viewer/2022071608/6145eed28f9ff812541ff182/html5/thumbnails/6.jpg)
EVOLVING GROUPS
Definition of an evolving group
An evolving group is a group G such that, for every prime numberp, every p-subgroup I of G has a p-evolution in G .
Example:• Nilpotent groups are evolving.• Finite groups for which every Sylow subgroup is cyclic areevolving.
Lemma
G evolving, N C G ⇒ N and G/N are evolving.
![Page 7: EVOLVING GROUPS · 2021. 2. 5. · q jq](https://reader036.vdocuments.us/reader036/viewer/2022071608/6145eed28f9ff812541ff182/html5/thumbnails/7.jpg)
EVOLVING GROUPS
Definition of an evolving group
An evolving group is a group G such that, for every prime numberp, every p-subgroup I of G has a p-evolution in G .
Example:• Nilpotent groups are evolving.• Finite groups for which every Sylow subgroup is cyclic areevolving.
Lemma
G evolving, N C G ⇒ N and G/N are evolving.
![Page 8: EVOLVING GROUPS · 2021. 2. 5. · q jq](https://reader036.vdocuments.us/reader036/viewer/2022071608/6145eed28f9ff812541ff182/html5/thumbnails/8.jpg)
EVOLVING GROUPS
Why do we study evolving groups?
Cohomology
Why do we study evolving groups?
Theorem
The following are equivalent.• For every G-module M, integer q, and c ∈ Hq(G ,M), the
minimum of the set {|G : H| | H ≤ G with c ∈ ker ResGH}coincides with its greatest common divisor.
• The group G is an evolving group.
![Page 9: EVOLVING GROUPS · 2021. 2. 5. · q jq](https://reader036.vdocuments.us/reader036/viewer/2022071608/6145eed28f9ff812541ff182/html5/thumbnails/9.jpg)
EVOLVING GROUPS
Why do we study evolving groups?
Cohomology
Why do we study evolving groups?
Theorem
The following are equivalent.• For every G-module M, integer q, and c ∈ Hq(G ,M), the
minimum of the set {|G : H| | H ≤ G with c ∈ ker ResGH}coincides with its greatest common divisor.
• The group G is an evolving group.
![Page 10: EVOLVING GROUPS · 2021. 2. 5. · q jq](https://reader036.vdocuments.us/reader036/viewer/2022071608/6145eed28f9ff812541ff182/html5/thumbnails/10.jpg)
EVOLVING GROUPS
Why do we study evolving groups?
A group G is supersolvable if there exists a chain1 = N0 ≤ N1 ≤ . . . ≤ Nt = G such that• Ni C G• Ni+1/Ni is cyclic.
Theorem
Let G be an evolving group. Then G is supersolvable and it isisomorphic to the semidirect product of two nilpotent groups ofcoprime orders.
![Page 11: EVOLVING GROUPS · 2021. 2. 5. · q jq](https://reader036.vdocuments.us/reader036/viewer/2022071608/6145eed28f9ff812541ff182/html5/thumbnails/11.jpg)
EVOLVING GROUPS
Why do we study evolving groups?
A group G is supersolvable if there exists a chain1 = N0 ≤ N1 ≤ . . . ≤ Nt = G such that• Ni C G• Ni+1/Ni is cyclic.
Theorem
Let G be an evolving group. Then G is supersolvable and it isisomorphic to the semidirect product of two nilpotent groups ofcoprime orders.
![Page 12: EVOLVING GROUPS · 2021. 2. 5. · q jq](https://reader036.vdocuments.us/reader036/viewer/2022071608/6145eed28f9ff812541ff182/html5/thumbnails/12.jpg)
EVOLVING GROUPS
Another characterization
Let P = {p | |G | : p prime}.
A collection (Sp)p∈P , withSp ∈ Sylp(G ), is a Sylow family of G if Sq normalizes Sp wheneverq < p.
Example: The group G = F25 o (µ3(F25) o Aut(F25)) has a Sylowfamily.
Lemma
• Every supersolvable group has a Sylow family.• Sylow families are unique up to conjugation.
![Page 13: EVOLVING GROUPS · 2021. 2. 5. · q jq](https://reader036.vdocuments.us/reader036/viewer/2022071608/6145eed28f9ff812541ff182/html5/thumbnails/13.jpg)
EVOLVING GROUPS
Another characterization
Let P = {p | |G | : p prime}. A collection (Sp)p∈P , withSp ∈ Sylp(G ), is a Sylow family of G if Sq normalizes Sp wheneverq < p.
Example: The group G = F25 o (µ3(F25) o Aut(F25)) has a Sylowfamily.
Lemma
• Every supersolvable group has a Sylow family.• Sylow families are unique up to conjugation.
![Page 14: EVOLVING GROUPS · 2021. 2. 5. · q jq](https://reader036.vdocuments.us/reader036/viewer/2022071608/6145eed28f9ff812541ff182/html5/thumbnails/14.jpg)
EVOLVING GROUPS
Another characterization
Let P = {p | |G | : p prime}. A collection (Sp)p∈P , withSp ∈ Sylp(G ), is a Sylow family of G if Sq normalizes Sp wheneverq < p.
Example: The group G = F25 o (µ3(F25) o Aut(F25)) has a Sylowfamily.
Lemma
• Every supersolvable group has a Sylow family.• Sylow families are unique up to conjugation.
![Page 15: EVOLVING GROUPS · 2021. 2. 5. · q jq](https://reader036.vdocuments.us/reader036/viewer/2022071608/6145eed28f9ff812541ff182/html5/thumbnails/15.jpg)
EVOLVING GROUPS
Another characterization
Let P = {p | |G | : p prime}. A collection (Sp)p∈P , withSp ∈ Sylp(G ), is a Sylow family of G if Sq normalizes Sp wheneverq < p.
Example: The group G = F25 o (µ3(F25) o Aut(F25)) has a Sylowfamily.
Lemma
• Every supersolvable group has a Sylow family.• Sylow families are unique up to conjugation.
![Page 16: EVOLVING GROUPS · 2021. 2. 5. · q jq](https://reader036.vdocuments.us/reader036/viewer/2022071608/6145eed28f9ff812541ff182/html5/thumbnails/16.jpg)
EVOLVING GROUPS
Another characterization
Assume G has a Sylow family (Sq)q∈P and let Tp = 〈Sq | q < p〉;
then G has the correction property if for every p ∈ P and for everyI ≤ Sp there exists α ∈ Sp such that Tp ≤ NG (αIα−1).
Theorem
The following are equivalent.• The group G is an evolving group.• The group G is a supersolvable group with the correction
property.
![Page 17: EVOLVING GROUPS · 2021. 2. 5. · q jq](https://reader036.vdocuments.us/reader036/viewer/2022071608/6145eed28f9ff812541ff182/html5/thumbnails/17.jpg)
EVOLVING GROUPS
Another characterization
Assume G has a Sylow family (Sq)q∈P and let Tp = 〈Sq | q < p〉;then G has the correction property if for every p ∈ P and for everyI ≤ Sp there exists α ∈ Sp such that Tp ≤ NG (αIα−1).
Theorem
The following are equivalent.• The group G is an evolving group.• The group G is a supersolvable group with the correction
property.
![Page 18: EVOLVING GROUPS · 2021. 2. 5. · q jq](https://reader036.vdocuments.us/reader036/viewer/2022071608/6145eed28f9ff812541ff182/html5/thumbnails/18.jpg)
EVOLVING GROUPS
Another characterization
Assume G has a Sylow family (Sq)q∈P and let Tp = 〈Sq | q < p〉;then G has the correction property if for every p ∈ P and for everyI ≤ Sp there exists α ∈ Sp such that Tp ≤ NG (αIα−1).
Theorem
The following are equivalent.• The group G is an evolving group.• The group G is a supersolvable group with the correction
property.
![Page 19: EVOLVING GROUPS · 2021. 2. 5. · q jq](https://reader036.vdocuments.us/reader036/viewer/2022071608/6145eed28f9ff812541ff182/html5/thumbnails/19.jpg)
EVOLVING GROUPS
The structure of an evolving group
Let G be a group with a Sylow family (Sp)p∈P .
The graphassociated to G is the directed graph G = (V ,A), where V = Pand (q, p) ∈ A if and only if q < p and Sq → Aut(Sp/Φ(Sp)) isnon-trivial.
Lemma
If G is an evolving group and p ∈ P, then Tp acts on Sp/Φ(Sp) byscalar multiplications.
![Page 20: EVOLVING GROUPS · 2021. 2. 5. · q jq](https://reader036.vdocuments.us/reader036/viewer/2022071608/6145eed28f9ff812541ff182/html5/thumbnails/20.jpg)
EVOLVING GROUPS
The structure of an evolving group
Let G be a group with a Sylow family (Sp)p∈P . The graphassociated to G is the directed graph G = (V ,A), where V = Pand (q, p) ∈ A if and only if q < p and Sq → Aut(Sp/Φ(Sp)) isnon-trivial.
Lemma
If G is an evolving group and p ∈ P, then Tp acts on Sp/Φ(Sp) byscalar multiplications.
![Page 21: EVOLVING GROUPS · 2021. 2. 5. · q jq](https://reader036.vdocuments.us/reader036/viewer/2022071608/6145eed28f9ff812541ff182/html5/thumbnails/21.jpg)
EVOLVING GROUPS
The structure of an evolving group
Let G be a group with a Sylow family (Sp)p∈P . The graphassociated to G is the directed graph G = (V ,A), where V = Pand (q, p) ∈ A if and only if q < p and Sq → Aut(Sp/Φ(Sp)) isnon-trivial.
Lemma
If G is an evolving group and p ∈ P, then Tp acts on Sp/Φ(Sp) byscalar multiplications.
![Page 22: EVOLVING GROUPS · 2021. 2. 5. · q jq](https://reader036.vdocuments.us/reader036/viewer/2022071608/6145eed28f9ff812541ff182/html5/thumbnails/22.jpg)
EVOLVING GROUPS
The structure of an evolving group
Example: Graph associated to G = F25 o (µ3(F25) o Aut(F25)).
2 3
5
![Page 23: EVOLVING GROUPS · 2021. 2. 5. · q jq](https://reader036.vdocuments.us/reader036/viewer/2022071608/6145eed28f9ff812541ff182/html5/thumbnails/23.jpg)
EVOLVING GROUPS
The structure of an evolving group
Call S the set of source vertices, T the set of target vertices and Ithe set of isolated vertices of the graph.
Theorem
Let G be an evolving group and let (Sp)p∈P be a Sylow family.Then S ∩ T = ∅ and
G =
( ∏p∈T
Sp o∏p∈S
Sp
)×∏p∈I
Sp.
![Page 24: EVOLVING GROUPS · 2021. 2. 5. · q jq](https://reader036.vdocuments.us/reader036/viewer/2022071608/6145eed28f9ff812541ff182/html5/thumbnails/24.jpg)
EVOLVING GROUPS
The structure of an evolving group
Call S the set of source vertices, T the set of target vertices and Ithe set of isolated vertices of the graph.
Theorem
Let G be an evolving group and let (Sp)p∈P be a Sylow family.Then S ∩ T = ∅ and
G =
( ∏p∈T
Sp o∏p∈S
Sp
)×∏p∈I
Sp.
![Page 25: EVOLVING GROUPS · 2021. 2. 5. · q jq](https://reader036.vdocuments.us/reader036/viewer/2022071608/6145eed28f9ff812541ff182/html5/thumbnails/25.jpg)
EVOLVING GROUPS
A non-trivial example
Let p > 2 be a prime number. Then the group
G =
h u v0 1 w0 0 h−1
: u, v ,w ∈ Fp, h ∈ F∗p
is an evolving group.By direct computation, one gets G = GHoF∗p = Sp oTp; it followsthat G has a Sylow family and that G has the correction property.
![Page 26: EVOLVING GROUPS · 2021. 2. 5. · q jq](https://reader036.vdocuments.us/reader036/viewer/2022071608/6145eed28f9ff812541ff182/html5/thumbnails/26.jpg)
EVOLVING GROUPS
A non-trivial example
Let p > 2 be a prime number. Then the group
G =
h u v0 1 w0 0 h−1
: u, v ,w ∈ Fp, h ∈ F∗p
is an evolving group.
By direct computation, one gets G = GHoF∗p = Sp oTp; it followsthat G has a Sylow family and that G has the correction property.
![Page 27: EVOLVING GROUPS · 2021. 2. 5. · q jq](https://reader036.vdocuments.us/reader036/viewer/2022071608/6145eed28f9ff812541ff182/html5/thumbnails/27.jpg)
EVOLVING GROUPS
A non-trivial example
Let p > 2 be a prime number. Then the group
G =
h u v0 1 w0 0 h−1
: u, v ,w ∈ Fp, h ∈ F∗p
is an evolving group.By direct computation, one gets G = GHoF∗p = Sp oTp;
it followsthat G has a Sylow family and that G has the correction property.
![Page 28: EVOLVING GROUPS · 2021. 2. 5. · q jq](https://reader036.vdocuments.us/reader036/viewer/2022071608/6145eed28f9ff812541ff182/html5/thumbnails/28.jpg)
EVOLVING GROUPS
A non-trivial example
Let p > 2 be a prime number. Then the group
G =
h u v0 1 w0 0 h−1
: u, v ,w ∈ Fp, h ∈ F∗p
is an evolving group.By direct computation, one gets G = GHoF∗p = Sp oTp; it followsthat G has a Sylow family and that G has the correction property.
![Page 29: EVOLVING GROUPS · 2021. 2. 5. · q jq](https://reader036.vdocuments.us/reader036/viewer/2022071608/6145eed28f9ff812541ff182/html5/thumbnails/29.jpg)
EVOLVING GROUPS
A non-trivial example
The subgroup
W =
h u v0 1 00 0 h−1
: u, v ∈ Fp, h ∈ F∗p
of G is not evolving.
Indeed, if we write W = WH o F∗p, then F∗p does not act on WH byscalar multiplications.
![Page 30: EVOLVING GROUPS · 2021. 2. 5. · q jq](https://reader036.vdocuments.us/reader036/viewer/2022071608/6145eed28f9ff812541ff182/html5/thumbnails/30.jpg)
EVOLVING GROUPS
A non-trivial example
The subgroup
W =
h u v0 1 00 0 h−1
: u, v ∈ Fp, h ∈ F∗p
of G is not evolving.
Indeed, if we write W = WH o F∗p, then F∗p does not act on WH byscalar multiplications.
![Page 31: EVOLVING GROUPS · 2021. 2. 5. · q jq](https://reader036.vdocuments.us/reader036/viewer/2022071608/6145eed28f9ff812541ff182/html5/thumbnails/31.jpg)
EVOLVING GROUPS
Thank you.