Emmy Noether

1.1 Einstein, Hilbert, and the Emerging General Relativity

In the summer of 1915, Albert Einstein spent a week in Göttingen presenting six two-hour lectures on his developing generalized theory of gravitation. In attendance were David Hilbert and Felix Klein. Hilbert immediately embarked on his own axiomatic formulation of gravitation, aiming to unify gravity with Gustav Mie’s electrodynamics.

By November 1915, both Einstein and Hilbert arrived at the fundamental gravitational field equations—Einstein presenting his definitive paper to the Prussian Academy of Sciences on November 25, 1915, and Hilbert presenting to the Royal Society of Sciences in Göttingen on November 20, 1915 ("Die Grundlagen der Physik").

Yet beneath the triumph lay an alarming conceptual breakdown: the classical principle of the conservation of energy appeared to fail in curved spacetime.

1.2 The Breakdown of Local Energy Conservation

In Special Relativity, the conservation of energy and linear momentum is expressed via the vanishing partial divergence of the symmetric energy-momentum tensor $T^{\mu\nu}$:

$$\partial_\nu T^{\mu\nu} = 0 \quad (\mu, \nu \in \{0, 1, 2, 3\})$$

For $\mu = 0$, applying Gauss’s divergence theorem across a spatial volume $V$ bounded by a distant surface $\partial V$ where fields vanish:

$$\frac{d}{dt} \int_V T^{00} d^3x = - \int_{\partial V} T^{0i} n_i dA = 0$$

This yields an unambiguous, frame-independent conserved scalar: total energy $E = \int_V T^{00} d^3x$.

In General Relativity, however, the metric tensor $g_{\mu\nu}(x)$ is dynamical. General covariance dictates that partial derivatives $\partial_\nu$ must be replaced by covariant derivatives $\nabla_\nu$:

$$\nabla_\nu T^{\mu\nu} = \partial_\nu T^{\mu\nu} + \Gamma^\mu_{\alpha\nu} T^{\alpha\nu} + \Gamma^\nu_{\alpha\nu} T^{\mu\alpha} = 0$$

In terms of the metric determinant $g = \det(g_{\mu\nu})$, this reads:

$$\frac{1}{\sqrt{-g}} \partial_\nu \left( \sqrt{-g} T^{\mu\nu} \right) + \Gamma^\mu_{\alpha\beta} T^{\alpha\beta} = 0$$

The Christoffel term $\Gamma^\mu_{\alpha\beta} T^{\alpha\beta}$ is non-zero in any curved coordinate system. Because the equation cannot be written as a pure partial divergence of a tensor:

$$\partial_\nu \left( \sqrt{-g} T^{\mu\nu} \right) \ne 0$$

one cannot integrate over a spatial hypersurface to obtain an invariant conserved scalar energy. Energy from matter can be exchanged with the gravitational field, but gravitation possesses no tensor energy-momentum density of its own.

1.3 Einstein's Pseudo-Tensor Compromise

To salvage an integral conservation law, Einstein introduced a non-tensorial quantity $t^\mu_\nu$, the gravitational energy-momentum pseudo-tensor:

$$\partial_\nu \left( \sqrt{-g} (T^\mu_\nu + t^\mu_\nu) \right) = 0$$

While $t^\mu_\nu$ allowed the formal definition of conserved total 4-momentum $P^\mu = \int (T^\mu_0 + t^\mu_0) \sqrt{-g} d^3x$, it suffered from fundamental pathologies: 1. $t^\mu_\nu$ is not a tensor under general coordinate transformations. 2. By the Equivalence Principle, coordinates can always be chosen locally (in Riemann normal coordinates) such that $\Gamma^\alpha_{\beta\gamma}(x_0) = 0$, causing $t^\mu_\nu(x_0)$ to vanish at any point. Conversely, in flat Minkowski spacetime, choosing curvilinear coordinates makes $t^\mu_\nu$ non-zero. 3. Gravitational energy cannot be localized.

Hilbert asserted that in generally covariant theories, "proper" energy conservation laws do not exist. Klein regarded the vanishing divergence as an unresolved puzzle of invariant theory.

1.4 The Invitation of Emmy Noether

In April 1915, Klein and Hilbert invited Emmy Noether to Göttingen.

Noether was already a recognized authority on invariant theory. Born in Erlangen in 1882, she completed her doctorate in 1907 under Paul Gordan, computing complete systems of invariants for ternary bi-quadratic forms. Under Ernst Fischer's influence, she assimilated Hilbert's modern axiomatic methods.

