The fundamental correspondences in super affine groups and super formal groups

Some basic results on super affine groups and super formal groups in arbitrary characteristic (≠2) are proved in terms of super Hopf algebras, including the fundamental correspondence between subgroups and quotients.