33
Introduction Two fixed points Three fixed points Permutation groups where non-trivial elements have few fixed points Nikolaus Conference 2013, Aachen Rebecca Waldecker (MLU Halle-Wittenberg) 6th December 2013 Nikolaus Conference 2013, Aachen Permutation groups where non-trivial elements have few fixed poi

Permutation groups where non-trivial elements have few ...€¦ · In my ongoing work with Kay Magaard, I look at situations where non-trivial elements of G have few xed points on

  • Upload
    others

  • View
    0

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Permutation groups where non-trivial elements have few ...€¦ · In my ongoing work with Kay Magaard, I look at situations where non-trivial elements of G have few xed points on

IntroductionTwo fixed points

Three fixed points

Permutation groups where non-trivial elementshave few fixed points

Nikolaus Conference 2013, Aachen

Rebecca Waldecker (MLU Halle-Wittenberg)

6th December 2013

Nikolaus Conference 2013, Aachen Permutation groups where non-trivial elements have few fixed points

Page 2: Permutation groups where non-trivial elements have few ...€¦ · In my ongoing work with Kay Magaard, I look at situations where non-trivial elements of G have few xed points on

IntroductionTwo fixed points

Three fixed points

In this talk G denotes a finite group that acts faithfully andtransitively on a set Ω.

Nikolaus Conference 2013, Aachen Permutation groups where non-trivial elements have few fixed points

Page 3: Permutation groups where non-trivial elements have few ...€¦ · In my ongoing work with Kay Magaard, I look at situations where non-trivial elements of G have few xed points on

IntroductionTwo fixed points

Three fixed points

In my ongoing work with Kay Magaard, I look at situations wherenon-trivial elements of G have few fixed points on Ω. Our startingpoint was the following situation:

The action of G on Ω is not regular, and every non-trivial elementof G fixes at most two (at most three) points.

Nikolaus Conference 2013, Aachen Permutation groups where non-trivial elements have few fixed points

Page 4: Permutation groups where non-trivial elements have few ...€¦ · In my ongoing work with Kay Magaard, I look at situations where non-trivial elements of G have few xed points on

IntroductionTwo fixed points

Three fixed points

In my ongoing work with Kay Magaard, I look at situations wherenon-trivial elements of G have few fixed points on Ω. Our startingpoint was the following situation:

The action of G on Ω is not regular, and every non-trivial elementof G fixes at most two (at most three) points.

Nikolaus Conference 2013, Aachen Permutation groups where non-trivial elements have few fixed points

Page 5: Permutation groups where non-trivial elements have few ...€¦ · In my ongoing work with Kay Magaard, I look at situations where non-trivial elements of G have few xed points on

IntroductionTwo fixed points

Three fixed points

ExamplesProperties of GSimple groups

The smallest non-trivial examples for our situation are provided byS3 in its natural action on 1, 2, 3 and by A4 acting on1, 2, 3, 4. These are examples for Frobenius groups, i.e. there isno non-trivial element with two fixed points.

More examples

The groups S4 and A5 provide examples satisfying our mainhypothesis, in their natural action. This time two fixed pointsactually occur.

Nikolaus Conference 2013, Aachen Permutation groups where non-trivial elements have few fixed points

Page 6: Permutation groups where non-trivial elements have few ...€¦ · In my ongoing work with Kay Magaard, I look at situations where non-trivial elements of G have few xed points on

IntroductionTwo fixed points

Three fixed points

ExamplesProperties of GSimple groups

The smallest non-trivial examples for our situation are provided byS3 in its natural action on 1, 2, 3 and by A4 acting on1, 2, 3, 4. These are examples for Frobenius groups, i.e. there isno non-trivial element with two fixed points.

More examples

The groups S4 and A5 provide examples satisfying our mainhypothesis, in their natural action. This time two fixed pointsactually occur.

Nikolaus Conference 2013, Aachen Permutation groups where non-trivial elements have few fixed points

Page 7: Permutation groups where non-trivial elements have few ...€¦ · In my ongoing work with Kay Magaard, I look at situations where non-trivial elements of G have few xed points on

IntroductionTwo fixed points