Hilbert and Klein recognized that the energy crisis in General Relativity was neither a physical flaw nor a tensor manipulation trick: it was an invariant-theoretic problem involving variational integrals invariant under infinite continuous transformation groups. Noether possessed the exact algebraic mastery required to resolve it.

In 1918, Noether published her memoir in the Göttinger Nachrichten: "Invariante Variationsprobleme". She resolved both classical conservation laws and the general relativistic energy paradox by establishing two distinct theorems.

2.1 The Variational Setup in Field Theory

Consider an action functional $S$ defined over spacetime domain $\Omega \subset \mathbb{R}^4$:

$$S[\phi] = \int_\Omega \mathcal{L}\left( \phi^a(x), \partial_\mu \phi^a(x), x^\mu \right) d^4x$$

where: * $x^\mu = (x^0, x^1, x^2, x^3)$ are spacetime coordinates. * $\phi^a(x)$ are $N$ physical field components ($a = 1, \dots, N$). * $\partial_\mu \phi^a \equiv \frac{\partial \phi^a}{\partial x^\mu}$ are field derivatives. * $\mathcal{L}$ is the Lagrangian density.

2.2 Continuous Lie Transformation Groups

Let $G_r$ be an $r$-parameter finite-dimensional Lie group of continuous transformations:

$$x^\mu \longrightarrow x'^\mu = x^\mu + \delta x^\mu, \quad \phi^a(x) \longrightarrow \phi'^a(x') = \phi^a(x) + \delta \phi^a(x)$$

For an infinitesimal transformation with constant parameters $\epsilon^k$ ($k = 1, \dots, r$):

$$\delta x^\mu = X_k^\mu(x) \, \epsilon^k, \quad \delta \phi^a(x) = \Psi_k^a(x, \phi) \, \epsilon^k$$

2.3 Total vs. Intrinsic (Local) Variations

The total variation $\delta \phi^a$ compares the transformed field at transformed coordinate $x'$ to the original field at $x$. The intrinsic variation $\bar{\delta} \phi^a$ compares them at the same coordinate $x$:

$$\bar{\delta} \phi^a(x) \equiv \phi'^a(x) - \phi^a(x) = \delta \phi^a(x) - (\partial_\nu \phi^a) \delta x^\nu$$

The operator $\bar{\delta}$ commutes with partial derivatives: $\bar{\delta}(\partial_\mu \phi^a) = \partial_\mu (\bar{\delta} \phi^a)$.

Under coordinate transformation $x \to x'$, the volume element transforms via the Jacobian:

$$d^4x' = \det\left( \delta^\mu_\nu + \partial_\nu (\delta x^\mu) \right) d^4x = \left( 1 + \partial_\mu (\delta x^\mu) \right) d^4x$$

2.4 Condition of Action Invariance

Invariance of the action under $G_r$ implies $\delta S = S'[\Omega'] - S[\Omega] = 0$:

$$\delta S = \int_\Omega \left[ \delta \mathcal{L} + \mathcal{L} \, \partial_\mu (\delta x^\mu) \right] d^4x = 0$$

where $\delta \mathcal{L} = \bar{\delta}\mathcal{L} + (\partial_\mu \mathcal{L}) \delta x^\mu$. Thus:

$$\delta \mathcal{L} + \mathcal{L} \partial_\mu (\delta x^\mu) = \bar{\delta}\mathcal{L} + \partial_\mu \left( \mathcal{L} \delta x^\mu \right)$$

2.5 Expansion of $\bar{\delta}\mathcal{L}$ and the Fundamental Identity

Expanding $\bar{\delta}\mathcal{L}$:

$$\bar{\delta}\mathcal{L} = \frac{\partial \mathcal{L}}{\partial \phi^a} \bar{\delta}\phi^a + \frac{\partial \mathcal{L}}{\partial (\partial_\mu \phi^a)} \partial_\mu(\bar{\delta}\phi^a)$$

Integrating by parts:

$$\bar{\delta}\mathcal{L} = \underbrace{\left[ \frac{\partial \mathcal{L}}{\partial \phi^a} - \partial_\mu \left( \frac{\partial \mathcal{L}}{\partial (\partial_\mu \phi^a)} \right) \right]}_{\mathcal{E}_a(\mathcal{L})} \bar{\delta}\phi^a + \partial_\mu \left( \frac{\partial \mathcal{L}}{\partial (\partial_\mu \phi^a)} \bar{\delta}\phi^a \right)$$

