Valuation Ideal Factorization Domains

TL;DR

This paper introduces valuation ideal factorization domains (VIFDs), exploring their properties and characterizations, especially in relation to treed domains, Pr"ufer domains, and $*$-operation analogs, advancing the understanding of ideal factorizations.

Contribution

It characterizes VIFDs and their $*$-analogues in treed and $*$-treed domains, linking them to h-local Pr"ufer domains and P$*$MDs, and studies factorizations of elements into valuation elements.

Findings

VIFDs are characterized by prime ideal containment of valuation ideals.

In treed domains, VIFDs correspond to h-local Pr"ufer domains.

Domains where powers of nonunits factor into valuation elements are studied.

Abstract

An integral domain $D$ is a {\em valuation ideal factorization domain} (VIFD) if each nonzero principal ideal of $D$ can be written as a finite product of valuation ideals. Clearly, $\pi$-domains are VIFDs. We study the ring-theoretic properties of VIFDs and the $*$-operation analogs of VIFDs. Among them, we show that if $D$ is treed (resp., $*$-treed), then $D$ is a VIFD (resp., $*$-VIFD) if and only if $D$ is an ${\rm h}$-local Pr\"ufer domain (resp., a $*$-${\rm h}$-local P$*$MD) if and only if every nonzero prime ideal of $D$ contains an invertible (resp., a $*$-invertible) valuation ideal. We also study integral domains $D$ such that for each nonzero nonunit $a\in D$, there is a positive integer $n$ such that $a^n$ can be written as a finite product of valuation elements.