In the affine chart , the equation is , irreducible because is not a square in . The partial derivatives show the unique singular point is ; the point at infinity is smooth.
A line through meets the curve again at
Thus is birational, with inverse away from . The incidence closure has one point over every smooth and two points over , corresponding to . This is the normalization of a nodal curve and separates the two branches.
Dominated by projective space does not imply being projective space. A smooth quadric surface is rational and hence dominated by , but is not any ; for example its Picard rank is , not .
Its homology and chain formulas are
For Lefschetz fixed-point theorem, argue contrapositively: after barycentric subdivision, a fixed-point-free map has a simplicial approximation such that no simplex meets its image. Every diagonal coefficient on chains is then zero, so .
The antipodal map on has degree . For even this is , whereas the identity has degree , so they are not homotopic.
If the tangent field were nowhere zero, then
would stay on the sphere because , and would homotope the identity to the antipodal map. This is impossible for even , so has a zero.
A primitive root modulo is a unit of order ; a nonzero quadratic residue modulo an odd prime is a square.
If a primitive root modulo were , then its order would divide , the order of the subgroup of squares, contradicting .
Modulo , has order , so the primitive roots are for :
Finally , so the lifting criterion makes primitive modulo . It is plainly the smallest possible positive primitive root.

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