-4
$\begingroup$

Let $G$ be a finite group. Several recent papers (see e.g. http://www.jstor.org/discover/10.2307/2695441) deal with the following notion: $G$ is called a group with perfect order subsets or briefly, a POS-group if the number of elements of any possible order in $G$ is a divisor of $|G|$. Note that the symmetric group $S_n$ is not a POS-group for any $n\ge 4$ by http://arxiv.org/pdf/1007.0568.pdf.

Inspired by the above notion, we will call $G$ a group with perfect subgroup order subsets or briefly, a PSOS-group if the number of subgroups of any possible order in $G$ is a divisor of $|G|$. Obviously, every finite cyclic group is a PSOS-group. Also, there are many examples of non-cyclic PSOS-groups, such as the dihedral groups $D_{2n}$ with $n$ odd.

My question is whether $S_n$ is a PSOS-group, more precisely which are the positive integers $n$ such that $S_n$ is a PSOS-group?

$\endgroup$
2
  • 3
    $\begingroup$ You checked it only for $n=1,2,3$ or you went up to $n=6$? I vote to close. $\endgroup$
    – user6976
    Aug 25, 2013 at 12:13
  • 1
    $\begingroup$ You are right: my question is not clear. I restated it. $\endgroup$ Aug 26, 2013 at 0:15

1 Answer 1

5
$\begingroup$

The answer is yes for $n=1,2,3$ only.

The group $S_n$ has an elementary abelian subgroup $H$ of order $2^{\lfloor n/2 \rfloor}$ generated by the transpositions $(1,2), (3,4), \ldots,$. You can check that $H$ has at least $2^{\lfloor n/4 \rfloor \lfloor (n+2)/4 \rfloor}$ subgroups of order $2^{\lfloor n/4 \rfloor}$.

Now, for $n \ge 82$, $2^{\lfloor n/4 \rfloor \lfloor (n+2)/4 \rfloor} \gt n!$, so $S_n$ cannot be a PSOS-group.

For $4 \le n \le 81$, you can check rather tediously that the number of subgroups of $S_n$ of order 2 does not divide $n!$.

(Of course I have only counted those subgroups of order $2^{\lfloor n/4 \rfloor}$ that lie in a specific subgroup $H$, so it is a gross underestimate of the total number!)

$\endgroup$
6
  • 1
    $\begingroup$ $S_5$ has 120 elements, 30 is a divisor of 120 and so a "possible order" of a subgroup of $S_5$, the number of subgroups of order 30 in $S_5$ is zero, and zero is not a divisor of 120, so $S_5$ is not PSOS. Is it true that for $n\ge5$, $S_n$ has no subgroup of index 4? If so, that would be another way to show $S_n$ is not PSOS for $n\ge5$. And it's proved at crazyproject.wordpress.com/2010/06/08/… that for $n\ge5$, $S_n$ has no proper subgroup of index less than $n$, except for $A_n$. $\endgroup$ Aug 27, 2013 at 0:02
  • $\begingroup$ Yes, that makes it a lot easier! I thought the question would be more interesting (and more suitable for MO) if we looked for non-divisors other than 0. $\endgroup$
    – Derek Holt
    Aug 27, 2013 at 9:42
  • $\begingroup$ @GerryMyerson: Well -- I'm not sure that an order for which there is no subgroup qualifies as "possible order" in the sense of the question ... . $\endgroup$
    – Stefan Kohl
    Aug 27, 2013 at 10:28
  • $\begingroup$ I agree that Derek's answer is more interesting, and probably more what OP wanted (and that my answer is easier). $\endgroup$ Aug 27, 2013 at 11:24
  • 1
    $\begingroup$ $H$ has a subgroup of index 2 contained in $A_n$ so the same argument will work for all sufficiently large $n$, and then it is just a matter of checking small $n$. $\endgroup$
    – Derek Holt
    Aug 28, 2013 at 7:31

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.