Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2002/iii/paper-15/2/a/solution
Past exam of the mathematics course of the University of Cambridge 2002 iii Paper 15 2 a Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-14
The multiplicative algebraic group has coordinate ring . An algebraic morphism therefore sends the invertible coordinate on the target to a unit of this Laurent polynomial ring.
Every unit of has the form , with and . To prove this, suppose Laurent polynomials satisfy . Write their least and greatest active exponents as and . The least and greatest exponents in their product are and , since their endpoint coefficients are nonzero. Both must be zero. Consequentlyso each factor has only one active exponent. This proves the asserted unit description.
Thus . A group homomorphism sends the identity to the identity, so and . Conversely, for every integer , including negative integers and zero, is regular on and satisfies . We obtainThese are exactly the characters of an algebraic torus in the one-dimensional case. The algebraic-morphism requirement is essential to the argument: the map must come from the Laurent coordinate ring.
New to topics? Read the docs here!