Electrochemistry studies how chemical reactions, transport, and chemical equilibrium couple to electric charge and electric potential. In a cell, electrons travel through the external circuit, while mobile ions carry electric current through the electrolyte. At the electrodes, redox reactions connect these two forms of electric charge transport. This connection makes it possible both to obtain electrical work from a chemical reaction and to use electrical work to drive a chemical reaction.

An anode is an electrode where oxidation occurs; a cathode is an electrode where reduction occurs. These definitions refer to the chemical reactions, rather than universal positive or negative terminal signs. In a galvanic cell delivering electrical work, the anode is negative and the cathode positive. In an electrolytic cell driven by an external source, the anode is positive and the cathode negative. See Pingarrón et al., Terminology of electrochemical methods of analysis (IUPAC Recommendations 2019), §§3.1 and 3.4 and Flowers et al., Chemistry 2e, §17.2: galvanic cells.

For a worked example, consider an electrolytic cell containing molten sodium chloride, with the anode connected to the positive terminal and the cathode to the negative terminal of an external source. At the cathode, sodium cations gain electrons; at the anode, chlorine anions lose electrons:The first line has net electric charge zero on each side; the second has $-2e$ on each side. Adding the lines cancels the transferred electrons and preserves both chemical atom counts and net electric charge. The sodium product is neutral, and the chlorine product is a diatomic molecule. These equations specify molten sodium chloride; aqueous chemical solutions introduce competing water reactions. See 17.7 Electrolysis (§17.7: electrolysis of molten sodium chloride).

Electrochemistry underlies battery charging and the manufacture of chemicals by electrolysis. Its particularly useful idea is that an electron inventory in a balanced chemical equation also accounts for transported electric charge. Transport alone is a different question from an electrode chemical reaction: an ion may carry electric current through the electrolyte without itself being consumed at an electrode.

Historically, Michael Faraday introduced the terms electrode, electrolyte, anion, cation, and ion in the terminology section of his 1834 paper, Experimental Researches in Electricity, Seventh Series by Michael Faraday (§§662–667). His §667 explicitly treats the direction assigned to electric current as a convention. His ion language predates the modern electron and atomic nucleus picture used in the charge-counting example above.

For an electrolyte near chemical equilibrium, a Poisson-Boltzmann equation can approximate the distribution of ions in an electric potential. Such an equilibrium model does not by itself describe a cell carrying sustained electric current.

An ion is a chemical atom or a group of chemical atoms with a nonzero net electric charge. A positive ion is a cation; a negative ion is an anion. The whole entity carries the electric charge: a hydronium ion is a group of four chemical atoms with net charge $+e$. This definition agrees with ^[ref].

For an ordinary ion containing only atomic nuclei and electrons, let $N_p$ count all its protons and $N_e$ all its electrons. Each proton contributes the elementary charge $+e$, each electron contributes $-e$, and neutrons contribute zero. ThereforeThe signed integer $z$ is the net electric charge number. Removing an electron increases $z$ by one; adding an electron decreases $z$ by one. Changing the electron count leaves the atomic number, and therefore the identity of the chemical element, unchanged.

For example, a neutral sodium chemical atom has $11$ protons and $11$ electrons. Its cation ${\mathrm{Na}}^{+}$ still has $11$ protons, but only $10$ electrons, so $q=(11-10)e=+e$. A neutral chlorine chemical atom has $17$ protons and $17$ electrons; its anion ${\mathrm{Cl}}^{-}$ has $17$ protons and $18$ electrons, so $q=(17-18)e=-e$. These are particle inventories, not pictures of atomic orbitals. See 2.6 Ionic and Molecular Compounds (§2.6: ions and ionic compounds).

One sodium chloride formula unit accounts for one ${\mathrm{Na}}^{+}$ cation and one ${\mathrm{Cl}}^{-}$ anion, whose net electric charges sum to zero. Ordinary solid sodium chloride is an extended arrangement of ions, rather than discrete $\mathrm{NaCl}$ molecules. This is a useful distinction: a neutral material can contain charged constituents, and its chemical formula tells us their ratio without claiming that each pair is a separate molecule.