where $\mathcal{E}_a(\mathcal{L})$ is the Euler-Lagrange expression. Substituting back into $\delta S$:

$$\delta S = \int_\Omega \left\{ \mathcal{E}_a(\mathcal{L}) \bar{\delta}\phi^a + \partial_\mu \left[ \frac{\partial \mathcal{L}}{\partial (\partial_\mu \phi^a)} \bar{\delta}\phi^a + \mathcal{L} \delta x^\mu \right] \right\} d^4x = 0$$

Define the Noether current $j^\mu$:

$$j^\mu \equiv - \left[ \frac{\partial \mathcal{L}}{\partial (\partial_\mu \phi^a)} \bar{\delta}\phi^a + \mathcal{L} \delta x^\mu \right]$$

Since $\Omega$ is arbitrary, the integrand vanishes identically everywhere:

$$\partial_\mu j^\mu = \mathcal{E}_a(\mathcal{L}) \bar{\delta}\phi^a$$

This is Noether's off-shell identity.

2.6 On-Shell Conservation and Global Charges

When the fields satisfy the Euler-Lagrange equations of motion, $\mathcal{E}_a(\mathcal{L}) = 0$. The right-hand side vanishes on-shell:

$$\partial_\mu j^\mu = 0$$

Substituting $\bar{\delta}\phi^a = \delta \phi^a - (\partial_\nu \phi^a)\delta x^\nu$:

$$j^\mu = \left( \frac{\partial \mathcal{L}}{\partial (\partial_\mu \phi^a)} \partial_\nu \phi^a - \mathcal{L}\delta^\mu_\nu \right) \delta x^\nu - \frac{\partial \mathcal{L}}{\partial (\partial_\mu \phi^a)} \delta \phi^a$$

Factoring out the $r$ independent parameters $\epsilon^k$:

$$j^\mu = j_k^\mu \, \epsilon^k \implies \partial_\mu j_k^\mu = 0 \quad \forall k \in \{1, \dots, r\}$$

For each current $j_k^\mu = (j_k^0, \vec{j}_k)$, define the spatial charge $Q_k$ over $\Sigma = \mathbb{R}^3$:

$$Q_k \equiv \int_\Sigma j_k^0 \, d^3x$$

Differentiating with respect to coordinate time $t = x^0$ and applying the divergence theorem:

$$\frac{dQ_k}{dt} = \int_\Sigma \partial_0 j_k^0 \, d^3x = - \int_{\partial \Sigma} \vec{j}_k \cdot \hat{n} \, dA = 0$$

assuming boundary flux vanishes at infinity. The charge $Q_k$ is strictly constant in time. This completes Noether's First Theorem.

Noether's First Theorem links the Poincaré group $ISO(3,1)$ symmetries directly to physical conservation laws:

   Continuous Geometric Symmetry                Conserved Physical Quantity
+----------------------------------+          +-----------------------------+
| Time Translation Invariance      | -------> | Conservation of Energy      |
|  (Homogeneity of Time)           |          |  (Hamiltonian H)            |
+----------------------------------+          +-----------------------------+
| Spatial Translation Invariance   | -------> | Conservation of Momentum    |
|  (Homogeneity of Space)          |          |  (Linear Momentum P)        |
+----------------------------------+          +-----------------------------+
| Spatial Rotational Invariance    | -------> | Conservation of Angular     |
|  (Isotropy of Space)             |          |  Momentum (Tensor L)        |
+----------------------------------+          +-----------------------------+
| Global Gauge Phase Invariance    | -------> | Conservation of Electric    |
|  (Internal U(1) Symmetry)        |          |  Charge / Particle Number   |
+----------------------------------+          +-----------------------------+

3.1 Temporal Invariance $\implies$ Conservation of Energy

Under infinitesimal time translation:

$$x'^0 = x^0 + \epsilon, \quad x'^i = x^i, \quad \delta \phi^a = 0 \implies X^0 = 1, \quad X^i = 0$$

The Noether current is:

$$j^\mu = \frac{\partial \mathcal{L}}{\partial (\partial_\mu \phi^a)} \partial_0 \phi^a - \mathcal{L} \delta^\mu_0 \equiv T^\mu_{\phantom{\mu}0}$$

where $T^\mu_{\phantom{\mu}\nu}$ is the canonical energy-momentum tensor:

$$T^\mu_{\phantom{\mu}\nu} \equiv \frac{\partial \mathcal{L}}{\partial (\partial_\mu \phi^a)} \partial_\nu \phi^a - \mathcal{L} \delta^\mu_\nu$$