Three fixed points

ExamplesProperties of GSimple groups

Lemma

Let α ∈ Ω and H := Gα, the stabiliser of α in G .

(1) If 1 6= X ≤ H, then |NG (X ) : NH(X )| ≤ 2.

(2) If p is an odd prime divisor of |H|, then H contains a Sylowp-subgroup of G .

We see that an interesting special case of (1) occurs if G has oddorder.Then it follows that G is a Frobenius group with point stabilisersas Frobenius complements.

Nikolaus Conference 2013, Aachen Permutation groups where non-trivial elements have few fixed points

Page 8: Permutation groups where non-trivial elements have few ...€¦ · In my ongoing work with Kay Magaard, I look at situations where non-trivial elements of G have few xed points on

IntroductionTwo fixed points

Three fixed points

ExamplesProperties of GSimple groups

Lemma

Let α ∈ Ω and H := Gα, the stabiliser of α in G .

(1) If 1 6= X ≤ H, then |NG (X ) : NH(X )| ≤ 2.

(2) If p is an odd prime divisor of |H|, then H contains a Sylowp-subgroup of G .

We see that an interesting special case of (1) occurs if G has oddorder.Then it follows that G is a Frobenius group with point stabilisersas Frobenius complements.

Nikolaus Conference 2013, Aachen Permutation groups where non-trivial elements have few fixed points

Page 9: Permutation groups where non-trivial elements have few ...€¦ · In my ongoing work with Kay Magaard, I look at situations where non-trivial elements of G have few xed points on

IntroductionTwo fixed points

Three fixed points

ExamplesProperties of GSimple groups

Lemma

Let α ∈ Ω and H := Gα, the stabiliser of α in G .

(1) If 1 6= X ≤ H, then |NG (X ) : NH(X )| ≤ 2.

(2) If p is an odd prime divisor of |H|, then H contains a Sylowp-subgroup of G .

We see that an interesting special case of (1) occurs if G has oddorder.Then it follows that G is a Frobenius group with point stabilisersas Frobenius complements.

Nikolaus Conference 2013, Aachen Permutation groups where non-trivial elements have few fixed points

Page 10: Permutation groups where non-trivial elements have few ...€¦ · In my ongoing work with Kay Magaard, I look at situations where non-trivial elements of G have few xed points on

IntroductionTwo fixed points

Three fixed points

ExamplesProperties of GSimple groups

Lemma

Let α ∈ Ω and H := Gα, the stabiliser of α in G .

(1) If 1 6= X ≤ H, then |NG (X ) : NH(X )| ≤ 2.

(2) If p is an odd prime divisor of |H|, then H contains a Sylowp-subgroup of G .

We see that an interesting special case of (1) occurs if G has oddorder.Then it follows that G is a Frobenius group with point stabilisersas Frobenius complements.

Nikolaus Conference 2013, Aachen Permutation groups where non-trivial elements have few fixed points

Page 11: Permutation groups where non-trivial elements have few ...€¦ · In my ongoing work with Kay Magaard, I look at situations where non-trivial elements of G have few xed points on

IntroductionTwo fixed points

Three fixed points

ExamplesProperties of GSimple groups

Theorem A

Suppose that G is non-abelian and simple and that it has trivialthree point stabilisers. Then either G is isomorphic to PSL3(4) orthere exists a prime power q such that G is isomorphic to PSL2(q)or to Sz(q).

In fact we prove a more general result about finite groups(submitted to JPAA).A direct proof for simple groups works as follows: We study thesubgroup structure of G and then use this knowledge and theClassification of Finite Simple Groups.

At the moment I am working on a direct identification of thesimple groups that appear under our hypothesis.

Nikolaus Conference 2013, Aachen Permutation groups where non-trivial elements have few fixed points

Page 12: Permutation groups where non-trivial elements have few ...€¦ · In my ongoing work with Kay Magaard, I look at situations where non-trivial elements of G have few xed points on

IntroductionTwo fixed points

Three fixed points

ExamplesProperties of GSimple groups

Theorem A