Ion bookkeeping connects chemistry to electric current: moving ions can transport electric charge, while stationary ions cannot supply a transport current density. In electrochemistry, both signs of ions can contribute to the same conventional current. An ion opposing a fixed electric charge is called a counterion.

Evolution is descent with inherited modification. Within a population, changes in allele frequencies provide a precise genetic description; over longer histories, branching descent connects populations through common descent. An individual growing larger is biological development, whereas an inherited variant becoming more frequent across generations is evolution. See UC Museum of Paleontology: the definition of evolution.

Mutation supplies new alleles, genetic recombination reshuffles inherited material, natural selection favors variants with greater reproductive contribution in a specified environment, and genetic drift changes frequencies through chance. Gene flow moves variants between populations. Consequently, an increasing allele frequency alone does not identify natural selection. See Clark, Douglas and Choi, Biology 2e: population genetics.

Evidence includes ordered fossils, shared inherited structures and similarities in DNA; phylogenetics uses such observations to infer relationships. A phylogenetic tree is an inferred historical account, with uncertainty about particular branches. See Clark, Douglas and Choi, Biology 2e: evidence of evolution. Evidence also comes from experiments: Blount, Borland and Lenski reported an Escherichia coli lineage able to use citrate with oxygen present by 31,500 generations, and tested historical dependence by replaying evolution from stored ancestors. See Blount, Borland and Lenski, 2008: original experimental report. Such observations constrain explanations; no single frequency equation captures every evolutionary process.

The network of chemical reactions that maintains a living system, supplies energy and builds or processes its material. Gas emissions can arise as primary metabolic byproducts or secondary metabolic byproducts, with different implications for an atmospheric biosignature gas.

Enzymes make this network operate on biologically useful timescales. Following material through successive substrates and reaction products explains why a single fast enzyme need not make the entire network fast: another step may constrain the flow. Changing enzyme amounts or activity therefore changes which routes can carry material, connecting molecular chemical kinetics to the maintenance and growth of a biological cell. See Alberts et al., Molecular Biology of the Cell: multienzyme complexes and cell metabolism.

The longest element of a finite Weyl group is the element sending all positive roots of a root system to negative roots. It is the longest element of a finite Coxeter group. For the G2 root system it is $-I$: its twelve roots form two hexagons, and the dihedral reflection group of a root system contains the rotation through $\pi$. It determines the highest weight of a dual representation.

For a point blowup of a smooth algebraic surface $\psi :\tilde{X}\to X$, where $X$ is a smooth projective surface over an algebraically closed field, multiplication by the exceptional section to power $m$ identifies $H^0(\tilde{X},m{\psi }^{\ast }{K}_X)$ with $H^0(\tilde{X},m{K}_{\tilde{X}})$. Every effective pluricanonical representative must contain $mE$, since after subtracting $j<m$ copies its intersection with $E$ is $-m+j<0$. The projection formula for sheaves and ${\psi }_{\ast }\mathcal{O}=\mathcal{O}$ identify the remaining sections with those on $X$. No effectivity of $K_X$ itself is assumed.

Subtract the weak equation for $u-v$ from its Kato inequality for scalar conservation laws and divide by two. The result is an inequality for $(v-u{)}_{+}$ with a flux bounded in magnitude by $M(v-u{)}_{+}$. The same shrinking-interval argument proves $u_0\ge v_0\Rightarrow u\ge v$ almost everywhere. Choosing the constant solution $v=0$ proves preservation of nonnegativity even when $f(0)\ne 0$. Two-sided absolute-value contraction alone should not be mistaken for this one-sided comparison proof.

