Skip to content

Mathematics · Ch 12 — Permutations and Combination

Permutations when some objects are identical

12.5.3

Permutations when some objects are identical

This sub-section extends the permutation formula to the case where some of the objects being arranged are actually IDENTICAL to each other — a situation that arises naturally when arranging the letters of a word like GOOD, INDIA, GEOLOGY, MATHEMATICS, or PHILOSOPHY, where certain letters are repeated and hence not all the letters are genuinely distinct from each other.

The motivating idea is worked through with the small word ODD. First, temporarily treat the two D's as if they were distinguishable, labelling them D1D_1 and D2D_2. Arranging the three 'letters' O, D1D_1, D2D_2 (now all artificially distinct) gives 3!=63!=6 arrangements: OD1D2, OD2D1, D1OD2, D2OD1, D1D2O, D2D1OOD_1D_2,\ OD_2D_1,\ D_1OD_2,\ D_2OD_1,\ D_1D_2O,\ D_2D_1O. But D1D_1 and D2D_2 are actually IDENTICAL, so several of these six 'different' arrangements are really the same word once the artificial labels are dropped: OD1D2OD_1D_2 and OD2D1OD_2D_1 both simply read ODD; D1D2OD_1D_2O and D2D1OD_2D_1O both read DDO; and D2OD1D_2OD_1 and D1OD2D_1OD_2 both read DOD. Since D1D_1 and D2D_2 can be swapped with each other in 2!=22!=2 ways without changing the actual word, each genuinely distinct word has been counted exactly twice among the six labelled arrangements. So the true number of distinct words is 62!=62=3\dfrac{6}{2!}=\dfrac{6}{2}=3 — namely ODD, DOD, and DDO.

This motivates the general Theorem: consider a set of nn objects where n1n_1 objects are identical (copies of each other) and the remaining n−n1n-n_1 objects are all distinct from each other and from the repeated group (with n1<nn_1<n). The number of distinct permutations of these nn objects, taken all at a time, is n!n1!\dfrac{n!}{n_1!}.

Proof. Let mm denote the true number of distinct arrangements when n1n_1 of the nn objects are identical. If, instead, all nn objects were treated as fully distinct, the number of permutations would be the familiar n!n!. But each of the mm genuinely distinct arrangements corresponds to exactly n1!n_1! different 'labelled' arrangements once the n1n_1 identical objects are artificially treated as distinguishable and rearranged among themselves — exactly as seen in the ODD example above, where each of the 3 true words corresponded to 2!=22!=2 labelled versions. So m×n1!=n!m\times n_1! = n!, giving m=n!n1!m = \dfrac{n!}{n_1!}.

Two Remarks extend this to multiple distinct repeated groups. (1) If a set of nn objects, not all distinct, has n1n_1 objects of one kind and n2n_2 objects of a second kind (with n1+n2≤nn_1+n_2\le n, the rest distinct), the number of permutations of all nn objects taken together is n!n1! n2!\dfrac{n!}{n_1!\,n_2!} — proved by the identical argument as the single-repeated-group theorem, applied twice. (2) More generally, if there are kk distinct kinds of repeated objects, with nin_i objects of the ii-th kind for i=1,2,…,ki=1,2,\ldots,k (and n1+n2+⋯+nk≤nn_1+n_2+\cdots+n_k\le n), the number of permutations of all nn objects taken together is n!n1! n2!⋯nk!\dfrac{n!}{n_1!\,n_2!\cdots n_k!}.

Solved Example 1. Find the number of permutations of the letters of the word UBUNTU. UBUNTU has 6 letters, in which the letter 'U' is repeated 3 times (the rest — B, N, T — are distinct). By the theorem, the number of permutations is 6!3!=7206=120\dfrac{6!}{3!} = \dfrac{720}{6} = 120. …

Misc 1ODD worked example — listing all 6 labelled arrangements collapsing to 3

Worked out. To motivate the identical-objects formula before it is stated as a general theorem, the text first temporarily treats the word ODD's two D's as if they were distinguishable, labelling them D1 and D2, and lists out all 3!=6 arrangements of O, D1, D2 as OD1D2, OD2D1, D1OD2, D2OD1, D1D2O, D2D1O. It then observes that once D1 and D2 are recognised as actually identical, several of these listed arrangements collapse into the same word — OD1D2 and OD2D1 both read as ODD, D1D2O and D2D1O both read as DDO, and D2OD1 and D1OD2 both read as DOD — leaving only 3 genuinely distinct words (ODD, DOD, DDO), which is exactly 6/2!=3, directly motivating why the general formula divides the 'as if all distinct' count …