The group operation on elliptic curves