The time component $j^0 = T^0_{\phantom{0}0}$ is the energy density:

$$\mathcal{H} = T^0_{\phantom{0}0} = \pi_a \dot{\phi}^a - \mathcal{L}, \quad \pi_a \equiv \frac{\partial \mathcal{L}}{\partial \dot{\phi}^a}$$

The conserved charge is the Hamiltonian (total physical energy):

$$E = H = \int_{\mathbb{R}^3} (\pi_a \dot{\phi}^a - \mathcal{L}) d^3x, \quad \frac{dE}{dt} = 0$$

3.2 Spatial Translation Invariance $\implies$ Conservation of Linear Momentum

Under infinitesimal spatial translation along $x^k$:

$$x'^k = x^k + \epsilon^k, \quad x'^\mu = x^\mu \; (\mu \ne k), \quad \delta \phi^a = 0 \implies X_{(k)}^\nu = \delta_k^\nu$$

The current is $j_{(k)}^\mu = T^\mu_{\phantom{\mu}k}$. The temporal component is the momentum density:

$$\mathcal{P}_k = T^0_{\phantom{0}k} = \pi_a \partial_k \phi^a$$

The conserved charge is the total linear momentum:

$$P_k = \int_{\mathbb{R}^3} \pi_a \partial_k \phi^a \, d^3x, \quad \frac{dP_k}{dt} = 0$$

3.3 Rotational Invariance $\implies$ Conservation of Angular Momentum

Under infinitesimal spatial rotation in the $(i, j)$-plane ($\omega_{ij} = -\omega_{ji}$):

$$\delta x^k = \omega^k_{\phantom{k}l} x^l, \quad \delta x^0 = 0$$

For fields carrying intrinsic spin, $\delta \phi^a = \frac{1}{2} \omega^{ij} (S_{ij})^a_{\phantom{a}b} \phi^b$. The Noether current is:

$$\mathcal{M}^{\mu, ij} = (x^i T^{\mu j} - x^j T^{\mu i}) + \frac{\partial \mathcal{L}}{\partial (\partial_\mu \phi^a)} (S^{ij})^a_{\phantom{a}b} \phi^b$$

On-shell, $\partial_\mu \mathcal{M}^{\mu, ij} = 0$. The conserved charge is the angular momentum tensor:

$$J^{ij} = \int_{\mathbb{R}^3} \left( x^i T^{0j} - x^j T^{0i} + S^{0ij} \right) d^3x, \quad \frac{dJ^{ij}}{dt} = 0$$

3.4 Internal Symmetries: $U(1)$ and Conservation of Electric Charge

For a complex scalar field $\mathcal{L} = \partial_\mu \phi^* \partial^\mu \phi - m^2 \phi^* \phi$ invariant under global $U(1)$ phase shift $\phi \to e^{i\alpha}\phi$:

$$\delta \phi = i \epsilon \phi, \quad \delta \phi^* = -i \epsilon \phi^*, \quad \delta x^\mu = 0$$

The Noether current is:

$$j^\mu = i (\phi^* \partial^\mu \phi - \phi \partial^\mu \phi^*)$$

On-shell, $\partial_\mu j^\mu = 0$. The conserved charge is the total electric charge:

$$Q = i \int_{\mathbb{R}^3} (\phi^* \dot{\phi} - \phi \dot{\phi}^*) d^3x, \quad \frac{dQ}{dt} = 0$$

3.5 Hamiltonian Mechanics and Poisson Brackets

In Hamiltonian phase space, the Noether charge $G(q, p)$ generates the transformation: $\delta F = \{ F, G \} \epsilon$. If the Hamiltonian is invariant, $\delta H = \{ H, G \} \epsilon = 0 \implies \{ H, G \} = 0$. By Hamilton's equations:

$$\frac{dG}{dt} = \frac{\partial G}{\partial t} + \{ G, H \} = 0$$

Conserved charges generate the symmetry algebra via Poisson brackets: $\{ Q_a, Q_b \} = f_{ab}^{\phantom{ab}c} Q_c$.

Noether discovered that when the transformation group is infinite-dimensional, the First Theorem's dynamical conservation laws are replaced by off-shell differential identities.

4.1 Infinite-Dimensional Transformation Groups $\mathfrak{G}_\infty$

Let $\mathfrak{G}_\infty$ be an infinite continuous group whose transformations depend on $r$ arbitrary smooth functions $p_k(x)$ and their derivatives:

$$\bar{\delta}\phi^a(x) = a_k^a(x) p_k(x) + b_k^{a\mu}(x) \partial_\mu p_k(x) + \dots$$

where $p_k(x)$ have arbitrary compact support within $\Omega$.

4.2 Derivation of the Second Theorem Identities

Recall the off-shell identity:

$$\int_\Omega \left[ \mathcal{E}_a(\mathcal{L}) \bar{\delta}\phi^a - \partial_\mu j^\mu \right] d^4x = 0$$

Because $p_k(x)$ vanish on the boundary $\partial \Omega$, the surface term vanishes:

$$\int_\Omega \mathcal{E}_a(\mathcal{L}) \left[ a_k^a(x) p_k(x) + b_k^{a\mu}(x) \partial_\mu p_k(x) + \dots \right] d^4x = 0$$

Integrating derivative terms by parts:

$$\int_\Omega \left[ a_k^a \mathcal{E}_a(\mathcal{L}) - \partial_\mu \left( b_k^{a\mu} \mathcal{E}_a(\mathcal{L}) \right) + \dots \right] p_k(x) \, d^4x = 0$$

Because $p_k(x)$ is completely arbitrary, the bracketed expression must vanish identically at every point:

$$\sum_a \left[ a_k^a \mathcal{E}_a(\mathcal{L}) - \partial_\mu \left( b_k^{a\mu} \mathcal{E}_a(\mathcal{L}) \right) + \dots \right] \equiv 0 \quad \forall k \in \{1, \dots, r\}$$

This is Noether’s Second Theorem.

+---------------------------------------------------------------------------------------+
|                               NOETHER'S DUAL THEOREMS                                 |
+-------------------------------------------+-------------------------------------------+
| FIRST THEOREM                             | SECOND THEOREM                            |
+-------------------------------------------+-------------------------------------------+
| Symmetries parametrized by CONSTANTS      | Symmetries parametrized by FUNCTIONS      |
| Rigid / Global Transformations            | Local Gauge / Diffeomorphism Invariance   |
| Holds ON-SHELL (requires EOM)             | Holds OFF-SHELL (identically true)        |
| Yields DYNAMICAL CONSERVATION LAWS        | Yields DIFFERENTIAL IDENTITIES            |
| Conserved Scalar Charges (E, P, L, Q)     | Kinematic Constraints (Gauss Law, Bianchi)|
| Physical Symmetries (observable)          | Mathematical Redundancies (gauge choice)  |
+-------------------------------------------+-------------------------------------------+

4.3 Resolution of the General Relativity Crisis

In General Relativity, the action is the Einstein-Hilbert action:

$$S_{EH}[g_{\mu\nu}] = \frac{1}{2\kappa} \int_\Omega \sqrt{-g} R \, d^4x$$

The symmetry group is the diffeomorphism group $\text{Diff}(M)$, parametrized by 4 arbitrary vector functions $\xi^\mu(x)$:

$$x'^\mu = x^\mu + \xi^\mu(x), \quad \delta g_{\mu\nu} = \nabla_\mu \xi_\nu + \nabla_\nu \xi_\mu$$

The Euler-Lagrange equations are proportional to the Einstein tensor:

$$\mathcal{E}^{\mu\nu}(\mathcal{L}_{EH}) = -\frac{1}{2\kappa} \sqrt{-g} G^{\mu\nu} \equiv -\frac{1}{2\kappa} \sqrt{-g} \left( R^{\mu\nu} - \frac{1}{2} g^{\mu\nu} R \right)$$

Noether's Second Theorem guarantees that diffeomorphism invariance produces four off-shell differential identities: the contracted Bianchi identities:

$$\nabla_\mu G^{\mu\nu} \equiv 0 \quad (\nu = 0, 1, 2, 3)$$

This solved the Göttingen crisis: 1. In General Relativity, energy-momentum conservation is not an independent dynamical law, but an off-shell mathematical identity guaranteed by coordinate independence. 2. The vanishing covariant divergence $\nabla_\nu T^{\mu\nu} = 0$ is guaranteed identically through $G^{\mu\nu} = \kappa T^{\mu\nu}$. 3. Local gravitational energy cannot be a tensor because gravitational acceleration can always be transformed away locally via the Equivalence Principle.

4.4 Modern Yang-Mills Gauge Theories