For a faithful representation of $C(K)$ by integration against a regular projection-valued measure $P$, every nonempty open subset $U$ satisfies $P(U)\ne 0$. Choose a nonzero continuous function supported inside $U$, using compact Hausdorff normality. If $P(U)=0$, its spectral integral vanishes, contradicting faithfulness. Regularity is understood through the scalar spectral measures.

The S-unramified power class group of a number field is finite. For $[a]\in K(S,n)$, the fractional ideal of $a$ away from $S$ is an $n$th power ${\mathfrak{a}}^n$. Sending $[a]$ to $[\mathfrak{a}]$ gives an exact sequenceThe S-unit group is finitely generated, and the localized ideal class group is a quotient of the finite ordinary ideal class group. Both end groups are finite. This is the arithmetic finiteness needed in the Kummer-theoretic proof of the weak Mordell-Weil theorem.

If $|f^{\prime }|\le M$ on the solutions' state range, the Kato inequality for scalar conservation laws implies the displayed estimate for almost every $s\in [0,t]$. Approximate the shrinking interval by smooth cutoffs $W$ satisfying $W_s+M|W_x|\le 0$ and multiply by a temporal cutoff ending at $s$. Since $|Q|\le M|u-v|$, the lateral flux cannot increase the integral. The estimate gives uniqueness and a finite propagation speed without global $L^1$ assumptions on the data.

If an elliptic curve has good reduction over a local field $K$, its integral projective model is smooth. Every point over the residue field lifts by the Hensel lemma, applied in a chart with a unit partial derivative. Thus reduction gives an exact sequence $0\to E_1(K)\to E(K)\to \tilde{E}(k)\to 0$. The kernel of reduction of an elliptic curve is the maximal ideal of the valuation ring, with the formal group of an elliptic curve as its group operation.

For a smooth projective variety, its $m$th plurigenus is $P_m(X)=h^0(X,{\omega }_X^{\otimes m})$, for $m\ge 1$. These dimensions describe pluricanonical linear systems. Blowup invariance of plurigenera proves their invariance under a point blowup on a smooth surface.

For $A_T=-\overline{A}B/2$ and $B_T=-A^2/4$, write $A=R{e}^{i\theta }$, $B=P{e}^{i\varphi }$ and $\delta =\varphi -2\theta$. The polar equations areWhere the polar phases are defined, direct differentiation gives the first integrals $R^2-2P^2$ and $R^{2}P\sin \delta$. In particular $R^2{\theta }_T$ and $P^2{\varphi }_T$ are constant. If $\delta =\pi$ and $R^2-2P^2=C>0$, then $P_T=P^2/2+C/4$, a Riccati equation whose positive solution develops a finite-time pole. This is finite-time blowup of the reduced amplitude system; it does not establish blowup of the full wave equation beyond the domain of the weakly nonlinear expansion.

For $E:y^2=x(x^2+ax+b)$ and $E^{\prime }:y^2=x(x^2-2ax+a^2-4b)$ over $\mathbb{Q}$, define the square-class homomorphisms by $\alpha (x,y)=[x]$, $\alpha (O)=1$, $\alpha ((0,0))=[b]$, and similarly ${\alpha }^{\prime }$ with $b^{\prime }=a^2-4b$. Their kernels are the images of the dual degree-two isogenies of elliptic curves. If $r$ is the rank of an abelian group of $E(\mathbb{Q})$, then $2^r=\#\alpha (E)\#{\alpha }^{\prime }(E^{\prime })/4$. To check the factor four, put $\delta =[\ker \hat{\varphi }:\ker \hat{\varphi }\cap \varphi E]$. The index of $2E$ in $E$ is $\#\alpha (E)\#{\alpha }^{\prime }(E^{\prime })/\delta$. If $b^{\prime }$ is a square, $\delta =1$ and $\#E(\mathbb{Q})[2]=4$; otherwise $\delta =2$ and $\#E(\mathbb{Q})[2]=2$. In either case $\delta \#E(\mathbb{Q})[2]=4$.