Suppose that G is non-abelian and simple and that it has trivialthree point stabilisers. Then either G is isomorphic to PSL3(4) orthere exists a prime power q such that G is isomorphic to PSL2(q)or to Sz(q).

In fact we prove a more general result about finite groups(submitted to JPAA).

A direct proof for simple groups works as follows: We study thesubgroup structure of G and then use this knowledge and theClassification of Finite Simple Groups.

At the moment I am working on a direct identification of thesimple groups that appear under our hypothesis.

Nikolaus Conference 2013, Aachen Permutation groups where non-trivial elements have few fixed points

Page 13: Permutation groups where non-trivial elements have few ...€¦ · In my ongoing work with Kay Magaard, I look at situations where non-trivial elements of G have few xed points on

IntroductionTwo fixed points

Three fixed points

ExamplesProperties of GSimple groups

Theorem A

Suppose that G is non-abelian and simple and that it has trivialthree point stabilisers. Then either G is isomorphic to PSL3(4) orthere exists a prime power q such that G is isomorphic to PSL2(q)or to Sz(q).

In fact we prove a more general result about finite groups(submitted to JPAA).A direct proof for simple groups works as follows: We study thesubgroup structure of G and then use this knowledge and theClassification of Finite Simple Groups.

At the moment I am working on a direct identification of thesimple groups that appear under our hypothesis.

Nikolaus Conference 2013, Aachen Permutation groups where non-trivial elements have few fixed points

Page 14: Permutation groups where non-trivial elements have few ...€¦ · In my ongoing work with Kay Magaard, I look at situations where non-trivial elements of G have few xed points on

IntroductionTwo fixed points

Three fixed points

ExamplesProperties of GSimple groups

Theorem A

Suppose that G is non-abelian and simple and that it has trivialthree point stabilisers. Then either G is isomorphic to PSL3(4) orthere exists a prime power q such that G is isomorphic to PSL2(q)or to Sz(q).

In fact we prove a more general result about finite groups(submitted to JPAA).A direct proof for simple groups works as follows: We study thesubgroup structure of G and then use this knowledge and theClassification of Finite Simple Groups.

At the moment I am working on a direct identification of thesimple groups that appear under our hypothesis.

Nikolaus Conference 2013, Aachen Permutation groups where non-trivial elements have few fixed points

Page 15: Permutation groups where non-trivial elements have few ...€¦ · In my ongoing work with Kay Magaard, I look at situations where non-trivial elements of G have few xed points on

IntroductionTwo fixed points

Three fixed points

ExamplesProperties of GSimple groups

For the remainder of this talk we look at the situation where allnon-trivial elements of G have at most three fixed points.

Nikolaus Conference 2013, Aachen Permutation groups where non-trivial elements have few fixed points

Page 16: Permutation groups where non-trivial elements have few ...€¦ · In my ongoing work with Kay Magaard, I look at situations where non-trivial elements of G have few xed points on

IntroductionTwo fixed points

Three fixed points

ExamplesProperties of GSimple groups

The smallest (non-boring) example where three fixed pointsactually occur is S5 acting naturally on 1, 2, 3, 4, 5.

A classical result says that the only sharply 4-transitive groups areS4,S5,A6,M11. This gives us two new examples, namely A6 (in itsnatural action) and M11 (on 11 points).

Nikolaus Conference 2013, Aachen Permutation groups where non-trivial elements have few fixed points

Page 17: Permutation groups where non-trivial elements have few ...€¦ · In my ongoing work with Kay Magaard, I look at situations where non-trivial elements of G have few xed points on

IntroductionTwo fixed points

Three fixed points

ExamplesProperties of GSimple groups

The smallest (non-boring) example where three fixed pointsactually occur is S5 acting naturally on 1, 2, 3, 4, 5.

A classical result says that the only sharply 4-transitive groups areS4,S5,A6,M11. This gives us two new examples, namely A6 (in itsnatural action) and M11 (on 11 points).

Nikolaus Conference 2013, Aachen Permutation groups where non-trivial elements have few fixed points

Page 18: Permutation groups where non-trivial elements have few ...€¦ · In my ongoing work with Kay Magaard, I look at situations where non-trivial elements of G have few xed points on

IntroductionTwo fixed points

