The first theorem stated and proved

Plain-language counterpart: Symmetry and conservation: the first theorem.

An irregular closed region representing all field configurations, with a curve running through it marked as one symmetry orbit. Points along the curve are marked, one of them highlighted as a solution. The caption states that the action has the same value everywhere along the orbit. — A symmetry orbit through the space of configurations

Three nested-width boxes. The narrowest is point mechanics with one independent variable; the middle is classical field theory with several; the widest is Noether's 1918 statement allowing any number of variables, derivatives of any order, and transformations mixing dependent and independent variables. A note says most textbooks give the middle level and call it the theorem. — The three levels of generality

Everything needed is now in place. The proof is short.

The statement

Theorem I. If the integral $I$ is invariant under a $𝔊_{ϱ}$ , then $ϱ$ linearly independent combinations of the Lagrange expressions become divergences — and conversely, the invariance of $I$ under a $𝔊_{ϱ}$ follows from that. The theorem also holds in the limiting case of infinitely many parameters.

Three things to note before the proof.

It is a statement about divergences, not about conservation. The word conservation does not appear. What appears is that certain combinations become divergences, which is an identity.

The converse is part of the statement, not an afterthought. It is proved on its own page.

The count is exact. $ϱ$ parameters give $ϱ$ relations, and they are linearly independent.

The proof

Take $𝔊$ to be a finite continuous $𝔊_{ϱ}$ , and suppose (N1) holds.

Step 1. Eliminate the barred variation of the integrand. In (N11), express $\bar{δ} f$ through the Lagrange expressions using the identity (N3), which holds for any variation whatever and therefore for $\bar{δ}$ . This gives

$\sum ψ_{i} \bar{δ} u_{i} = D i v B, (B = A - f \cdot Δ x) (N 12)$

Relation (N12) is an identity in all the arguments occurring, for every invariant integral $I$ . It is the form Noether was looking for of Lie's differential equations for $I$ . The theorem is now essentially proved; what remains is to separate it by parameter.

Step 2. Split by parameter. By assumption $Δ u$ and $Δ x$ are linear in the parameters $ε_{1}, \dots, ε_{ϱ}$ . By (N9) the same holds for $\bar{δ} u$ and its derivatives, and therefore $A$ and $B$ are linear in the $ε$ too. Write

$B = B^{(1)} ε_{1} + \dots + B^{(ϱ)} ε_{ϱ}; \bar{δ} u = \bar{δ} u^{(1)} ε_{1} + \dots + \bar{δ} u^{(ϱ)} ε_{ϱ} (1)$

where the $\bar{δ} u^{(1)}, \dots$ are functions of $x, u, \partial u / \partial x, \dots$ . Since the $ε$ are independent, (N12) holds coefficient by coefficient, and the $ϱ$ divergence relations follow:

$\sum ψ_{i} \bar{δ} u_{i}^{(1)} = D i v B^{(1)}; \dots \sum ψ_{i} \bar{δ} u_{i}^{(ϱ)} = D i v B^{(ϱ)} (N 13)$

Step 3. Linear independence. Suppose the $ϱ$ combinations were dependent. By (N9), $\bar{δ} u = 0$ together with $Δ x = 0$ would force $Δ u = 0$ and $Δ x = 0$ , that is, a dependence among the infinitesimal transformations. No such dependence holds for any parameter value: if one did, the group recovered from the infinitesimal transformations by integrating (N17) would depend on fewer than $ϱ$ essential parameters, contrary to the definition of $𝔊_{ϱ}$ . The remaining possibility, $\bar{δ} u = 0$ with $D i v (f Δ x) = 0$ , is excluded by the same construction. These conclusions survive the limiting case of infinitely many parameters.

The theorem is proved.

What has and has not been obtained

Obtained: $ϱ$ identities, (N13), holding at every point, for all values of the arguments, whether or not anything satisfies a field equation.

Not obtained: any conservation law. Conservation appears only on passing to the variational problem, and that step is separate and explicit. The quantities $B^{(λ)}$ that become the conserved currents are identified on the current and charge page.

Nothing in this proof used anything not established on the six preceding pages: (N3) from the Lagrange-expressions page, (N9) and (N11) from the boundary-term page, the linearity in $ε$ and the recovery (N17) from the groups page, and the definition of $𝔊_{ϱ}$ from the same. The invariance condition (N1) is from the setup page and enters only through (N11).

Provenance: the theorem statement is a paraphrase of Noether's Satz I; no English wording of hers is transcribed. (N12), (N13) and (N17) are her equations (12), (13) and (17), and the display (1) above is hers, set unnumbered in the original. All reproduced in her notation from the public-domain German original. See Sources.