43
$\begingroup$

In most students' introduction to rigorous proof-based mathematics, many of the initial exercises and theorems are just a test of a student's understanding of how to work with the axioms and unpack various definitions, i.e. they don't really say anything interesting about mathematics "in the wild." In various subjects, what would you consider to be the first theorem (say, in the usual presentation in a standard undergraduate textbook) with actual content?

Some possible examples are below. Feel free to either add them or disagree, but as usual, keep your answers to one suggestion per post.

  • Number theory: the existence of primitive roots.
  • Set theory: the Cantor-Bernstein-Schroeder theorem.
  • Group theory: the Sylow theorems.
  • Real analysis: the Heine-Borel theorem.
  • Topology: Urysohn's lemma.

Edit: I seem to have accidentally created the tag "soft-questions." Can we delete tags?

Edit #2: In a comment, ilya asked "You want the first result after all the basic tools have been introduced?" That's more or less my question. I guess part of what I'm looking for is the first result that justifies the introduction of all the basic tools in the first place.

$\endgroup$
5
  • $\begingroup$ I wish the system was smart enough to understand that example = examples and soft-question = soft-questions (and topos = topoi :) ). $\endgroup$ Oct 24, 2009 at 20:34
  • $\begingroup$ @Qiaochu: If there is no question with a given tag, the tag will disappear on its own within about a day. If you find two tags that should really be the same, flag the post for moderator attention with a comment explaining that the tags should be merged. @ilya: the site doesn't understand the meanings of the tags, so it would probably cause trouble if it tried to automatically merge tags. But you usually don't write the complete name of the tag anyway; you just type the first few letters and then you're shown a list of tags that match. $\endgroup$ Oct 24, 2009 at 20:50
  • $\begingroup$ @Anton, the object = objects idea seem to be easy to implement to me -- is there an example where this merging makes no sense? $\endgroup$ Oct 24, 2009 at 23:20
  • $\begingroup$ Is anyone other than me in favor of changing the word "non-trivial" to "interesting" in the title? I, for one, would feel much less intimidated. $\endgroup$
    – S. Carnahan
    Oct 26, 2009 at 9:45
  • 4
    $\begingroup$ This question seems to have long outgrown its usefulness (and some of the more recent additions have been, IMHO, lousy). Voting to close. $\endgroup$
    – Todd Trimble
    Mar 1, 2012 at 16:03

77 Answers 77

6
$\begingroup$

Finite geometry: The Bruck-Ryser-Chowla Theorem. If a finite projective plane of order q exists and q is congruent to 1 or 2 (mod 4), then q must be the sum of two squares.
BRC also has the distinction of being the la(te)st non-trivial theorem in finte geometry/design theory, as it's been the strongest result on existence of projective planes/symmetric designs for a given class of orders q for the past 60 years.

$\endgroup$
3
  • 2
    $\begingroup$ Excluding, of course, the result of Lam, Thiel and Swiercz on the plane of order 10. In combinatorial design theory more generally, there are certainly other non-trivial results. $\endgroup$ Oct 25, 2009 at 0:00
  • $\begingroup$ I agree. I was trying to keep the post short and did not want to put in too much. Perhaps a minor edit is in order. $\endgroup$ Oct 25, 2009 at 0:25
  • $\begingroup$ I remember thinking this was a really beautiful theorem when I saw it as an undergrad. I haven't thought about it for a while, thanks for reminding me :) $\endgroup$
    – GMRA
    Oct 25, 2009 at 2:00
6
$\begingroup$

In mathematical logic, Gödel's incompleteness theorem.

$\endgroup$
5
  • 12
    $\begingroup$ I would think of Completeness or Compactness of first order logic as a more reasonable answer. Incompleteness is interesting, but it feels more like a side branch of the theorem tree than the main trunk (whatever that means). $\endgroup$ Oct 25, 2009 at 6:40
  • $\begingroup$ I think it's a reasonable answer, and I don't agree at all it is a side branch, since it applies to every part of mathematics (as developed by humans, anyway). I think completeness and compactness are also reasonable answers, but we actually got to incompleteness first in my courses, so... $\endgroup$ Oct 25, 2009 at 8:47
  • $\begingroup$ Incompleteness was used as the motivation for the study of completeness and compactness in the courses I took. $\endgroup$ Oct 25, 2009 at 11:24
  • $\begingroup$ My comment about the tree is that Godel's Incompleteness Theorem just doesn't get used in logic that much. Most people see it early because it has a high "Gee Whiz" factor, which makes it a good advertisement for logic. $\endgroup$ Oct 25, 2009 at 16:55
  • $\begingroup$ I don't know about that. We use the classes of large cardinals to measure consistency strength, and we need Gödel II to establish that those strengths really are different. $\endgroup$
    – Chad Groft
    Feb 22, 2010 at 17:36
