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.