Three fixed points

ExamplesProperties of GSimple groups

As in the case with at most two fixed points, we begin our analysiswith the local structure of G .

Lemma

Let α ∈ Ω and H := Gα.

(1) If 1 6= X ≤ H, then |NG (X ) : NH(X )| ≤ 3.

(2) If p ≥ 5 is a prime divisor of |H|, then H contains a Sylowp-subgroup of G .

(3) If H contains a non-trivial 2-element that fixes three points,then H contains a Sylow 2-subgroup of G .

Nikolaus Conference 2013, Aachen Permutation groups where non-trivial elements have few fixed points

Page 19: Permutation groups where non-trivial elements have few ...€¦ · In my ongoing work with Kay Magaard, I look at situations where non-trivial elements of G have few xed points on

IntroductionTwo fixed points

Three fixed points

ExamplesProperties of GSimple groups

As in the case with at most two fixed points, we begin our analysiswith the local structure of G .

Lemma

Let α ∈ Ω and H := Gα.

(1) If 1 6= X ≤ H, then |NG (X ) : NH(X )| ≤ 3.

(2) If p ≥ 5 is a prime divisor of |H|, then H contains a Sylowp-subgroup of G .

(3) If H contains a non-trivial 2-element that fixes three points,then H contains a Sylow 2-subgroup of G .

Nikolaus Conference 2013, Aachen Permutation groups where non-trivial elements have few fixed points

Page 20: Permutation groups where non-trivial elements have few ...€¦ · In my ongoing work with Kay Magaard, I look at situations where non-trivial elements of G have few xed points on

IntroductionTwo fixed points

Three fixed points

ExamplesProperties of GSimple groups

As in the case with at most two fixed points, we begin our analysiswith the local structure of G .

Lemma

Let α ∈ Ω and H := Gα.

(1) If 1 6= X ≤ H, then |NG (X ) : NH(X )| ≤ 3.

(2) If p ≥ 5 is a prime divisor of |H|, then H contains a Sylowp-subgroup of G .

(3) If H contains a non-trivial 2-element that fixes three points,then H contains a Sylow 2-subgroup of G .

Nikolaus Conference 2013, Aachen Permutation groups where non-trivial elements have few fixed points

Page 21: Permutation groups where non-trivial elements have few ...€¦ · In my ongoing work with Kay Magaard, I look at situations where non-trivial elements of G have few xed points on

IntroductionTwo fixed points

Three fixed points

ExamplesProperties of GSimple groups

As in the case with at most two fixed points, we begin our analysiswith the local structure of G .

Lemma

Let α ∈ Ω and H := Gα.

(1) If 1 6= X ≤ H, then |NG (X ) : NH(X )| ≤ 3.

(2) If p ≥ 5 is a prime divisor of |H|, then H contains a Sylowp-subgroup of G .

(3) If H contains a non-trivial 2-element that fixes three points,then H contains a Sylow 2-subgroup of G .

Nikolaus Conference 2013, Aachen Permutation groups where non-trivial elements have few fixed points

Page 22: Permutation groups where non-trivial elements have few ...€¦ · In my ongoing work with Kay Magaard, I look at situations where non-trivial elements of G have few xed points on

IntroductionTwo fixed points

Three fixed points

ExamplesProperties of GSimple groups

As in the case with at most two fixed points, we begin our analysiswith the local structure of G .

Lemma

Let α ∈ Ω and H := Gα.

(1) If 1 6= X ≤ H, then |NG (X ) : NH(X )| ≤ 3.

(2) If p ≥ 5 is a prime divisor of |H|, then H contains a Sylowp-subgroup of G .

(3) If H contains a non-trivial 2-element that fixes three points,then H contains a Sylow 2-subgroup of G .

Nikolaus Conference 2013, Aachen Permutation groups where non-trivial elements have few fixed points

Page 23: Permutation groups where non-trivial elements have few ...€¦ · In my ongoing work with Kay Magaard, I look at situations where non-trivial elements of G have few xed points on

IntroductionTwo fixed points

Three fixed points

ExamplesProperties of GSimple groups

Theorem B

