Formal groups, $p$-divisible groups Algebraic groups mathematics