The Riemann-Roch theorem states
On a genus-one curve . If has degree zero, then has degree one, and Riemann--Roch gives . Its unique nonzero section has an effective divisor of degree one, say , so
If also , then ; a nonconstant function with divisor would define a degree-one map to , forcing the genus to be zero. Hence .
This identifies with by and defines through
For the stated cubic, the line through and is . Its third intersection is , so reflection in the -axis gives
Because is an inflection point, a line section is linearly equivalent to . A point is an inflection point exactly when some line has intersection divisor , equivalently
Under the group-law identification this is precisely , so the inflection points are exactly the three-torsion points.
In local coordinates around and , a nonconstant analytic map has the form
After shrinking the chart, has an analytic th root, so a change of coordinate makes the map . It maps small discs onto neighborhoods of the origin; hence every nonconstant analytic map of Riemann surfaces is open. If is compact and connected, is compact and therefore closed, and it is also nonempty and open. Thus .
For with , the removable-singularity theorem makes analytic. On , , and the maximum principle gives the same bound throughout . Applying the Schwarz lemma to an automorphism and to shows that every automorphism fixing zero is
If is an analytic isomorphism fixing zero, continuity of implies that the preimage of every closed disc is compact. Hence as , and defining gives an analytic isomorphism of the Riemann sphere.
Consequently an automorphism of fixing zero does extend to . A general disc automorphism need not: for ,
has a finite pole and cannot extend to an entire isomorphism.
For and , Fourier inversion and Cauchy--Schwarz give
The last integral is finite exactly when . Thus the sobolev embedding theorem gives
To see why the endpoint relevant to fails, choose a smooth cutoff supported near the origin and equal to one there, and set
Near zero, contributes , while contributes a constant multiple of . Both are finite, so , but is unbounded.
The real Stone-Weierstrass theorem says that if is compact Hausdorff and is a subalgebra containing the constants and separating points, then is uniformly dense in .
Let be the uniform closure. Polynomial approximation to on a bounded interval shows that whenever . Hence is closed under
Given , separation and the constants provide, for each , a function in agreeing with at and . Compactness first combines finitely many such functions by minima to obtain one that agrees at and lies below everywhere; a second finite cover and maxima produces with . Thus .
The space is Banach because a uniform Cauchy sequence converges uniformly to a bounded continuous function. Compactness is essential: the algebra of bounded continuous functions having finite limits at both and contains constants and separates points, for example using , but its uniform closure has the same limiting property. It cannot uniformly approximate , so it is not dense in .
Because is a subcomplex, , so
is well defined and squares to zero. The short exact sequence of chain complexes
gives the long exact sequence
Taking and using the contractibility of gives
For , exactness makes a quotient of a subgroup of , whose rank is at most
The same stated inequality for follows from . Finally, an -cycle in the boundary sphere has equal signed coefficients on all -faces. A proper subcomplex omits an -face, so that coefficient and hence every coefficient is zero. Therefore .
Write with odd primes . The Jacobi symbol is
where each factor on the right is a Legendre symbol. The supplementary law is
For coprime positive odd , quadratic reciprocity gives
Applying this with gives
Finally, factor with odd. The supplementary laws for and , followed by reciprocity on every odd prime factor of , express solely in terms of the residue class of the positive odd integer modulo when or . If , all those factors, including the zero cases, agree; hence

There are unlisted articles, also show them or only show them.