  We introduce a category of dual pairs of finite locally free algebras over a
ring. This gives an efficient way to represent finite locally free commutative
group schemes. We give a number of algorithms to compute with dual pairs of
algebras, and we apply our results to Galois representations on finite Abelian
groups.