Suppose that G is non-abelian and simple and that it has trivialfour point stabilisers. Then one of the following holds:

1 G ∼= A5, A6, A7 or A8 (with precise action explained).

2 G ∼=PSL2(7), PSL2(11), PSL3(4), PSL4(3), PSU4(3) orPSL4(5) (with precise action described).

3 There is a prime power q such that G ∼=PSL3(q) or PSU3(q).(These are the generic examples.)

4 G ∼= M11 acting on 11 points.

5 G ∼= M22 acting on 27 · 32 · 5 · 11 points.

Nikolaus Conference 2013, Aachen Permutation groups where non-trivial elements have few fixed points

Page 24: Permutation groups where non-trivial elements have few ...€¦ · In my ongoing work with Kay Magaard, I look at situations where non-trivial elements of G have few xed points on

IntroductionTwo fixed points

Three fixed points

ExamplesProperties of GSimple groups

Theorem B

Suppose that G is non-abelian and simple and that it has trivialfour point stabilisers. Then one of the following holds:

1 G ∼= A5, A6, A7 or A8 (with precise action explained).

2 G ∼=PSL2(7), PSL2(11), PSL3(4), PSL4(3), PSU4(3) orPSL4(5) (with precise action described).

3 There is a prime power q such that G ∼=PSL3(q) or PSU3(q).(These are the generic examples.)

4 G ∼= M11 acting on 11 points.

5 G ∼= M22 acting on 27 · 32 · 5 · 11 points.

Nikolaus Conference 2013, Aachen Permutation groups where non-trivial elements have few fixed points

Page 25: Permutation groups where non-trivial elements have few ...€¦ · In my ongoing work with Kay Magaard, I look at situations where non-trivial elements of G have few xed points on

IntroductionTwo fixed points

Three fixed points

ExamplesProperties of GSimple groups

Theorem B

Suppose that G is non-abelian and simple and that it has trivialfour point stabilisers. Then one of the following holds:

1 G ∼= A5, A6, A7 or A8 (with precise action explained).

2 G ∼=PSL2(7), PSL2(11), PSL3(4), PSL4(3), PSU4(3) orPSL4(5) (with precise action described).

3 There is a prime power q such that G ∼=PSL3(q) or PSU3(q).(These are the generic examples.)

4 G ∼= M11 acting on 11 points.

5 G ∼= M22 acting on 27 · 32 · 5 · 11 points.

Nikolaus Conference 2013, Aachen Permutation groups where non-trivial elements have few fixed points

Page 26: Permutation groups where non-trivial elements have few ...€¦ · In my ongoing work with Kay Magaard, I look at situations where non-trivial elements of G have few xed points on

IntroductionTwo fixed points

Three fixed points

ExamplesProperties of GSimple groups

Theorem B

Suppose that G is non-abelian and simple and that it has trivialfour point stabilisers. Then one of the following holds:

1 G ∼= A5, A6, A7 or A8 (with precise action explained).

2 G ∼=PSL2(7), PSL2(11), PSL3(4), PSL4(3), PSU4(3) orPSL4(5) (with precise action described).

3 There is a prime power q such that G ∼=PSL3(q) or PSU3(q).(These are the generic examples.)

4 G ∼= M11 acting on 11 points.

5 G ∼= M22 acting on 27 · 32 · 5 · 11 points.

Nikolaus Conference 2013, Aachen Permutation groups where non-trivial elements have few fixed points

Page 27: Permutation groups where non-trivial elements have few ...€¦ · In my ongoing work with Kay Magaard, I look at situations where non-trivial elements of G have few xed points on

IntroductionTwo fixed points

Three fixed points

ExamplesProperties of GSimple groups

Theorem B

Suppose that G is non-abelian and simple and that it has trivialfour point stabilisers. Then one of the following holds:

1 G ∼= A5, A6, A7 or A8 (with precise action explained).

2 G ∼=PSL2(7), PSL2(11), PSL3(4), PSL4(3), PSU4(3) orPSL4(5) (with precise action described).

3 There is a prime power q such that G ∼=PSL3(q) or PSU3(q).(These are the generic examples.)

4 G ∼= M11 acting on 11 points.

