Factorials
Summary: The factorial counts the number of distinct orderings (permutations) of different objects; dividing by sub-factorials adjusts the count when some objects are identical, yielding multinomial and binomial coefficients.
Sources: chapter-1.2.11
Last updated: 2026-04-29
Definition
For a positive integer , the factorial is
Euler does not use the symbol (that notation came later), but he builds the concept explicitly in ch1.2.11-transpositions-and-binomial-proof to justify the binomial-theorem. (source: chapter-1.2.11)
Counting Permutations
The factorial gives the number of ways to arrange distinct objects in a row:
- 1 object: arrangement
- 2 objects: arrangements
- 3 objects: arrangements (each of 3 can be first; the remaining 2 admit 2 arrangements)
- 4 objects: ; and so on.
The recurrence is because each of the objects can be first, leaving arrangements for the rest. (source: chapter-1.2.11)
Repeated Objects
If a group of objects contains identical copies of one type and identical copies of another (with ), the number of distinct arrangements is
Example: the letters have distinct orderings. (source: chapter-1.2.11)
Binomial Coefficients
A term in the expansion of consists of letters with identical ‘s and identical ‘s. Its coefficient is
This is the entry at position (zero-indexed) in row of pascal-triangle. (source: chapter-1.2.11)
Multinomial Coefficients
For a term in the expansion of with , the coefficient is
Euler applies this to , obtaining coefficient 6 for the mixed term (since ). (source: chapter-1.2.11)
Role in the Book
Factorials arise here as a combinatorial tool to prove why binomial coefficients have the values they do. They do not appear elsewhere in Elements of Algebra (which is an introductory text), but they are foundational to combinatorics, probability, and the theory of infinite-series via the binomial-theorem.