A Cartier divisor is locally represented by nonzero rational functions whose ratios on overlaps are regular units. It is principal when one global rational function represents all local data.
New to topics? Read the docs here!
New to topics? Read the docs here!