p-divisible groups, formal groups, and the Serre-Tate theorem

In this post we discuss the basic theory of p-divisible groups, their relationship to formal groups, and the Serre-Tate theorem.