6
$\begingroup$

Homotopy Theory: the Hopf Fibration?

$\endgroup$
2
  • 2
    $\begingroup$ That's not a theorem. $\endgroup$ Jul 23, 2010 at 17:44
  • 2
    $\begingroup$ There is a theorem there (more than one, in fact), e.g. "$\pi_3(S^2)$ is an infinite cyclic group generated by the class of the Hopf fibration". $\endgroup$ Jul 24, 2010 at 5:37
6
$\begingroup$

Differential Geometry (of surfaces, say): the Gauss-Bonnet theorem.

$\endgroup$
1
  • $\begingroup$ Certainly non-trivial, but comes after Theorema Egregium (oops... I've already left an equivalent comment at Theorem Egregium entry). $\endgroup$ Jul 24, 2010 at 5:54
6
$\begingroup$

In analytic number theory: Euler's proof of the infinitude of primes, using the divergence of the harmonic series.

$\endgroup$
3
  • $\begingroup$ So, not Euclid's proof, then? $\endgroup$
    – Ryan Reich
    Jul 23, 2010 at 22:23
  • $\begingroup$ See the word in italics. :) $\endgroup$ Jul 24, 2010 at 20:45
  • $\begingroup$ Did it not used to say Euclid? I can't believe I made that mistake :) $\endgroup$
    – Ryan Reich
    Jul 24, 2010 at 21:28
5
$\begingroup$

Algebraic number theory: Hilbert 90.

$\endgroup$
3
  • $\begingroup$ Interesting. Do you consider "rings of integers are Dedekind domains" to be trivial? $\endgroup$ Oct 24, 2009 at 20:25
  • $\begingroup$ No, certainly not trivial, though simple, and a good answer to the original question indeed. $\endgroup$ Oct 24, 2009 at 20:36
  • $\begingroup$ On the other hand, the same applies to your examples of topology and group theory imho. $\endgroup$ Oct 24, 2009 at 20:37
5
$\begingroup$

Points on an elliptic curve form an abelian group, accredited to Fermat.

This should appear as an example when one introduces group theory. One can easily state many non-trivial facts, like the rational points form a finitely generated subgroup, whose torsion is known (Mazur), and whose rank is the subject of Birch-Swinnerton-Dyer conjecture. (That would also be a nice example of the classification theorem of finitely generated abelian groups)

$\endgroup$
3
  • 3
    $\begingroup$ I'd call this an example in group theory but a theorem in algebraic geometry. $\endgroup$ Oct 27, 2009 at 2:38
  • $\begingroup$ I actually did attend a short class about the classification theorem for finite abelian groups which discussed Mordell's Theorem on the last day. $\endgroup$ May 9, 2010 at 15:22
  • 1
    $\begingroup$ How about nominating Mordell's theorem (finite generation of $E(\mathbb{Q})$ for the first non-trivial theorem in arithmetic algebraic geometry instead? $\endgroup$ Jul 24, 2010 at 5:40
5
$\begingroup$

Poset theory: Dilworth's theorem.

$\endgroup$
5
$\begingroup$

In geometric probability: Buffon's noodle (and needle).

$\endgroup$
5
$\begingroup$

Rings with polynomial identities (PI rings): The Amitsur Levitzki's theorem http://gilkalai.wordpress.com/2009/05/12/the-amitsur-levitski-theorem-for-a-non-mathematician/

$\endgroup$
5
$\begingroup$

Math/Number Theory: $\mathbb{Z}$ is an Euclidean domain..PID .. UFD

Linear Algebra: Every vector space has a basis and every two basis have the same cardinal.

$\endgroup$
5
$\begingroup$

Harmonic Analysis: Plancherel's theorem

$\endgroup$
5
$\begingroup$

The first interesting theorem in Differential Algebra is...

Liouville´s condition for integration of elementary functions in finite terms.

$\endgroup$
5
$\begingroup$

Two fields, one first nontrivial theorem:

Graph theory: Hall's marriage theorem.

Majorization theory: Birkhoff's theorem that the set of all doubly symmetric matrices is the convex hull of the permutation matrices.

$\endgroup$
4
$\begingroup$

Complex analysis: Riemann mapping theorem.

(Easier candidates include: Liouville's theorem, Cauchy's integral formula, Picard theorems.)

$\endgroup$
3
  • $\begingroup$ I didn't see your answer before I posted mine (Hadamard's theorem). I guess Hadamard's factorization theorem and Riemann's mapping theorem are pretty much independent, so either one could potentially be the "first nontrivial theorem." :-) $\endgroup$ Oct 24, 2009 at 20:59
  • 15
    $\begingroup$ At least for me, taking this course as an undergraduate, it was the Cauchy integral formula for sure. $\endgroup$
    – JSE
    Oct 24, 2009 at 22:36
  • 4
    $\begingroup$ he Cauchy integral formula may be under-appreciated these days because we've moved it up early in the curriculum. We think it's elementary because it's presented early on. But historically it came after much of the material now in a complex analysis course. It was moved up precisely because it is so powerful and makes the proofs of other theorems easier. $\endgroup$ Oct 26, 2009 at 4:39
