The probability that two elements of a finite nonabelian simple group commute
Clash Royale CLAN TAG#URR8PPP
up vote
3
down vote
favorite
It is mentioned in here (last paragraph of the first page) that Dixon proved the following result: the probability that two elements of a finite nonabelian simple group commute is at most $frac112$. I cannot seem to find this proof anywhere online. Do you know a proof of this fact? Or do you have a reference for it? (I am actually more interested in the original proof)
reference-request gr.group-theory pr.probability finite-groups
New contributor
user129021 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
add a comment |Â
up vote
3
down vote
favorite
It is mentioned in here (last paragraph of the first page) that Dixon proved the following result: the probability that two elements of a finite nonabelian simple group commute is at most $frac112$. I cannot seem to find this proof anywhere online. Do you know a proof of this fact? Or do you have a reference for it? (I am actually more interested in the original proof)
reference-request gr.group-theory pr.probability finite-groups
New contributor
user129021 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
1
In fact, for any $epsilon$, there will be at most finitely many simple groups $G$ with $cp(G) geq epsilon$. This follows from Dixon's argument (linked below) and the fact that for any $n$ there are at most finitely many finite simple groups with an irreducible representation of dimension $n$. See e.g. mathoverflow.net/a/27365/1345
– Ian Agol
3 hours ago
add a comment |Â
up vote
3
down vote
favorite
up vote
3
down vote
favorite
It is mentioned in here (last paragraph of the first page) that Dixon proved the following result: the probability that two elements of a finite nonabelian simple group commute is at most $frac112$. I cannot seem to find this proof anywhere online. Do you know a proof of this fact? Or do you have a reference for it? (I am actually more interested in the original proof)
reference-request gr.group-theory pr.probability finite-groups
New contributor
user129021 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
It is mentioned in here (last paragraph of the first page) that Dixon proved the following result: the probability that two elements of a finite nonabelian simple group commute is at most $frac112$. I cannot seem to find this proof anywhere online. Do you know a proof of this fact? Or do you have a reference for it? (I am actually more interested in the original proof)
reference-request gr.group-theory pr.probability finite-groups
reference-request gr.group-theory pr.probability finite-groups
New contributor
user129021 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
New contributor
user129021 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
edited 2 hours ago


Yemon Choi
16.2k54699
16.2k54699
New contributor
user129021 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
asked 4 hours ago
user129021
161
161
New contributor
user129021 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
New contributor
user129021 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
user129021 is a new contributor to this site. Take care in asking for clarification, commenting, and answering.
Check out our Code of Conduct.
1
In fact, for any $epsilon$, there will be at most finitely many simple groups $G$ with $cp(G) geq epsilon$. This follows from Dixon's argument (linked below) and the fact that for any $n$ there are at most finitely many finite simple groups with an irreducible representation of dimension $n$. See e.g. mathoverflow.net/a/27365/1345
– Ian Agol
3 hours ago
add a comment |Â
1
In fact, for any $epsilon$, there will be at most finitely many simple groups $G$ with $cp(G) geq epsilon$. This follows from Dixon's argument (linked below) and the fact that for any $n$ there are at most finitely many finite simple groups with an irreducible representation of dimension $n$. See e.g. mathoverflow.net/a/27365/1345
– Ian Agol
3 hours ago
1
1
In fact, for any $epsilon$, there will be at most finitely many simple groups $G$ with $cp(G) geq epsilon$. This follows from Dixon's argument (linked below) and the fact that for any $n$ there are at most finitely many finite simple groups with an irreducible representation of dimension $n$. See e.g. mathoverflow.net/a/27365/1345
– Ian Agol
3 hours ago
In fact, for any $epsilon$, there will be at most finitely many simple groups $G$ with $cp(G) geq epsilon$. This follows from Dixon's argument (linked below) and the fact that for any $n$ there are at most finitely many finite simple groups with an irreducible representation of dimension $n$. See e.g. mathoverflow.net/a/27365/1345
– Ian Agol
3 hours ago
add a comment |Â
1 Answer
1
active
oldest
votes
up vote
4
down vote
You can find Dixon's argument here (Google Books). (J.D..Dixon, Solution to Problem 176, Canadian Mathematical Bulletin 16 (1973), p302.)
add a comment |Â
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
4
down vote
You can find Dixon's argument here (Google Books). (J.D..Dixon, Solution to Problem 176, Canadian Mathematical Bulletin 16 (1973), p302.)
add a comment |Â
up vote
4
down vote
You can find Dixon's argument here (Google Books). (J.D..Dixon, Solution to Problem 176, Canadian Mathematical Bulletin 16 (1973), p302.)
add a comment |Â
up vote
4
down vote
up vote
4
down vote
You can find Dixon's argument here (Google Books). (J.D..Dixon, Solution to Problem 176, Canadian Mathematical Bulletin 16 (1973), p302.)
You can find Dixon's argument here (Google Books). (J.D..Dixon, Solution to Problem 176, Canadian Mathematical Bulletin 16 (1973), p302.)
edited 40 mins ago
YCor
25.2k277119
25.2k277119
answered 3 hours ago
Keith Kearnes
5,19912438
5,19912438
add a comment |Â
add a comment |Â
user129021 is a new contributor. Be nice, and check out our Code of Conduct.
user129021 is a new contributor. Be nice, and check out our Code of Conduct.
user129021 is a new contributor. Be nice, and check out our Code of Conduct.
user129021 is a new contributor. Be nice, and check out our Code of Conduct.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f310902%2fthe-probability-that-two-elements-of-a-finite-nonabelian-simple-group-commute%23new-answer', 'question_page');
);
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
1
In fact, for any $epsilon$, there will be at most finitely many simple groups $G$ with $cp(G) geq epsilon$. This follows from Dixon's argument (linked below) and the fact that for any $n$ there are at most finitely many finite simple groups with an irreducible representation of dimension $n$. See e.g. mathoverflow.net/a/27365/1345
– Ian Agol
3 hours ago