pith. sign in

arxiv: 1412.8089 · v3 · pith:UWA6YQZNnew · submitted 2014-12-27 · 🧮 math.RA · math.AC

Idempotent pairs and PRINC domains

classification 🧮 math.RA math.AC
keywords princdomainidempotentpairdedekindgeneratedintegralonly
0
0 comments X
read the original abstract

A pair of elements $a,b$ in an integral domain $R$ is an idempotent pair if either $a(1-a) \in bR$, or $b(1-b) \in aR$. $R$ is said to be a PRINC domain if all the ideals generated by an idempotent pair are principal. We show that in an order $R$ of a Dedekind domain every regular prime ideal can be generated by an idempotent pair; moreover, if $R$ 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 $\mathbb Z[\sqrt{-d}]$, $d > 0$ square-free, that are PRINC and not integrally closed, are for $d=3,7$.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.