4
$\begingroup$

The representation theory of compact groups: The Peter-Weyl Theorem.

$\endgroup$
3
$\begingroup$

Lie Algebras: Simple Lie algebras can be recovered from their Dynkin diagrams via Serre relations. (Maybe you can argue that PBW is really the first non-trivial fact)

$\endgroup$
3
  • $\begingroup$ I would suggest Weyl complete reducibility. $\endgroup$
    – Steven Sam
    Oct 24, 2009 at 22:24
  • 1
    $\begingroup$ I agree it's non-trivial if you try to prove it purely algebraically, but the proof using the unitary trick on the associated simply connected compact group is pretty easy to digest. $\endgroup$ Oct 25, 2009 at 5:09
  • $\begingroup$ The construction of a compact form requires nontrivial amounts of structure theory. In fact, I conjecture that most people who know about unitary trick have never seen a complete proof. Fortunately, algebraic arguments based on Casimir allow one to bypass these complications. $\endgroup$ Jul 24, 2010 at 5:45
3
$\begingroup$

Commutative algebra: primary decomposition.

$\endgroup$
4
  • $\begingroup$ Really? Atiyah-Macdonald, at least, doesn't seem to care about primary decomposition. $\endgroup$ Oct 25, 2009 at 21:25
  • $\begingroup$ It's chapter 4 in A-M according to Google books; the previous chapters are on rings, modules, and localization, and are (if I remember correctly, or guess correctly based on the topic list) basically definition-oriented. $\endgroup$ Oct 26, 2009 at 1:04
  • $\begingroup$ I may have misunderstood the introduction. The beginning of the chapter: "In the modern treatment, with its emphasis on localization, primary decomposition is no longer such a central tool in the theory. It is still, however, of interest in itself and in this chapter we establish the classical uniqueness theorems." $\endgroup$ Oct 26, 2009 at 17:04
  • 1
    $\begingroup$ I'd argue for Nakayama on the same grounds as the Yoneda lemma, but again that's of a rather different nature. $\endgroup$ Nov 27, 2009 at 4:07
3
$\begingroup$

Analysis/Topology. The closed interval [a,b] is compact.

$\endgroup$
2
  • $\begingroup$ Not with the metric definition "compact" = "closed and bounded", because then it's obvious. Perhaps you mean the Heine–Borel theorem, but that was already listed in the original question. $\endgroup$
    – lhf
    Oct 30, 2009 at 9:13
  • $\begingroup$ lhf, the unit ball of an infinite-dimensional Hilbert space is closed and bounded, but not compact. $\endgroup$
    – Todd Trimble
    Mar 1, 2012 at 13:29
3
$\begingroup$

Theoretical computer science or combinatorics or algorithmics: The diamond lemma.

Some days ago, while giving a seminar talk about Clifford algebras, I realized that Lawson-Michelson has a flawed proof that the canonical inclusion of a vector space in its own Clifford algebra is indeed injective (unfortunately, not until I had written this proof on desk). Most other literature gives ugly proofs using orthogonalization. Fact is, this injectivity works in a much more general context (namely, it works for any module over a commutative ring with $1$), where of course there needs not be any orthogonalization. And it is easily proven using the diamond lemma. A similar assertion for Weyl algebras is also clear from the diamond lemma, and so is the Poincaré-Birkhoff-Witt theorem (which is proven in intricate and opaque ways in most of literature). Maybe the problem is that geometers don't know enough computer science?

$\endgroup$
3
$\begingroup$

Algebra: Classification of finite abelian groups

$\endgroup$
2
$\begingroup$

Combinatorics: counting the number of derangements of [n].

$\endgroup$
4
  • $\begingroup$ I'm not at all convinced that this is the best answer, but after a few minutes of scratching my head, I turned to an old undergraduate textbook. Six chapters in, this is the first proven result that seems to qualify. $\endgroup$ Oct 24, 2009 at 21:08
  • 1
    $\begingroup$ I think I would disagree, since counting derangements is just a standard application of inclusion-exclusion, which is pretty trivial. $\endgroup$ Oct 24, 2009 at 21:30
  • 1
    $\begingroup$ Combinatorics doesn't really fall under the purvey of this question, since it's both relatively non-axiomatic and highly non-linear. And for what it's worth, I consider inclusion-exclusion highly nontrivial, at least conceptually (as Mobius inversion). $\endgroup$ Oct 24, 2009 at 21:32
  • 1
    $\begingroup$ I think this answer is reasonable. But this implicitly requires that permutations be one of the first objects you look at. As Qiaochu has pointed out, we don't necessarily have to make this choice. $\endgroup$ Oct 24, 2009 at 21:56
