characterizing the group of coleman automorphisms4.e.c. dade. locally trivial outer automorphisms of...
TRANSCRIPT
![Page 1: Characterizing the group of Coleman automorphisms4.E.C. Dade. Locally trivial outer automorphisms of ˙nite groups. 5.A. Van Antwerpen. Coleman automorphisms of ˙nite groups and their](https://reader033.vdocuments.net/reader033/viewer/2022042914/5f4e105f9a3235269f18c630/html5/thumbnails/1.jpg)
1
CHARACTERIZING THE GROUP OFCOLEMAN AUTOMORPHISMS
Arne Van AntwerpenSeptember 4, 2017
![Page 2: Characterizing the group of Coleman automorphisms4.E.C. Dade. Locally trivial outer automorphisms of ˙nite groups. 5.A. Van Antwerpen. Coleman automorphisms of ˙nite groups and their](https://reader033.vdocuments.net/reader033/viewer/2022042914/5f4e105f9a3235269f18c630/html5/thumbnails/2.jpg)
2
DEFINITIONS
DefinitionLet G be a finite group and σ ∈ Aut(G). If for any prime p dividingthe order of G and any Sylow p-subgroup P of G, there exists ag ∈ G such that σ|P = conj(g)|P, then σ is said to be a Colemanautomorphism.
Denote Autcol(G) for the set of Coleman automorphisms, Inn(G)for the set of inner automorphisms and set
Outcol(G) = Autcol(G)/Inn(G).
![Page 3: Characterizing the group of Coleman automorphisms4.E.C. Dade. Locally trivial outer automorphisms of ˙nite groups. 5.A. Van Antwerpen. Coleman automorphisms of ˙nite groups and their](https://reader033.vdocuments.net/reader033/viewer/2022042914/5f4e105f9a3235269f18c630/html5/thumbnails/3.jpg)
2
DEFINITIONS
DefinitionLet G be a finite group and σ ∈ Aut(G). If for any prime p dividingthe order of G and any Sylow p-subgroup P of G, there exists ag ∈ G such that σ|P = conj(g)|P, then σ is said to be a Colemanautomorphism.Denote Autcol(G) for the set of Coleman automorphisms, Inn(G)for the set of inner automorphisms and set
Outcol(G) = Autcol(G)/Inn(G).
![Page 4: Characterizing the group of Coleman automorphisms4.E.C. Dade. Locally trivial outer automorphisms of ˙nite groups. 5.A. Van Antwerpen. Coleman automorphisms of ˙nite groups and their](https://reader033.vdocuments.net/reader033/viewer/2022042914/5f4e105f9a3235269f18c630/html5/thumbnails/4.jpg)
3
ELEMENTARY RESULTS
Theorem (Hertweck and Kimmerle)Let G be a finite group. The prime divisors of |Autcol(G)| are alsoprime divisors of |G|.
LemmaLet N be a normal subgroup of a finite group G. If σ ∈ Autcol(G),then σ|N ∈ Aut(N).
![Page 5: Characterizing the group of Coleman automorphisms4.E.C. Dade. Locally trivial outer automorphisms of ˙nite groups. 5.A. Van Antwerpen. Coleman automorphisms of ˙nite groups and their](https://reader033.vdocuments.net/reader033/viewer/2022042914/5f4e105f9a3235269f18c630/html5/thumbnails/5.jpg)
3
ELEMENTARY RESULTS
Theorem (Hertweck and Kimmerle)Let G be a finite group. The prime divisors of |Autcol(G)| are alsoprime divisors of |G|.
LemmaLet N be a normal subgroup of a finite group G. If σ ∈ Autcol(G),then σ|N ∈ Aut(N).
![Page 6: Characterizing the group of Coleman automorphisms4.E.C. Dade. Locally trivial outer automorphisms of ˙nite groups. 5.A. Van Antwerpen. Coleman automorphisms of ˙nite groups and their](https://reader033.vdocuments.net/reader033/viewer/2022042914/5f4e105f9a3235269f18c630/html5/thumbnails/6.jpg)
4
NORMALIZER PROBLEM
Let G be a group and R a ring (denote U(RG) for the units of RG),then we clearly have that
GCU(RG)(G) ⊆ NU(RG)(G)
Is this an equality?
NU(RG)(G) = GCU(RG)(G)
Of special interest: R = Z
![Page 7: Characterizing the group of Coleman automorphisms4.E.C. Dade. Locally trivial outer automorphisms of ˙nite groups. 5.A. Van Antwerpen. Coleman automorphisms of ˙nite groups and their](https://reader033.vdocuments.net/reader033/viewer/2022042914/5f4e105f9a3235269f18c630/html5/thumbnails/7.jpg)
4
NORMALIZER PROBLEM
Let G be a group and R a ring (denote U(RG) for the units of RG),then we clearly have that
GCU(RG)(G) ⊆ NU(RG)(G)
Is this an equality?
NU(RG)(G) = GCU(RG)(G)
Of special interest: R = Z
![Page 8: Characterizing the group of Coleman automorphisms4.E.C. Dade. Locally trivial outer automorphisms of ˙nite groups. 5.A. Van Antwerpen. Coleman automorphisms of ˙nite groups and their](https://reader033.vdocuments.net/reader033/viewer/2022042914/5f4e105f9a3235269f18c630/html5/thumbnails/8.jpg)
5
SETUP FOR REFORMULATION
If u ∈ NU(RG)(G), then u induces an automorphism of G:
ϕu : G→ Gg 7→ u−1gu
Denote AutU(G;R) for the group of these automorphisms(AutU(G) if R = Z) and OutU(G;R) = AutU(G;R)/Inn(G)
![Page 9: Characterizing the group of Coleman automorphisms4.E.C. Dade. Locally trivial outer automorphisms of ˙nite groups. 5.A. Van Antwerpen. Coleman automorphisms of ˙nite groups and their](https://reader033.vdocuments.net/reader033/viewer/2022042914/5f4e105f9a3235269f18c630/html5/thumbnails/9.jpg)
5
SETUP FOR REFORMULATION
If u ∈ NU(RG)(G), then u induces an automorphism of G:
ϕu : G→ Gg 7→ u−1gu
Denote AutU(G;R) for the group of these automorphisms(AutU(G) if R = Z) and OutU(G;R) = AutU(G;R)/Inn(G)
![Page 10: Characterizing the group of Coleman automorphisms4.E.C. Dade. Locally trivial outer automorphisms of ˙nite groups. 5.A. Van Antwerpen. Coleman automorphisms of ˙nite groups and their](https://reader033.vdocuments.net/reader033/viewer/2022042914/5f4e105f9a3235269f18c630/html5/thumbnails/10.jpg)
6
REFORMULATION
Theorem (Jackowski and Marciniak)G a finite group, R a commutative ring. TFAE1. NU(RG)(G) = GCU(RG)(G)
2. AutU(G;R) = Inn(G)
TheoremLet G be a finite group. Then,
AutU(G) ⊆ Autcol(G)
![Page 11: Characterizing the group of Coleman automorphisms4.E.C. Dade. Locally trivial outer automorphisms of ˙nite groups. 5.A. Van Antwerpen. Coleman automorphisms of ˙nite groups and their](https://reader033.vdocuments.net/reader033/viewer/2022042914/5f4e105f9a3235269f18c630/html5/thumbnails/11.jpg)
6
REFORMULATION
Theorem (Jackowski and Marciniak)G a finite group, R a commutative ring. TFAE1. NU(RG)(G) = GCU(RG)(G)
2. AutU(G;R) = Inn(G)
TheoremLet G be a finite group. Then,
AutU(G) ⊆ Autcol(G)
![Page 12: Characterizing the group of Coleman automorphisms4.E.C. Dade. Locally trivial outer automorphisms of ˙nite groups. 5.A. Van Antwerpen. Coleman automorphisms of ˙nite groups and their](https://reader033.vdocuments.net/reader033/viewer/2022042914/5f4e105f9a3235269f18c630/html5/thumbnails/12.jpg)
7
SADLY, A COUNTEREXAMPLE
Theorem (Hertweck)There exists a finite metabelian group G of order 225972 with
AutU(RG)(G) 6= Inn(G).
![Page 13: Characterizing the group of Coleman automorphisms4.E.C. Dade. Locally trivial outer automorphisms of ˙nite groups. 5.A. Van Antwerpen. Coleman automorphisms of ˙nite groups and their](https://reader033.vdocuments.net/reader033/viewer/2022042914/5f4e105f9a3235269f18c630/html5/thumbnails/13.jpg)
8
SOME MOTIVATION
Theorem (Dade)Let G be a finite group. Then, Outcol(G) is a nilpotent group.
Dade conjectured that Outcol(G) is even an abelian group, dueto the following theorem.
Theorem (Dade)Let A be a finite abelian group. Then there exists a finitemetabelian group G such that Outcol(G) ∼= A.
![Page 14: Characterizing the group of Coleman automorphisms4.E.C. Dade. Locally trivial outer automorphisms of ˙nite groups. 5.A. Van Antwerpen. Coleman automorphisms of ˙nite groups and their](https://reader033.vdocuments.net/reader033/viewer/2022042914/5f4e105f9a3235269f18c630/html5/thumbnails/14.jpg)
8
SOME MOTIVATION
Theorem (Dade)Let G be a finite group. Then, Outcol(G) is a nilpotent group.Dade conjectured that Outcol(G) is even an abelian group, dueto the following theorem.
Theorem (Dade)Let A be a finite abelian group. Then there exists a finitemetabelian group G such that Outcol(G) ∼= A.
![Page 15: Characterizing the group of Coleman automorphisms4.E.C. Dade. Locally trivial outer automorphisms of ˙nite groups. 5.A. Van Antwerpen. Coleman automorphisms of ˙nite groups and their](https://reader033.vdocuments.net/reader033/viewer/2022042914/5f4e105f9a3235269f18c630/html5/thumbnails/15.jpg)
8
SOME MOTIVATION
Theorem (Dade)Let G be a finite group. Then, Outcol(G) is a nilpotent group.Dade conjectured that Outcol(G) is even an abelian group, dueto the following theorem.
Theorem (Dade)Let A be a finite abelian group. Then there exists a finitemetabelian group G such that Outcol(G) ∼= A.
![Page 16: Characterizing the group of Coleman automorphisms4.E.C. Dade. Locally trivial outer automorphisms of ˙nite groups. 5.A. Van Antwerpen. Coleman automorphisms of ˙nite groups and their](https://reader033.vdocuments.net/reader033/viewer/2022042914/5f4e105f9a3235269f18c630/html5/thumbnails/16.jpg)
9
DADE’S CONJECTURE REVISITED
Using the structure of the groups, Hertweck and Kimmerleshowed that Outcol(G) = 1 for several classes of finite groups.
Theorem (Hertweck, Kimmerle)Let G be a finite group. Then Outcol(G) is a finite abelian group.
![Page 17: Characterizing the group of Coleman automorphisms4.E.C. Dade. Locally trivial outer automorphisms of ˙nite groups. 5.A. Van Antwerpen. Coleman automorphisms of ˙nite groups and their](https://reader033.vdocuments.net/reader033/viewer/2022042914/5f4e105f9a3235269f18c630/html5/thumbnails/17.jpg)
9
DADE’S CONJECTURE REVISITED
Using the structure of the groups, Hertweck and Kimmerleshowed that Outcol(G) = 1 for several classes of finite groups.
Theorem (Hertweck, Kimmerle)Let G be a finite group. Then Outcol(G) is a finite abelian group.
![Page 18: Characterizing the group of Coleman automorphisms4.E.C. Dade. Locally trivial outer automorphisms of ˙nite groups. 5.A. Van Antwerpen. Coleman automorphisms of ˙nite groups and their](https://reader033.vdocuments.net/reader033/viewer/2022042914/5f4e105f9a3235269f18c630/html5/thumbnails/18.jpg)
10
INTEREST IN CHARACTERIZING AUTCOL(G)
1. As an interesting subclass of Aut(G)
2. To study Outcol(G)
3. To find classes of finite groups where anothercounterexample to the Normalizer problem can be found
![Page 19: Characterizing the group of Coleman automorphisms4.E.C. Dade. Locally trivial outer automorphisms of ˙nite groups. 5.A. Van Antwerpen. Coleman automorphisms of ˙nite groups and their](https://reader033.vdocuments.net/reader033/viewer/2022042914/5f4e105f9a3235269f18c630/html5/thumbnails/19.jpg)
10
INTEREST IN CHARACTERIZING AUTCOL(G)
1. As an interesting subclass of Aut(G)
2. To study Outcol(G)
3. To find classes of finite groups where anothercounterexample to the Normalizer problem can be found
![Page 20: Characterizing the group of Coleman automorphisms4.E.C. Dade. Locally trivial outer automorphisms of ˙nite groups. 5.A. Van Antwerpen. Coleman automorphisms of ˙nite groups and their](https://reader033.vdocuments.net/reader033/viewer/2022042914/5f4e105f9a3235269f18c630/html5/thumbnails/20.jpg)
10
INTEREST IN CHARACTERIZING AUTCOL(G)
1. As an interesting subclass of Aut(G)
2. To study Outcol(G)
3. To find classes of finite groups where anothercounterexample to the Normalizer problem can be found
![Page 21: Characterizing the group of Coleman automorphisms4.E.C. Dade. Locally trivial outer automorphisms of ˙nite groups. 5.A. Van Antwerpen. Coleman automorphisms of ˙nite groups and their](https://reader033.vdocuments.net/reader033/viewer/2022042914/5f4e105f9a3235269f18c630/html5/thumbnails/21.jpg)
11
GENERALIZED DIHEDRAL GROUPS
TheoremLet A be an abelian group and C2 = 〈η〉. Denote D = Ao η, whereη acts by inversion. Then,
Autcol(D) = Inn(D) o K,
where K is an elementary abelian 2-group.
![Page 22: Characterizing the group of Coleman automorphisms4.E.C. Dade. Locally trivial outer automorphisms of ˙nite groups. 5.A. Van Antwerpen. Coleman automorphisms of ˙nite groups and their](https://reader033.vdocuments.net/reader033/viewer/2022042914/5f4e105f9a3235269f18c630/html5/thumbnails/22.jpg)
12
DEFINING THE OUTER AUTOMORPHISMS
DefinitionLet A be a finite abelian group and Cq = 〈x〉 a cyclic group oforder q = pr , with p a prime number. Write A = Ap1 × ...×Apn , itsSylow decomposition. Then, for any 1 ≤ i ≤ n and non-negativeintegers ki, define the group homomorphisms
φk1...kn : A ∗ Cq → A ∗ Cq
where, for gi ∈ Api ,
gi 7→ x−kigixki and x 7→ x
![Page 23: Characterizing the group of Coleman automorphisms4.E.C. Dade. Locally trivial outer automorphisms of ˙nite groups. 5.A. Van Antwerpen. Coleman automorphisms of ˙nite groups and their](https://reader033.vdocuments.net/reader033/viewer/2022042914/5f4e105f9a3235269f18c630/html5/thumbnails/23.jpg)
13
ABELIAN-BY-CYCLIC GROUPS
TheoremLet G = Ao Cq, with notation as before. For any 1 ≤ i ≤ n, let ribe the smallest positive integer such that conj(xri)|Api
= id|Api.
Assume that the Sylow subgroups are ordered such thatr1 ≤ ... ≤ rn. Then,
Autcol(G) = Inn(G) o K,
withK =
{Φk1...kn−10 | ki ∈ Zri
}.
Thus,K ∼= Cr1 × ...× Crn−1 .
![Page 24: Characterizing the group of Coleman automorphisms4.E.C. Dade. Locally trivial outer automorphisms of ˙nite groups. 5.A. Van Antwerpen. Coleman automorphisms of ˙nite groups and their](https://reader033.vdocuments.net/reader033/viewer/2022042914/5f4e105f9a3235269f18c630/html5/thumbnails/24.jpg)
14
NILPOTENT-BY-CYCLIC GROUPS
TheoremLet G be a finite nilpotent-by-(p-power-cyclic) group. Then, undervery technical specifications
Autcol(G) ∼= Inn(G) o K.
![Page 25: Characterizing the group of Coleman automorphisms4.E.C. Dade. Locally trivial outer automorphisms of ˙nite groups. 5.A. Van Antwerpen. Coleman automorphisms of ˙nite groups and their](https://reader033.vdocuments.net/reader033/viewer/2022042914/5f4e105f9a3235269f18c630/html5/thumbnails/25.jpg)
15
QUESTIONS OF HERTWECK AND KIMMERLE
Questions (Hertweck and Kimmerle)
1. Is Outcol(G) a p′-group if G does not have Cp as a chieffactor?
2. Is Outcol(G) trivial if Op′(G) is trivial?3. Is Outcol(G) trivial if G has a unique minimal non-trivial
normal subgroup?
Partial Answer (Hertweck, Kimmerle)Besides giving several conditions, all three statements hold if Gis assumed to be a p-constrained group.
![Page 26: Characterizing the group of Coleman automorphisms4.E.C. Dade. Locally trivial outer automorphisms of ˙nite groups. 5.A. Van Antwerpen. Coleman automorphisms of ˙nite groups and their](https://reader033.vdocuments.net/reader033/viewer/2022042914/5f4e105f9a3235269f18c630/html5/thumbnails/26.jpg)
15
QUESTIONS OF HERTWECK AND KIMMERLE
Questions (Hertweck and Kimmerle)
1. Is Outcol(G) a p′-group if G does not have Cp as a chieffactor?
2. Is Outcol(G) trivial if Op′(G) is trivial?
3. Is Outcol(G) trivial if G has a unique minimal non-trivialnormal subgroup?
Partial Answer (Hertweck, Kimmerle)Besides giving several conditions, all three statements hold if Gis assumed to be a p-constrained group.
![Page 27: Characterizing the group of Coleman automorphisms4.E.C. Dade. Locally trivial outer automorphisms of ˙nite groups. 5.A. Van Antwerpen. Coleman automorphisms of ˙nite groups and their](https://reader033.vdocuments.net/reader033/viewer/2022042914/5f4e105f9a3235269f18c630/html5/thumbnails/27.jpg)
15
QUESTIONS OF HERTWECK AND KIMMERLE
Questions (Hertweck and Kimmerle)
1. Is Outcol(G) a p′-group if G does not have Cp as a chieffactor?
2. Is Outcol(G) trivial if Op′(G) is trivial?3. Is Outcol(G) trivial if G has a unique minimal non-trivial
normal subgroup?
Partial Answer (Hertweck, Kimmerle)Besides giving several conditions, all three statements hold if Gis assumed to be a p-constrained group.
![Page 28: Characterizing the group of Coleman automorphisms4.E.C. Dade. Locally trivial outer automorphisms of ˙nite groups. 5.A. Van Antwerpen. Coleman automorphisms of ˙nite groups and their](https://reader033.vdocuments.net/reader033/viewer/2022042914/5f4e105f9a3235269f18c630/html5/thumbnails/28.jpg)
15
QUESTIONS OF HERTWECK AND KIMMERLE
Questions (Hertweck and Kimmerle)
1. Is Outcol(G) a p′-group if G does not have Cp as a chieffactor?
2. Is Outcol(G) trivial if Op′(G) is trivial?3. Is Outcol(G) trivial if G has a unique minimal non-trivial
normal subgroup?
Partial Answer (Hertweck, Kimmerle)Besides giving several conditions, all three statements hold if Gis assumed to be a p-constrained group.
![Page 29: Characterizing the group of Coleman automorphisms4.E.C. Dade. Locally trivial outer automorphisms of ˙nite groups. 5.A. Van Antwerpen. Coleman automorphisms of ˙nite groups and their](https://reader033.vdocuments.net/reader033/viewer/2022042914/5f4e105f9a3235269f18c630/html5/thumbnails/29.jpg)
16
NEW ANSWERS
Partial Answers (Van Antwerpen)
1. No new result.
2. True, if Op(G) = Op′(G) = 1, where p is an odd prime and theorder of every direct component of E(G) is divisible by p.
3. True, if the unique minimal non-trivial normal subgroup isnon-abelian. True, if question 2 has a positive answer.
![Page 30: Characterizing the group of Coleman automorphisms4.E.C. Dade. Locally trivial outer automorphisms of ˙nite groups. 5.A. Van Antwerpen. Coleman automorphisms of ˙nite groups and their](https://reader033.vdocuments.net/reader033/viewer/2022042914/5f4e105f9a3235269f18c630/html5/thumbnails/30.jpg)
16
NEW ANSWERS
Partial Answers (Van Antwerpen)
1. No new result.2. True, if Op(G) = Op′(G) = 1, where p is an odd prime and the
order of every direct component of E(G) is divisible by p.
3. True, if the unique minimal non-trivial normal subgroup isnon-abelian. True, if question 2 has a positive answer.
![Page 31: Characterizing the group of Coleman automorphisms4.E.C. Dade. Locally trivial outer automorphisms of ˙nite groups. 5.A. Van Antwerpen. Coleman automorphisms of ˙nite groups and their](https://reader033.vdocuments.net/reader033/viewer/2022042914/5f4e105f9a3235269f18c630/html5/thumbnails/31.jpg)
16
NEW ANSWERS
Partial Answers (Van Antwerpen)
1. No new result.2. True, if Op(G) = Op′(G) = 1, where p is an odd prime and the
order of every direct component of E(G) is divisible by p.3. True, if the unique minimal non-trivial normal subgroup is
non-abelian. True, if question 2 has a positive answer.
![Page 32: Characterizing the group of Coleman automorphisms4.E.C. Dade. Locally trivial outer automorphisms of ˙nite groups. 5.A. Van Antwerpen. Coleman automorphisms of ˙nite groups and their](https://reader033.vdocuments.net/reader033/viewer/2022042914/5f4e105f9a3235269f18c630/html5/thumbnails/32.jpg)
17
FURTHER RESEARCH
Inkling of IdeaIn case G has a unique minimal non-trivial normal subgroup N,which we may assume to be abelian, we may be able to use theclassification of the simple groups and the list of all Schurmultipliers to give a technical proof.
Related QuestionGross conjectured that for a finite group G with Op′(G) = 1 forsome odd prime p, p-central automorphisms of p-power orderare inner. Hertweck and Kimmerle believed this is possible usingthe classification of Schur multipliers.
![Page 33: Characterizing the group of Coleman automorphisms4.E.C. Dade. Locally trivial outer automorphisms of ˙nite groups. 5.A. Van Antwerpen. Coleman automorphisms of ˙nite groups and their](https://reader033.vdocuments.net/reader033/viewer/2022042914/5f4e105f9a3235269f18c630/html5/thumbnails/33.jpg)
17
FURTHER RESEARCH
Inkling of IdeaIn case G has a unique minimal non-trivial normal subgroup N,which we may assume to be abelian, we may be able to use theclassification of the simple groups and the list of all Schurmultipliers to give a technical proof.
Related QuestionGross conjectured that for a finite group G with Op′(G) = 1 forsome odd prime p, p-central automorphisms of p-power orderare inner. Hertweck and Kimmerle believed this is possible usingthe classification of Schur multipliers.
![Page 34: Characterizing the group of Coleman automorphisms4.E.C. Dade. Locally trivial outer automorphisms of ˙nite groups. 5.A. Van Antwerpen. Coleman automorphisms of ˙nite groups and their](https://reader033.vdocuments.net/reader033/viewer/2022042914/5f4e105f9a3235269f18c630/html5/thumbnails/34.jpg)
18
REFERENCES
1. M. Hertweck and W. Kimmerle. Coleman automorphismsof finite groups.
2. S.Jackowski and Z.Marciniak. Group automorphismsinducing the identity map on cohomology.
3. F. Gross. Automorphisms which centralize a Sylowp-subgroup.
4. E.C. Dade. Locally trivial outer automorphisms of finitegroups.
5. A. Van Antwerpen. Coleman automorphisms of finitegroups and their minimal normal subgroups. Arxiv preprint.