In $SU(N)$ Yang-Mills gauge theory ($\mathcal{L}_{YM} = -\frac{1}{4} F_{\mu\nu}^a F^{a\mu\nu}$), local gauge invariance under $\theta^a(x)$ produces: 1. Off-shell covariant conservation: $D_\mu J^{a\mu} \equiv 0$. 2. The non-Abelian Gauss law constraint: $D_i E^{ai} - \rho^a \approx 0$, which generates gauge transformations and eliminates unphysical photon and gluon degrees of freedom.

In the 1920s, Noether transformed pure mathematics from polynomial calculations into structural axiomatic algebra.

       19th Century Algebra                        Noetherian Abstract Algebra
+----------------------------------+          +----------------------------------+
| Computational & Algorithmic      |          | Axiomatic & Structural           |
| Gordan's explicit invariants     |          | Rings, Ideals, and Modules       |
| Brute-force determinant expansions| -------> | Ascending Chain Condition (ACC)  |
| Prime factorization of numbers   |          | Lasker-Noether Decomposition     |
| Combinatorial Betti numbers      |          | Homology and Cohomology Groups   |
+----------------------------------+          +----------------------------------+

5.1 From Computational Invariants to Axiomatic Rings

Paul Gordan’s invariant theory relied on calculating explicit systems of invariants. In 1888/1890, David Hilbert proved the Hilbert Basis Theorem: every ideal in $k[x_1, \dots, x_n]$ is finitely generated. His proof was non-constructive, provoking Gordan’s outcry: "Das ist nicht Mathematik; das ist Theologie!"

Noether realized that finiteness was not an accident of polynomials, but a general structural property of rings.

5.2 The 1921 Paper: "Idealtheorie in Ringbereichen"

In 1921, Noether formulated the Ascending Chain Condition (ACC) for commutative rings.

Definitions:

• An ideal $I \subseteq R$ is an additive subgroup such that $rx \in I$ for all $r \in R, x \in I$.
• A ring $R$ satisfies the Ascending Chain Condition if every ascending chain of ideals: $$I_1 \subseteq I_2 \subseteq I_3 \subseteq \dots$$ eventually terminates: $\exists N \in \mathbb{N}$ such that $\forall n \ge N, \; I_n = I_N$.

Theorem: Equivalences of Noetherian Rings

Noether proved the equivalence of three fundamental conditions for any commutative ring $R$: 1. The Ascending Chain Condition: Every ascending chain of ideals stabilizes. 2. The Maximal Condition: Every non-empty set of ideals has a maximal element under inclusion. 3. Finite Generation: Every ideal $I \subseteq R$ is finitely generated: $$I = \langle x_1, \dots, x_m \rangle = \left\{ \sum_{i=1}^m r_i x_i \;\middle|\; r_i \in R \right\}$$

A ring satisfying these conditions is a Noetherian Ring.

Proof of Equivalence:

• (3) $\implies$ (1): Let $I_1 \subseteq I_2 \subseteq \dots$ be an ascending chain. The union $I_\infty = \bigcup_{k=1}^\infty I_k$ is an ideal, hence finitely generated: $I_\infty = \langle x_1, \dots, x_m \rangle$. Each $x_i \in I_{k_i}$. For $N = \max(k_1, \dots, k_m)$, $\{x_1, \dots, x_m\} \subseteq I_N \implies I_\infty \subseteq I_N$. Thus $I_n = I_N$ for all $n \ge N$. $\blacksquare$
• (1) $\implies$ (2): If a non-empty family $\mathcal{S}$ had no maximal element, one could construct an infinite strictly ascending chain $I_1 \subsetneq I_2 \subsetneq I_3 \subsetneq \dots$, contradicting the ACC. $\blacksquare$
• (2) $\implies$ (3): Let $I$ be an ideal. The family $\mathcal{S}$ of finitely generated ideals contained in $I$ is non-empty ($\{0\} \in \mathcal{S}$). By (2), $\mathcal{S}$ has a maximal element $J = \langle x_1, \dots, x_m \rangle$. If $J \ne I$, choose $y \in I \setminus J$. Then $\langle x_1, \dots, x_m, y \rangle \in \mathcal{S}$ strictly contains $J$, contradicting maximality. Hence $J = I$, proving $I$ is finitely generated. $\blacksquare$

5.3 The Lasker-Noether Primary Decomposition Theorem

In arithmetic, every integer factors uniquely into primes. In rings, prime factorization fails for ideals. In 1905, Emanuel Lasker proved primary decomposition for polynomial ideals using computational methods. Noether generalized and perfected the theorem for all Noetherian rings.

Definitions:

