Arithmetical pseudo-valuations associated to Dubrovin valuation rings and prime divisors of bounded Krull orders. (Q267520)

The authors use arithmetical pseudo-valuations to develop a divisor theory for bounded Krull orders. Let \(A\) be a simple Artinian ring with an invariant prime \(P\). This means that \(R:=\{a\in A\mid aP\subset P\text{ and }Pa\subset P\}\) is a Goldie ring with quotient ring \(A\), invariant under conjugation, and \(P\) is a prime ideal in \(R\). An arithmetic pseudo-valuation is a function \(v\colon\mathcal F(R)\to\Gamma\) on the fractional \(R\)-ideals with values in a partially ordered monoid \(\Gamma\), having properties like an exponential valuation. If \(\Gamma\) is a group and \(\bigcap P^n=0\), then \(R\) is a Dubrovin valuation ring. Conversely, a Dubrovin valuation ring with \(\bigcap P^n=0\) gives rise to an arithmetic pseudo-valuation. For example, this holds if \(R\) is Noetherian. In this case, the arithmetic pseudo-valuation takes values in \(\mathbb Z\). Now let \(R\) be a prime Noetherian order in \(A\) such that each prime ideal \(P\) of height 1 is localizable with a Dobrovin valuation ring \(R_P\), and \(\bigcap R_P=R\). Then \(R\) is a bounded Krull order. Conversely, for a bounded Krull order \(R\), the localizations \(R_P\) are Noetherian Dubrovin valuation rings. The authors extend some approximation results to obtain a divisor theory for bounded Krull orders in \(A\).