2
$\begingroup$

Banach algebras: Gelfand's proof of the Wiener lemma for l1(Z)

$\endgroup$
1
  • $\begingroup$ (I suppose someone will point out that this rests on the Gelfand-Mazur theorem, but I maintain that Wiener's lemma is more arresting and grabs the attention better - hence is more "interesting" in that sense. Obviously the Gelfand-Mazur theorem lies deeper and is in that sense more "interesting") $\endgroup$
    – Yemon Choi
    Nov 11, 2009 at 10:16
2
$\begingroup$

Nonlinear programming/Optimization: The Karush-Kuhn-Tucker conditions

$\endgroup$
2
$\begingroup$

In real analysis, I would say The intermediate value theorem.

$\endgroup$
2
$\begingroup$

Measure theory: the Hahn decomposition theorem.

If one were to attempt to simply union together all positive sets, one may end up with an uncountable union, which is thus not necessarily measurable. The fact that you can decompose the space into a positive and negative set is therefore a little surprising. The constructions in the proof of this theorem are typically delicate.

$\endgroup$
2
$\begingroup$

Homological algebra: the cup product in (co)homology is graded commutative.

Is there a good reference for proofs of this in different cohomological theories? I know two proofs in simplicial homology and one proof in Hochschild cohomology... but I am far from seeing the relation between all these cup products.

$\endgroup$
8
  • $\begingroup$ Do you mean that everything before cup product is trivial? Really? $\endgroup$ Jul 24, 2010 at 5:49
  • $\begingroup$ The question is about "interesting", not about "nontrivial". "Interesting", for me, means a theorem which gets us more than we could have expected by looking at the condition and thinking about it for a while. I don't think the long exact sequences, the homotopic equivalence of resolutions and the basic properties of cup (not the commutativity) would fall under this, even if they are certainly not easy to come up with from scratch. $\endgroup$ Jul 24, 2010 at 15:02
  • $\begingroup$ You'll find in the arXiv a little note of mine which proves the commutativity of cup products in lots of cohomology theories. $\endgroup$ Jul 24, 2010 at 21:10
  • $\begingroup$ To be precise, the question asks for "the first theorem... with the actual content". Long exact sequence and homotopic equivalence of resolutions may not pass your muster, but what about, say, Hilbert's syzygy theorem? There are whole books on homological algebra that do not touch cup products(Gelfand-Manin is one, if I remember correctly). $\endgroup$ Jul 25, 2010 at 5:54
  • $\begingroup$ Mariano: I know, but I don't know derived categories (still). $\endgroup$ Jul 25, 2010 at 11:40
2
$\begingroup$

Game Theory:

A zero-sum 2x2 (two person) matrix game which has no dominating strategy has an optimal mixed strategy, and the game is fair (0 expected value) if the determinant of the payoff matrix (say from the row player's point of view) is zero.

$\endgroup$
2
$\begingroup$

Real Analysis: The function $t \mapsto \exp(it)$, defined by a certain power series, is periodic with a period of about 6.4.

$\endgroup$
1
  • 9
    $\begingroup$ The second theorem is that 6.3 is closer. $\endgroup$ Mar 1, 2012 at 14:43
1
$\begingroup$

Algebraic geometry: points are prime ideals.

$\endgroup$
6
  • 2
    $\begingroup$ I would call this more a modification of the definition of "point" than anything else. But I would agree that something like "the Nullstellensatz" is a great answer here. $\endgroup$ Oct 24, 2009 at 20:09
  • $\begingroup$ I feel like non-trivial fact 1 is that "points are maximal ideals", and then non-trivial fact 2 is that "oh wait, points should really be prime ideals", followed by contemplating the nature of what a point is. $\endgroup$ Oct 24, 2009 at 20:10
  • $\begingroup$ Mm, depends on your taste certainly. But, ok, let's define the point geometrically as the minimal subscheme then it's a theorem. $\endgroup$ Oct 24, 2009 at 20:12
  • $\begingroup$ I feel like history tells us that "points are maximal ideals" is non-trivial fact 1, then perhaps the Nullstellensatz is fact 2, and then... and then "oh wait, points are really prime ideals" is non-trivial fact \omega. Followed by \omega + 1, and so on. But of course history is often wrong. $\endgroup$ Oct 24, 2009 at 20:26
  • $\begingroup$ I feel like non-trivial fact 1 is that "points are maximal ideals" <== this is exactly Euclid's "a point is what has no parts". Though I'm not quite saying this makes it trivial... $\endgroup$ May 23, 2010 at 22:11

Not the answer you're looking for? Browse other questions tagged or ask your own question.