nLab local formal group scheme

Definition

A $k$-formal group $G=Spf A$ is called local (or connected) if the following two equivalent conditions hold:

1. $A$ is local

2. $G(k)=\{0\}$ for any field $K$.

A morphism from a connected group to an étale group is zero.