Permutations and Combinations
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
.