Un gros sous-groupe cyclique de $\mathfrak S_n$
Une question m'est venue en assistant à un oral de l'agrégation l'autre jour. Elle me semblait intéressante donc je vous la partage en espérant qu'elle vous intéresse aussi.
Notons $g(n)$ l'ordre maximal des éléments de $\mathfrak S_n$. Ma question est la suivante : quel est le comportement de $g(n)$ lorsque $n$ tend vers l'infini ? Je précise un petit peu : puisque $g$ va croitre extrêmement vite et qu'on ne peut pas vraiment espérer une formule "close" on cherchera simplement un équivalent de $\ln\big(g(n)\big)$ en $+\infty$.
Après recherches (merci à l'OEIS !) ce problème n'est pas nouveau, la fonction $g$ est appelée fonction de Landau qui a démontré en 1903 que
Après recherches (merci à l'OEIS !) ce problème n'est pas nouveau, la fonction $g$ est appelée fonction de Landau qui a démontré en 1903 que
$\ln\big(g(n)\big) \sim \sqrt{n\ln(n)}$
J'arrive presque à redémontrer le résultat de Landau mais il y a un petit quelque chose qui manque, un argument heuristique que je ne sais pas trop transformer en preuve rigoureuse. Je posterai mes arguments d'ici quelques jours le temps de laisser chercher de leur côté ceux que ça intéresse.Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Ceci étant dit dans ma démonstration j'utilise un résultat plus faible : le théorème des nombres premiers. C'est sans doute quelque chose de connu quand on fait de la théorie des nombres mais n'étant pas familier du tout avec cette partie des mathématiques j'étais agréablement surpris de voir apparaitre le théorème des nombres premiers dans une question de sous-groupes cycliques de $\mathfrak S_n$
(Je plaisante mais je trouve cela remarquable aussi...)
Bon je rédige quand même, comme promis, ce que j'avais trouvé.
Remarques préliminaires :
Soit $\sigma$ un élément de $S_n$, il se décompose en produit de cycles à supports disjoints et l'ordre de $\sigma$ est alors le ppmc des longueurs de ces cycles. Ainsi $g(n)$ est le maximum des ppmc des partitions de $n$, autrement dit on veut maximiser $\mathrm{ppmc}(n_1,\ldots,n_k)$ sous la contrainte $n_1+\ldots+n_k \leq n$. Première remarque, si $n_i$ et $n_j$ ont un facteur commun $q$ alors on ne change pas l'ordre de $\sigma$ en les remplaçant par $n_i/q$ et $n_j$, on peut donc se restreindre au cas où les $n_i$ sont premiers deux à deux. Deuxième remarque : si $n_i$ s'écrit $ab$ avec $a$ et $b$ des entiers premiers entre eux et supérieurs à $2$ alors on ne change pas le ppmc en remplaçant $n_i$ par $n_i' = a$ et $n_i'' = b$ et on a bien $n_i'+n_i'' \leq n_i$. Ainsi on peut supposer que les $n_i$ sont de la forme $p_i^{k_i}$ où les $p_i$ sont des nombres premiers tous distincts.
Minoration de $g(n)$ :
Pour minorer $g(n)$ il suffit de donner un élément $\sigma$ ayant un ordre assez grand. Vu ce qui précède on peut par exemple essayer avec un produit de cycles à supports disjoints d'ordre respectifs $2,3,5,7,\ldots, p_k$ où $p_k$ désigne le $k$-ième nombre premier et où l'on prendra $k$ le plus grand entier tel que $\sum_{i=1}^k p_i \leq n$. On aura alors
\[\ln(g(n)) \geq \ln(\mathrm{ppmc}(p_1,\ldots,p_k)) = \sum_{i=1}^k \ln(p_i).\]
D'après le théorème des nombres premiers on sait que $p_i = \varphi_i i \ln(i)$ avec $\lim \varphi_i = 1$. On a donc
Majoration de $g(n)$ :
C'est là que ça coince... On peut commencer par dire que $g(n)$ est une suite croissante et, toujours par des manipulations d'équivalents, on a $\sqrt{u_k \ln(u_k)} \sim \sqrt{u_{k+1} \ln(u_{k+1})} $ où $u_k = \sum_{i=1}^k p_i$. Si l'on arrivait à démontrer que $\ln(g(u_k)) = \sum_{i=1}^k \ln(p_i)$ cela terminerait alors la démonstration. Intuitivement c'est assez raisonnable : pour faire augmenter l'ordre de $\sigma$ sous la contrainte $n_1+\ldots + n_k\leq n$ il est plus avantageux de rajouter de nouveaux nombres premiers dans les $n_i$ que d'augmenter la puissance d'un nombre premier déjà présent. C'est en tout cas une propriété vérifiée pour les premières ($\leq 6$) valeurs de $k$. Malheureusement cela ne constitue pas une démonstration et, même d'un point de vue heuristique, ce n'est pas très convaincant.