Some remarks on the altitude inequality
We introduce and study a new class of ring extensions based on a new formula involving the heights of their primes. We compare them with the classical altitude inequality and altitude formula, and we give another characterization of locally Jaffard domains, and domains satisfying absolutely the altitude inequality (resp., the altitude formula). Then we study the extensions R ⊆ S where R satisfies the corresponding condition with respect to S (Definition 3.1). This leads to a new characterization of integral extensions.