For integral $a,b$ with $b(a^2-4b)\ne 0$, every square class in the image of the two-isogeny descent map on $y^2=x(x^2+ax+b)$ has a signed square-free representative supported on primes dividing $b$. At a prime not dividing $b$, a positive valuation of $x$ must be even from the curve equation; a negative valuation is even because the cubic leading term determines $2v(y)=3v(x)$. Thus its image has at most $2^{\nu (b)+1}$ elements. Apply this also to the two-isogenous curve and use the square-class index formula for two-isogeny descent to obtain $r\le \nu (b)+\nu (a^2-4b)$, where $\nu$ counts distinct prime divisors of the nonzero absolute value.

For odd $p$, let $y^2=f(x)$ be a nonsingular cubic Weierstrass equation of an elliptic curve over ${\mathbb{F}}_p$. Its Trace of Frobenius is $a_p=-{\sum }_x\chi (f(x))$, where $\chi$ is the Legendre symbol extended by $\chi (0)=0$. By the Euler criterion, reduce this sum to $f(x{)}^{(p-1)/2}$. The sum of a positive power $x^j$ over ${\mathbb{F}}_p$ is zero unless $p-1$ divides $j$, when it is $-1$. Since the polynomial has degree $3(p-1)/2<2(p-1)$, only its $x^{p-1}$ coefficient contributes.

For a bounded normal operator $T$ with spectral measure of a normal operator $P$, any projection $P(E)$ commutes with $T$ and $T^{\ast }$ by the Borel functional calculus for a normal operator. Its range is a closed reducing subspace. If the spectrum has two points, choose disjoint nonempty relative open sets around them. Full support of a faithful spectral measure makes both projections nonzero and their product zero, so either range is nonzero and proper, in particular an invariant subspace.

For nonproportional roots $\gamma ,\delta$ of a reduced crystallographic root system, $S_{\gamma ,\delta }=\{\delta -p\gamma ,\dots ,\delta +q\gamma \}$ is consecutive, and $p-q=⟨\delta ,{\gamma }^{\vee }⟩$. Realize the crystallographic root system as the roots of a complex semisimple Lie algebra. The sum of the one-dimensional root spaces in this string is a module for the sl2 subalgebra associated with a root. Its weights are $⟨\delta ,{\gamma }^{\vee }⟩+2n$; they have one fixed parity. Complete reducibility gives a sum of irreducible representations of the sl2 Lie algebra. Two summands of this parity would overlap at weight zero when the parity is even, or at weights $\pm 1$ when it is odd, contradicting the one-dimensional root spaces. Thus there is one irreducible string, whose opposite endpoint weights sum to zero. This proves the relation. For distinct simple roots, $p=0$ and the cardinality is $1-⟨\delta ,{\gamma }^{\vee }⟩$. The nonproportional hypothesis excludes $\delta =\pm \gamma$, where zero is not a root and the consecutive-string statement fails.

For a length-$r$ projective complete intersection $X_r\subseteq {\mathbb{P}}_k^N$, the groups $H^q(X_r,{\mathcal{O}}_{X_r}(m))$ vanish for every integer $m$ and $0<q<N-r$. Starting with cohomology of twisting sheaves on projective space, induct through $0\to {\mathcal{O}}_{X_{j-1}}(m-d_j)\to {\mathcal{O}}_{X_{j-1}}(m)\to {\mathcal{O}}_{X_j}(m)\to 0$. Both adjacent groups in the long exact sequence in sheaf cohomology vanish precisely in the indicated range.

For a length-$r$ homogeneous regular sequence of positive degrees in ${\mathbb{P}}_k^N$, with $r<N$, the global regular functions on its projective complete intersection are exactly $k$. In the successive restriction sequences, intermediate cohomology vanishing for a projective complete intersection makes the first-cohomology group on the preceding stage zero. Inductively all negative twists have zero global sections, so at twist zero the restriction of constants is an isomorphism. The positive-dimension assumption is essential: a zero-dimensional complete intersection can have more global functions, including nilpotents.