Idempotent pairs and PRINC domains
Giulio Peruginelli, Luigi Salce, Paolo Zanardo

TL;DR
This paper investigates the properties of PRINC domains, showing that in Dedekind domains, being PRINC is equivalent to being a PID, and characterizes certain quadratic orders that are PRINC but not integrally closed.
Contribution
It establishes a characterization of PRINC domains within Dedekind domains and identifies specific quadratic orders that are PRINC but not integrally closed.
Findings
Dedekind domains are PRINC if and only if they are PIDs.
Every regular prime ideal in an order of a Dedekind domain can be generated by an idempotent pair.
Only the quadratic orders for d=3,7 are PRINC but not integrally closed.
Abstract
A pair of elements in an integral domain is an idempotent pair if either , or . is said to be a PRINC domain if all the ideals generated by an idempotent pair are principal. We show that in an order of a Dedekind domain every regular prime ideal can be generated by an idempotent pair; moreover, if is PRINC, then its integral closure, which is a Dedekind domain, is PRINC, too. Hence, a Dedekind domain is PRINC if and only if it is a PID. Furthermore, we show that the only imaginary quadratic orders , square-free, that are PRINC and not integrally closed, are for .
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
