The duality between projective modules and injective modules, also the duality between divisible abelian groups and free abelian groups.