What is $tau(A_n)$?

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
23
down vote

favorite
6












Suppose G is a finite group. Define $tau(G)$ as the minimal number, such that $forall X subset G$ if $|X| > tau(G)$, then $XXX = langle X rangle$.
What is $tau(A_n)$?



Similar problems for some different classes of groups are already answered:



1) $tau(mathbbZ_n) = lceil fracn3 rceil + 1$ (this is a number-theoretic fact proved via arithmetic progressions)



2) Gowers, Nikolov and Pyber proved the fact that $tau(SL_n(mathbbZ_p)) = 2|SL_n(mathbbZ_p)|^1-frac13(n+1)$ (this fact is proved with linear algebra)



However, I have never seen anything like that for $A_n$. It will be interesting to know if there is something...







share|cite|improve this question















This question has an open bounty worth +100
reputation from Yanior Weg ending ending at 2018-08-22 13:02:32Z">in 6 days.


This question has not received enough attention.















  • I don't even understand the question. What do you mean when you say $XXX=langleXrangle$?
    – crskhr
    Aug 6 at 13:44











  • @crskhr, $XXX$ stands for the group subset product: $XXX = abc$; $langle X rangle$ stands for group subset closure: $langle X rangle$ is the minimal subgroup that contains $X$.
    – Yanior Weg
    Aug 6 at 13:52














up vote
23
down vote

favorite
6












Suppose G is a finite group. Define $tau(G)$ as the minimal number, such that $forall X subset G$ if $|X| > tau(G)$, then $XXX = langle X rangle$.
What is $tau(A_n)$?



Similar problems for some different classes of groups are already answered:



1) $tau(mathbbZ_n) = lceil fracn3 rceil + 1$ (this is a number-theoretic fact proved via arithmetic progressions)



2) Gowers, Nikolov and Pyber proved the fact that $tau(SL_n(mathbbZ_p)) = 2|SL_n(mathbbZ_p)|^1-frac13(n+1)$ (this fact is proved with linear algebra)



However, I have never seen anything like that for $A_n$. It will be interesting to know if there is something...







share|cite|improve this question















This question has an open bounty worth +100
reputation from Yanior Weg ending ending at 2018-08-22 13:02:32Z">in 6 days.


This question has not received enough attention.















  • I don't even understand the question. What do you mean when you say $XXX=langleXrangle$?
    – crskhr
    Aug 6 at 13:44











  • @crskhr, $XXX$ stands for the group subset product: $XXX = abc$; $langle X rangle$ stands for group subset closure: $langle X rangle$ is the minimal subgroup that contains $X$.
    – Yanior Weg
    Aug 6 at 13:52












up vote
23
down vote

favorite
6









up vote
23
down vote

favorite
6






6





Suppose G is a finite group. Define $tau(G)$ as the minimal number, such that $forall X subset G$ if $|X| > tau(G)$, then $XXX = langle X rangle$.
What is $tau(A_n)$?



Similar problems for some different classes of groups are already answered:



1) $tau(mathbbZ_n) = lceil fracn3 rceil + 1$ (this is a number-theoretic fact proved via arithmetic progressions)



2) Gowers, Nikolov and Pyber proved the fact that $tau(SL_n(mathbbZ_p)) = 2|SL_n(mathbbZ_p)|^1-frac13(n+1)$ (this fact is proved with linear algebra)



However, I have never seen anything like that for $A_n$. It will be interesting to know if there is something...







share|cite|improve this question













Suppose G is a finite group. Define $tau(G)$ as the minimal number, such that $forall X subset G$ if $|X| > tau(G)$, then $XXX = langle X rangle$.
What is $tau(A_n)$?



Similar problems for some different classes of groups are already answered:



1) $tau(mathbbZ_n) = lceil fracn3 rceil + 1$ (this is a number-theoretic fact proved via arithmetic progressions)



2) Gowers, Nikolov and Pyber proved the fact that $tau(SL_n(mathbbZ_p)) = 2|SL_n(mathbbZ_p)|^1-frac13(n+1)$ (this fact is proved with linear algebra)



However, I have never seen anything like that for $A_n$. It will be interesting to know if there is something...









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited Aug 6 at 13:08
























asked Jul 19 at 20:54









Yanior Weg

1,0211629




1,0211629






This question has an open bounty worth +100
reputation from Yanior Weg ending ending at 2018-08-22 13:02:32Z">in 6 days.


This question has not received enough attention.








This question has an open bounty worth +100
reputation from Yanior Weg ending ending at 2018-08-22 13:02:32Z">in 6 days.


This question has not received enough attention.













  • I don't even understand the question. What do you mean when you say $XXX=langleXrangle$?
    – crskhr
    Aug 6 at 13:44











  • @crskhr, $XXX$ stands for the group subset product: $XXX = abc$; $langle X rangle$ stands for group subset closure: $langle X rangle$ is the minimal subgroup that contains $X$.
    – Yanior Weg
    Aug 6 at 13:52
















  • I don't even understand the question. What do you mean when you say $XXX=langleXrangle$?
    – crskhr
    Aug 6 at 13:44











  • @crskhr, $XXX$ stands for the group subset product: $XXX = abc$; $langle X rangle$ stands for group subset closure: $langle X rangle$ is the minimal subgroup that contains $X$.
    – Yanior Weg
    Aug 6 at 13:52















I don't even understand the question. What do you mean when you say $XXX=langleXrangle$?
– crskhr
Aug 6 at 13:44





I don't even understand the question. What do you mean when you say $XXX=langleXrangle$?
– crskhr
Aug 6 at 13:44













@crskhr, $XXX$ stands for the group subset product: $XXX = abc$; $langle X rangle$ stands for group subset closure: $langle X rangle$ is the minimal subgroup that contains $X$.
– Yanior Weg
Aug 6 at 13:52




@crskhr, $XXX$ stands for the group subset product: $XXX = abc$; $langle X rangle$ stands for group subset closure: $langle X rangle$ is the minimal subgroup that contains $X$.
– Yanior Weg
Aug 6 at 13:52















active

oldest

votes











Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);








 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2857037%2fwhat-is-taua-n%23new-answer', 'question_page');

);

Post as a guest



































active

oldest

votes













active

oldest

votes









active

oldest

votes






active

oldest

votes










 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2857037%2fwhat-is-taua-n%23new-answer', 'question_page');

);

Post as a guest













































































Comments

Popular posts from this blog

What is the equation of a 3D cone with generalised tilt?

Color the edges and diagonals of a regular polygon

Relationship between determinant of matrix and determinant of adjoint?