Formal group of an elliptic curve
= Formal group of an elliptic curve
{wiki=Formal_group_law#Examples}
The local parameter $z=-x/y$ at the identity of a Weierstrass curve expresses addition as a formal group law. Over a local field it describes points reducing to the identity.