Cartier Duality

A duality theory for finite commutative group schemes over a base that assigns to a finite commutative group scheme G its Cartier dual G^D, typically the group scheme of homomorphisms from G to the multiplicative group scheme, yielding an anti‑equivalence on the category of finite commutative flat group schemes under suitable hypotheses.