A well-known result, Cayley's theorem, says that any group is isomorphic to $S_n$ for some $n$. Given a (finite) group $G$, is there a standard name for the smallest such $n$?  This seems like a very basic concept which has surely been studied and named, but my searches have found nothing so far.  Is it easy to calculate $n$? An obvious lower bound is the Kempner number $(|G|)$.    Note: there is a  but it doesn't address my issue.
I'm considering finite groups only. Cayley's theorem says the a group $G$ is isomorphic to a subgroup of $S_{|G|}$. I think it's interesting to ask for smaller values of $n$ for which $G$ is a subgroup of $S_n$. Obviously, it's not always possible to do better than Cayley's theorem. But sometimes it is possible (for example, $\mathbb{Z}_6$ as a subgroup of $S_5$).  So I'm asking:        Given a finite group $G$, is there an algorithmic way to find or approximate the minimal $n$ for which $G$ is isomorphic to a subgroup of $S_n$?   If the answer to $(1)$ is not known, is it known for specific classes of groups?   In particular, for finite abelian groups, is it true that for a prime $p$, the minimal $n$ for $\mathbb{Z}_{p^{t_1}} \times \mathbb{Z}_{p^{t_2}}$ is $p^{t_1}+p^{t_2}$ (I can prove that is is true for different primes $p_1$ and $p_2$, but have problems when it's the same prime in both factors).      Thanks!
How do I upgrade to the unreleased version of Ubuntu for testing? Can we have an option to disable notifications on community wiki posts? Excel automatic hyperlinks Proving $\left(1+\dfrac{1}{1^3}\right)\left(1+\dfrac{1}{2^3}\right)\cdots\left(1+\dfrac{1}{n^3}\right)<3$ for all positive integers $n$ Prove that $\left(1+\dfrac{1}{1^3}\right)\left(1+\dfrac{1}{2^3}\right)\cdots\left(1+\dfrac{1}{n^3}\right)&lt;3$   for all positive integers $n$   This problem is copied from Math Olympiad Treasures by Titu Andreescu and Bogdan Enescu.They start by stating that induction wouldn't directly work here since the right hand side stays constant while the left increases.They get rid of this problem by strengthening the hypothesis.$$\left(1+\dfrac{1}{1^3}\right)\left(1+\dfrac{1}{2^3}\right)\cdots\left(1+\dfrac{1}{n^3}\right)\le3-\dfrac{1}{n}$$ and then proceed by induction.  The problem is that I can't find a motivation for the above change.I mean,we could have subtracted a lot of things from the RHS but what should nudge us to try $\dfrac{1}{n}$?The rest of the proof is quite standard,but I can't see how I am supposed to have thought of it.Is it just experience?Or is it a standard technique?A little guidance and motivation will be appreciated. Why do the :before and :after pseudo-elements require a 'content' property? Why do I need an extended partition? What is an extended partition? Why do I need to use it to install Ubuntu if I already have four partitions that are factory installed? Evaluation of Differentiation and Integration I was having some thought about what would be the syntax to make the end point evaluation of derivatives or integrals. Such as making the | with the two end points of evaluation on the top an bottom of the line. Any suggestions would be wonderful. I would like to ask a question about Java that doesn't have a specific answer. It's a question to see what people think and to share their opinion.    Will Stack Overflow tolerate this, or is there another Stack Exchange resource where I may ask a question like this? Lens upgrade paths (sub $1000) for the EF-S 18-55mm IS kit lens for Canon APS-C cameras What is wrong with my date regex? Is it possible to activate an iPhone 4 without a SIM? So we bought an iPhone 4 from the Apple store. But we didn't get a micro-SIM as there are no PAYG tariffs on micro-SIM available.  Is there anyway to activate the device without getting hold of a SIM? I don't want to sign up to a contract just to develop with. Why can't we initialize members inside a structure? How can I SSH with a remote server so I can browse files and edit them? I have a username and password to use. Given a DateTime representing a person's birthday, how do I calculate their age in years? Vertically align horizontal inline-block elements How long are the life phases of a dragon? I know what a set is. I have no idea what a class is.   As best as I can make out, every set is also a class, but a class can be "larger" than any set (a so-called "proper class").  This obviously makes no sense whatsoever, since sets are of unlimited size. It's not like you get up to 25 elements and go "oh, hey, sets are limited to a maximum of 20 elements, so we'll have to call this 25-element thing something else".  Does anybody know what the actual difference between a set and a class is?  Several people have pointed out that you can write paradoxes which involve sets. I get that. But where do classes come into the picture? Chat gives me really, really specific time gap notifications Convert NSDate to NSString I need to display math in my report, but is it possible to remove the vertical space around align*?  A little example is the following (where I just want the align* to have the same vertical space as a \\  \documentclass[10pt,danish,a4paper,oneside,fleqn]{report}  \usepackage[english]{babel} \usepackage{amsmath}  \begin{document}  ssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssss \begin{align*}   A{\cap}B\ &amp; =\ {\left\{{b,d,e}\right\}}{\;}{\cap}{\;}{\left\{{a,b,f,g}\right\}}   \\   \nonumber\ &amp; =\ {\left\{{b}\right\}} \end{align*} ssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssss \\ ssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssss  \end{document}