• An ideal $\mathfrak{p}$ is prime if $ab \in \mathfrak{p} \implies a \in \mathfrak{p} \lor b \in \mathfrak{p}$.
• An ideal $\mathfrak{q}$ is primary if $ab \in \mathfrak{q} \implies a \in \mathfrak{q} \lor b^n \in \mathfrak{q}$ for some $n \ge 1$. Its radical $\sqrt{\mathfrak{q}}$ is a prime ideal $\mathfrak{p}$.

The Lasker-Noether Theorem:

In every commutative Noetherian ring $R$: 1. Every proper ideal $I$ is a finite intersection of primary ideals: $$I = \mathfrak{q}_1 \cap \mathfrak{q}_2 \cap \dots \cap \mathfrak{q}_m$$ 2. In an irredundant decomposition, the set of associated prime ideals $\{\mathfrak{p}_1, \dots, \mathfrak{p}_m\}$ is uniquely determined by $I$.

Geometrically, the minimal associated primes correspond to the irreducible algebraic subvarieties of $\mathbf{V}(I)$, laying the groundwork for modern algebraic geometry.

5.4 Representation Theory and Algebraic Topology

• Representation Theory (1927–1933): Noether reformulated representation theory as the study of modules over group rings $k[G]$, unifying hypercomplex systems and Lie algebra representations. In 1932, with Brauer and Hasse, she proved the Brauer-Hasse-Noether Theorem: every central simple algebra over an algebraic number field is cyclic.
• Algebraic Topology (1926): Attending Heinz Hopf’s lectures in Göttingen, Noether pointed out that combinatorial Betti numbers and torsion coefficients were ranks of abelian quotient groups: $$H_p(X) = \frac{Z_p(X)}{B_p(X)} = \frac{\ker(\partial_p)}{\text{im}(\partial_{p+1})}$$ By replacing numerical counts with homology groups, she founded algebraic topology.

The claims register documents the historical, mathematical, and biographic assertions regarding Emmy Noether’s contributions, tagged according to verification status:

• V Verified = Formally Verified via primary documentation, original papers, or university records.
• C Corroborated = Corroborated by independent peer accounts, memoirs, or oral histories.
• S Single-Source = Specific Scope / Contextual nuance required.
• I Interpretation = Historiographical interpretation.
• Rejected Myth = Unsubstantiated myth, historical inaccuracy, or conceptual error.

The mathematical principles formalized by Emmy Noether—invariance under continuous transformation groups, conserved algebraic currents, and ascending chain conditions—extend deeply into modern computing, formal verification, and artificial intelligence.

       NOETHERIAN INVARIANCE PRINCIPLES
+-----------------------------------------------------------------------------------+
| Continuous Symmetry          Variational Action           Conserved Currents      |
+-----------------------------------------------------------------------------------+
       |                              |                            |
       V                              V                            V
+-------------------+        +-------------------+        +-------------------+
|  Type Systems &   |        | Formal Methods &  |        | Geometric Deep    |
|  Reynolds         |        | Inductive         |        | Learning & HNNs   |
|  Parametricity    |        | Invariants (TLA+) |        | (Symplectic ML)   |
+-------------------+        +-------------------+        +-------------------+

7.1 Type Systems, Reynolds' Parametricity, and "Theorems for Free!"

In programming language semantics, John Reynolds formalized relational parametricity (1983) for the polymorphic lambda calculus, popularized by Philip Wadler as "Theorems for Free!" (1989).

• The Isomorphism: In a parametrically polymorphic function $f: \forall X. \, T(X)$, the code cannot inspect the concrete type $X$; it must execute uniformly across all types.
• The Noether Connection: The type signature functions as an invariant action. The liberty to alter the underlying data representation by any relation $R: A \leftrightarrow B$ is a symmetry of the semantic execution.
• Just as Noether proved that geometric symmetries compel physical conservation laws, parametricity proves that invariance under representation changes compels exact behavioral conservation laws: a function of type $\forall X. \, X \to X$ is mathematically guaranteed to be the identity function $\text{id}$.

7.2 Formal Verification and Inductive Invariants in TLA+

In formal methods (such as Leslie Lamport’s TLA+ and Floyd-Hoare logic), verifying safety properties requires finding an inductive invariant $\text{Inv}$.