5 G ∼= M22 acting on 27 · 32 · 5 · 11 points.

Nikolaus Conference 2013, Aachen Permutation groups where non-trivial elements have few fixed points

Page 28: Permutation groups where non-trivial elements have few ...€¦ · In my ongoing work with Kay Magaard, I look at situations where non-trivial elements of G have few xed points on

IntroductionTwo fixed points

Three fixed points

ExamplesProperties of GSimple groups

Theorem B

Suppose that G is non-abelian and simple and that it has trivialfour point stabilisers. Then one of the following holds:

1 G ∼= A5, A6, A7 or A8 (with precise action explained).

2 G ∼=PSL2(7), PSL2(11), PSL3(4), PSL4(3), PSU4(3) orPSL4(5) (with precise action described).

3 There is a prime power q such that G ∼=PSL3(q) or PSU3(q).(These are the generic examples.)

4 G ∼= M11 acting on 11 points.

5 G ∼= M22 acting on 27 · 32 · 5 · 11 points.

Nikolaus Conference 2013, Aachen Permutation groups where non-trivial elements have few fixed points

Page 29: Permutation groups where non-trivial elements have few ...€¦ · In my ongoing work with Kay Magaard, I look at situations where non-trivial elements of G have few xed points on

IntroductionTwo fixed points

Three fixed points

ExamplesProperties of GSimple groups

Comments on the proof

Again our main results are more general, but in the case of simplegroups the strategy is as before.

The analysis of the local structure of G is much harder this timebecause the primes 2 and 3 both play special roles and allow formany different configurations.

Still we are able to collect enough information so that we canapply the Classification of Finite Simple Groups. However, a directidentification of the simple examples seems out of reach at themoment.

Nikolaus Conference 2013, Aachen Permutation groups where non-trivial elements have few fixed points

Page 30: Permutation groups where non-trivial elements have few ...€¦ · In my ongoing work with Kay Magaard, I look at situations where non-trivial elements of G have few xed points on

IntroductionTwo fixed points

Three fixed points

ExamplesProperties of GSimple groups

Comments on the proof

Again our main results are more general, but in the case of simplegroups the strategy is as before.The analysis of the local structure of G is much harder this timebecause the primes 2 and 3 both play special roles and allow formany different configurations.

Still we are able to collect enough information so that we canapply the Classification of Finite Simple Groups. However, a directidentification of the simple examples seems out of reach at themoment.

Nikolaus Conference 2013, Aachen Permutation groups where non-trivial elements have few fixed points

Page 31: Permutation groups where non-trivial elements have few ...€¦ · In my ongoing work with Kay Magaard, I look at situations where non-trivial elements of G have few xed points on

IntroductionTwo fixed points

Three fixed points

ExamplesProperties of GSimple groups

Comments on the proof

Again our main results are more general, but in the case of simplegroups the strategy is as before.The analysis of the local structure of G is much harder this timebecause the primes 2 and 3 both play special roles and allow formany different configurations.

Still we are able to collect enough information so that we canapply the Classification of Finite Simple Groups. However, a directidentification of the simple examples seems out of reach at themoment.

Nikolaus Conference 2013, Aachen Permutation groups where non-trivial elements have few fixed points

Page 32: Permutation groups where non-trivial elements have few ...€¦ · In my ongoing work with Kay Magaard, I look at situations where non-trivial elements of G have few xed points on

IntroductionTwo fixed points

Three fixed points

ExamplesProperties of GSimple groups

With applications to Riemann surfaces and Weierstrass points inmind, we will next look at the situation where also four fixedpoints are allowed. We expect a few more simple groups to appearas examples there.

Nikolaus Conference 2013, Aachen Permutation groups where non-trivial elements have few fixed points

Page 33: Permutation groups where non-trivial elements have few ...€¦ · In my ongoing work with Kay Magaard, I look at situations where non-trivial elements of G have few xed points on

IntroductionTwo fixed points

Three fixed points

ExamplesProperties of GSimple groups

Many thanks for your attention! ∗

∗ ∗

Nikolaus Conference 2013, Aachen Permutation groups where non-trivial elements have few fixed points