Adolf Hurwitz and the Fundamental Theorem of Galois Theorie: The Königsberg Lectures of 1890-1891

Based on the provided paper, here is a detailed technical summary of Math Dicker's analysis of Adolf Hurwitz's work on Galois Theory.

Paper Title

Adolf Hurwitz and the Fundamental Theorem of Galois Theory: The Königsberg Lectures of 1890–1891

1. Problem Statement

The paper addresses the historical and pedagogical challenge of accessing Évariste Galois's original Mémoire sur les conditions de résolubilité des équations par radicaux (1830). Galois's work is notoriously difficult to interpret due to its archaic notation, lack of modern field theory concepts (which were formalized later by Dedekind and Kronecker), and the brevity of his arguments.

The specific problem is to reconstruct and clarify the proof of the Fundamental Theorem of Galois Theory as presented by Adolf Hurwitz. While modern treatments often use the language of fields and automorphism groups, Hurwitz (in 1890–1891 and 1909) adhered strictly to the classical 19th-century tradition of substitutions (permutations), thereby offering a direct bridge to Galois's original logic without the abstraction of modern field theory.

2. Methodology

The author employs a historical and mathematical reconstruction methodology based on primary source analysis:

• Source Material:
  • Hurwitz's Lecture Notes (1890–1891): Specifically the course Theorie der algebraischen Gleichungen delivered at the Albertina University in Königsberg (preserved in ETH Library Zurich, Hs 582:66).
  • Hurwitz's Mathematical Diary (1909): Specifically Mathematisches Tagebuch No. 23 (Hs 582:23), where Hurwitz recorded a refined proof of the main theorem on July 1, 1909.
  • Student Notes: Notes by Emil Leutenegger (1915–1917) provided context for Hurwitz's later Zurich lectures, though the focus remains on the earlier Königsberg material.
• Analytical Approach:
  • The author places the lectures in their historical context, noting that Hurwitz treated the material entirely within the substitution theory framework, referencing Galois's Mémoire and Eugen Netto's Substitutionentheorie.
  • The core of the paper involves a mathematical reconstruction of Hurwitz's proof. The author adapts Hurwitz's argument into a concrete setting (a polynomial of degree 4 over $\mathbb{Q}$) to reduce complexity while preserving the logical essence.
  • The reconstruction focuses on the correspondence between rationality domains (subfields) and groups of substitutions (permutations), proving the four key properties of the Fundamental Theorem.

3. Key Contributions and Mathematical Reconstruction

The paper details Hurwitz's specific argument for the Fundamental Theorem, which relies on the construction of a Lagrange resolvent (or a primitive element) and the properties of irreducible polynomials.

The Setup

• Let $f(x) \in \mathbb{Q}[x]$ be a polynomial with distinct roots $x_1, x_2, x_3, x_4$.
• Let $L = \mathbb{Q}(x_1, x_2, x_3, x_4)$ be the splitting field.
• Hurwitz utilizes Galois's Lemma II: There exist integers $n_1, \dots, n_4$ such that the linear combination $V = n_1x_1 + \dots + n_4x_4$ generates 24 distinct values ($V_1, \dots, V_{24}$) under the action of the symmetric group $S_4$.
• Crucially, $L = \mathbb{Q}(V_1)$. This allows every root $x_i$ to be expressed as a rational function of $V_1$.

The Core Argument

Hurwitz defines a polynomial $F(v) = \prod_{i=1}^{24} (v - V_i)$. He then considers an irreducible factor $G(v)$ of $F(v)$ such that $G(V_1) = 0$. The roots of $G(v)$ are a subset $\{V_1, \dots, V_m\}$ corresponding to a specific subgroup of substitutions.

The paper reconstructs Hurwitz's proof of the four fundamental properties:

1. Rationality of Invariants (I):
   If a rational function $\phi(x_1, \dots, x_4)$ is invariant under the substitutions of a group $G$, then its value belongs to the base field $R$.

   • Proof Sketch: Hurwitz uses the auxiliary lemma: if $\phi(x_1, \dots, x_4) = \Phi(V_1)$, then applying a substitution $S_i$ yields $\Phi(V_i)$. If $\phi$ is invariant under $G$, then $\Phi(V_1) = \Phi(V_i)$ for all roots of $G$. The sum of these values (symmetric functions of the roots of $G$) yields a rational number in $R$.

2. Invariance of Rational Functions (II):
   If a rational function $\phi(x_1, \dots, x_4)$ has a value in $R$, it is invariant under the substitutions of $G$.

   • Proof Sketch: If $\phi = \alpha \in R$, then $\Phi(V_1) = \alpha$. Since $G(v)$ is irreducible, $\Phi(V_i) = \alpha$ for all roots $V_i$. Thus, the substitution maps the value to itself.

3. Group Structure (III):
   The set of substitutions $G$ forms a group.

   • Proof Sketch: Hurwitz demonstrates closure ($S_k \circ S_i = S_j$) by showing that the composition of substitutions corresponds to the composition of the rational functions mapping $V_i$ to $V_j$. Since $V_j$ is a root of $G(v)$, the composition remains within the set.

4. Characterization of the Group (IV):
   A substitution $S$ belongs to $G$ if and only if it leaves every rational function in $R$ invariant.

   • Proof Sketch: This establishes the bijection. Hurwitz argues that one can construct a specific rational function that is invariant only under the substitutions in $G$. If a substitution leaves all $R$-functions invariant, it must be in $G$.

4. Results

• Historical Clarification: The paper successfully demonstrates that Hurwitz's 1890–1891 lectures provide a rigorous, self-contained proof of the Fundamental Theorem of Galois Theory that relies solely on substitution theory, avoiding the modern concept of "fields" (Körper) while implicitly utilizing the concept of a "rationality domain" (Rationalitätsbereich).
• Proof Reconstruction: The author provides a complete, step-by-step reconstruction of Hurwitz's 1909 diary proof, showing how the correspondence between subfields and subgroups is derived directly from the properties of the irreducible polynomial $G(v)$ and the resolvent $V$.
• Pedagogical Insight: The analysis reveals Hurwitz's teaching style: he bridged the gap between Galois's difficult original text and modern understanding by carefully explicating the substitution logic, making the abstract concepts of Galois accessible to students of the time.

5. Significance

• Accessibility of Galois: The paper argues that Hurwitz's lectures serve as an "illuminating bridge" between Galois's original 1830 Mémoire and later expositions. For modern readers, Hurwitz's substitution-based approach offers a more intuitive entry point into Galois's original reasoning than modern field-theoretic proofs, which often obscure the permutation logic.
• Historical Continuity: It highlights the continuity of mathematical thought in the 19th century. Even as Dedekind was formalizing field theory, leading mathematicians like Hurwitz continued to teach Galois theory through the lens of permutations, preserving the original spirit of the theory.
• Mathematical Beauty: The paper emphasizes the "subtle, concise, and elegant" nature of Hurwitz's proof. By proving the theorem in a concrete situation (degree 4) while maintaining the general logic, Hurwitz demonstrated a mastery of algebraic structure that remains pedagogically valuable today.
• Archival Value: The work brings to light previously digitized but under-analyzed manuscripts from the ETH Zurich archives, specifically Hurwitz's diary and lecture notes, enriching the historical record of the development of abstract algebra.