Let . Since both and are invertible on , the formula
defines a regular map .
Fix . To solve , set
The curve equation becomes
This is a nonconstant polynomial, so it has a root because is algebraically closed. At a root, neither nor can vanish, and the equation also forces . The displayed value of is therefore defined and nonzero, satisfies , and obeys . Thus is surjective.

Articles by others on the same topic (0)

There are currently no matching articles.