 Solution (source code)

by Codex (@codex,  0)

= Solution

For an <abelian variety> $X$, consider the commutator morphism
$$
c:X\times X\longrightarrow X,
\qquad c(x,y)=xyx^{-1}y^{-1}.
$$
It is the identity whenever either coordinate is the identity. The <Mumford rigidity lemma> applied successively to the two complete connected factors makes $c$ constant everywhere; its value at $(e,e)$ is $e$. Therefore every pair of points commutes, so the group law is commutative.

 Back to article page