• The Isomorphism: A state machine is specified by an initial state $\text{Init}$ and transition relation $\text{Next}(s, s')$. An inductive invariant satisfies: $$\text{Init} \implies \text{Inv}, \quad \text{Inv} \land \text{Next} \implies \text{Inv}'$$
• The Noether Connection: The transition relation $\text{Next}$ acts as an infinitesimal generator along the execution trajectory. An inductive invariant is an algebraic current that remains constant under the transformation group of valid system steps. Discovering the invariant guarantees safety off-shell, independent of execution length or thread scheduling.

7.3 Compiler Optimization and Loop-Invariant Code Motion (LICM)

In compiler theory, optimization passes exploit structural invariance.

• The Isomorphism: In Loop-Invariant Code Motion (LICM), a compiler identifies expressions $E$ whose value does not vary across loop iterations: $$\forall i, j \in \text{Iterations}: \quad \text{Val}(E, \text{State}_i) = \text{Val}(E, \text{State}_j)$$
• The Noether Connection: Moving invariant computation outside the loop treats loop iteration as a discrete translation group. By recognizing the algebraic invariance of the expression under translation, the compiler preserves program semantics while eliminating redundant compute operations.

7.4 Geometric Deep Learning and Hamiltonian Neural Networks

Modern artificial intelligence increasingly embeds physical symmetries via Geometric Deep Learning (Bronstein et al., 2021).

• Equivariant Neural Networks: In protein folding (AlphaFold 2) and molecular dynamics, predictions must not depend on arbitrary translations or 3D rotations of coordinates in space. Enforcing $SE(3)$ equivariance directly into neural layers enables models to learn physical conformations with orders of magnitude less training data.
• Hamiltonian Neural Networks (HNNs): Greydanus et al. (2019) demonstrated that standard networks predicting physical dynamics suffer severe numerical energy drift. By parameterizing the model to predict a scalar Hamiltonian $\mathcal{H}_\theta(q, p)$ and updating states via symplectic gradients: $$\dot{q} = \frac{\partial \mathcal{H}_\theta}{\partial p}, \quad \dot{p} = -\frac{\partial \mathcal{H}_\theta}{\partial q}$$ the architecture enforces Noether's Theorem by construction, conserving total energy exactly across thousands of rollout steps.

8.1 Primary Works of Emmy Noether

• Noether, Emmy (1908). "Über die Bildung des Formensystems der ternären biquadratischen Form." Journal für die reine und angewandte Mathematik, 134, 23–90.
• Noether, Emmy (1918). "Invariante Variationsprobleme." Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch-Physikalische Klasse, 1918, 235–257. (English translation by M. A. Tavel, Transport Theory and Statistical Physics, 1(3), 1971, 186–207).
• Noether, Emmy (1921). "Idealtheorie in Ringbereichen." Mathematische Annalen, 83(1), 24–66.
• Noether, Emmy (1927). "Abstrakter Aufbau der Idealtheorie in algebraischen Zahl- und Funktionenkörpern." Mathematische Annalen, 96(1), 26–61.
• Noether, Emmy (1929). "Hyperkomplexe Größen und Darstellungstheorie." Mathematische Annalen, 102(1), 691–769.
• Brauer, Richard, Hasse, Helmut, & Noether, Emmy (1932). "Beweis eines Hauptsatzes in der Theorie der Algebren." Journal für die reine und angewandte Mathematik, 167, 399–404.

8.2 Historical and Mathematical Analyses

• Aleksandrov, Pavel S. (1935). "In Memory of Emmy Noether." Address to the Moscow Mathematical Society, September 5, 1935.
• Dick, Auguste (1981). Emmy Noether: 1882–1935. Translated by H. I. Blocher. Birkhäuser Boston.
• Einstein, Albert (1935). "Emmy Noether: The Greatest Woman Mathematician." Letter to the Editor, The New York Times, May 4, 1935.
• Hilbert, David (1915). "Die Grundlagen der Physik (Erste Mitteilung)." Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, 395–407.
• Kosmann-Schwarzbach, Yvette (2011). The Noether Theorems: Invariance and Conservation Laws in the Twentieth Century. Translated by B. E. Schwarzbach. Springer-Verlag.
• Rowe, David E. (1999). "The Göttingen Response to General Relativity and Emmy Noether’s Theorems." In The Symbolic Universe: Geometry and Physics 1890–1930, edited by J. Gray, 189–233. Oxford University Press.
• van der Waerden, B. L. (1930). Moderne Algebra (2 volumes). Julius Springer, Berlin.
• van der Waerden, B. L. (1935). "Nachruf auf Emmy Noether." Mathematische Annalen, 111(1), 469–476.
• Weyl, Hermann (1935). "Emmy Noether." Scripta Mathematica, 3(3), 201–220.