Introduction: The commutative case