Why is it important to study combinatorics?

As requested, here is a list of applications of combinatorics to other topics in pure mathematics.

  • Counting is used extensively in the original proof of Chebyshev's theorem, which you can find in Chapter 5 of (the free online version of) this book. Chebyshev's theorem is the first part of the prime number theorem, a deep result from analytic number theory.

  • In group theory, the pigeonhole principle is used to show that every element of a finite group has an order. One could argue that the proof that every finite integral domain is a field stems from similar logic.

  • A proof of Brouwer's fixed point theorem using the pigeonhole principle and Sperner's lemma is given here.

  • UPDATE: Graphs in Finite Group Theory. I know of several examples where graphs appear in finite group theory: prime graphs, character degree graphs, and commuting graphs. Prime graphs (about which I have written several MSE answers, e.g. $[1]$,$[2]$) concern the set of element orders in a finite group, character degree graphs have to do with the degrees of a group's irreducible characters, and commuting graphs illustrate which elements commute with which other elements. $$$$ Most of the time, the application of graph theory to finite group theory is linguistic - that is, these graphs arise naturally from group theoretic questions that are best formulated using graph theoretic language. In other words, one doesn't commonly see theorems from graph theory being used to solve problems in finite group theory, even when the aforementioned graphs are the subject of research. Sometimes, however, graph theory may also be applied more directly, as can be seen in this paper of mine, for example.


We might wonder: How important is "importance"? :)

But for a more serious general response to the concerns that perhaps underlie your question, it is well worth reading this wonderful piece by Sir Timothy Gowers in which he talks about two cultures or styles of mathematics, problem-solving vs theory-building, exemplified it might seem at first sight by e.g. combinatorialists vs topos theorists (the latter is my example). Gowers goes on to defend the mathematical interest and importance of combinatorics, and seeks explicitly to “counter the suggestion that the subject of combinatorics has very little structure and consists of nothing but a large number of problems”.


The entire modern world relies on combinatorial algorithms. If you want to make a program faster, you need combinatorics. If you want to understand modern programming, you need combinatorics. Without combinatorics, some programs that now take a split second would require weeks.

Cellphone communications -- Error correcting codes, wavelet and fourier optimizations.
Game programming -- polygon optimization
This website -- comment hierarchies

Anyplace you have a hundred or more pieces of data -- which is pretty much every site, store, program, place, or project -- there is likely some combinatorial improvement being used. Especially in programs. If it's fast, there are combinatorics helping out.