Okay, here’s a classic bit of combinatorics that I’m almost surprised I never mentioned before: how to count permutations and combinations.
Back when I defined permutation groups, I gave a quick argument about how to count their orders. That is, how many elements are in the group . If we’re permuting the set of numbers through , first we have to choose where to send . There are possible choices of how to do this. Then we have to choose where to send , which can be anywhere but the place we sent . Thus there are choices of how to do this. And so on we go, making choices of where to send , choices of where to send . And so in total we have permutations.
Notice that what we’ve really done there is picked out an ordering on the set . More specifically, we’ve picked an ordering of the whole set. But what if we want to pick out only an ordered subset? That is, what if we want to pick out an ordered list of numbers from the set with no repetitions? Well, since there’s only one order type for each finite cardinal number, let’s just pick one as the model for our ordered list. Specifically, we’ll use the numbers from to , in their usual order.
Now we’ll take an injective function from to . The image subset will be our list, and we carry over the order from onto it. But now we can reuse the same argument as above! First we have choices where to send , and then choices where to send , and so on until we have choices of where to send . So there are such ordered subsets of length . This gets called the number of permutations with elements, and written as , or or . Notice that when this reduces to the factorial as above.
There’s an easy way to express this number in notation we already know. First we can multiply all the numbers from to , and then we can divide out the ones from to . That is, . What does this mean? Well, the up top means that we’re ordering all the elements of our set. But then since we only care about the first we don’t care about the order on the last elements. What’s hiding here is that the group is secretly acting on the set of all permutations of our set by rearranging the last elements of the permutation. What’s more, it acts freely — with no fixed points — so every orbit has the same size: . But since we only care about the first places in the permutation, we’re really interested in the number of orbits. That is, the total number of permutations divided by the size of each orbit: . And this is the formula we came up with before.
This is a general principle in combinatorics. It’s often possible to see the set you’re trying to count as a larger set modulo the free action of some group. Then the cardinality of the set you’re interested in is the cardinality of the larger set divided by the order of the group.
To see this in action, what if we don’t care about the order of our subset? That is, we just want to pick out elements with no repetitions and no care about what order they come in. Well, first we can pick out an ordered set of elements. Then we can use the group to rearrange them. Any rearrangement is just as good as any other, and the group acts freely on the set of permutations. That is, the number of unordered subsets is the number of ordered subsets — — divided by the order of the group — . This number of unordered subsets we call the number of “combinations” of an element set with elements. This is often written as , or , or , or , and they all are given by the formula .