Ideal theory in Prüfer domains —An unconventional approach

In Prüfer domains of finite character, ideals are represented as finite intersections of special ideals which are proper generalizations of the classical primary ideals. We show that representations of ideals as shortest intersections of primal or quasi-primary ideals exist and are unique. Moreover, every non-zero ideal is the product of uniquely determined pairwise comaximal quasi-primary ideals. Semigroups of primal and quasi-primary ideals with fixed associated primes are also investigated in arbitrary Prüfer domains. Their structures can be described in terms of the value groups of localizations.