Dualidad de Cartier

Una teoría de dualidad para esquemas en grupos conmutativos finitos sobre una base que asigna a un esquema en grupos conmutativo finito G su dual de Cartier G^D, típicamente el esquema en grupos de homomorfismos de G al grupo multiplicativo, proporcionando una antiequivalencia en la categoría de esquemas en grupos finitos conmutativos y planos bajo hipótesis adecuadas.