MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

If we write a partition $n=k_1+...+k_r$, then we can create a $(k_1,...,k_r)$-cycle in $S_n$ with order equal to the least common multiple of the $k_i$'s. It is clear that every cyclic subgroup will arise this way, by considering the cycle type of a generator. So this appears to give a classification of which cyclic subgroups can occur in $S_n$, namely $Z/mZ \hookrightarrow S_n$ iff $m$ is the lcm of numbers whose sum is $\leq n$. I'd like a (computationally at least) cleaner criterion. So...

$\bullet$ What are the (orders of) maximal cyclic groups occurring in $S_n$ (under containment)? In particular, what is the largest-order cyclic subgroup in $S_n$?

In light of the above, the latter question amounts to asking for a formula for the maximum value (over all partitions) of the function from partitions of $n$ to $\mathbb{N}$ which outputs the lcm of the terms in the partition. The former question asks for local maximum values (under divisibility) of this function. Statements about the partitions giving rise to these values would also be of interest.

In a slightly different direction, I also wondered about the following:

$\bullet$ How many different (up to iso) cyclic subgroups are in $S_n$? This is deducible from an answer to Q1 in terms of the number-of-divisors function, but I'd be interested in arguments that go a different route.

share|cite|improve this question
What do you mean by "up to isomorphism"? Do you mean up to isomorphism as abstract cyclic groups? – Qiaochu Yuan Nov 11 '12 at 22:22
Yes, up to abstract isomorphism. – Jon Cohen Nov 11 '12 at 22:30

share|cite|improve this answer
See also – Gerry Myerson Nov 11 '12 at 22:31

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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