In Lecture 1 we defined an elliptic curve as a smooth projective curve of genus 1 with a distinguished rational point. An equivalent definition is that an elliptic curve is an abelian variety of dimension one. An abelian variety is a smooth projective variety that is also a group, where the group operation is defined by rational functions (ratios of polynomials). Remarkably, these constraints f...