Minimal Prüfer-Dress rings and products of idempotent matrices
arXiv:1811.09092
Abstract
We investigate a special class of Prüfer domains, firstly introduced by Dress in 1965. The {\it minimal Dress ring} , of a field , is the smallest subring of that contains every element of the form , with . We show that, for some choices of , may be a valuation domain, or, more generally, a Bézout domain admitting a weak algorithm. Then we focus on the minimal Dress ring of : we describe its elements, we prove that it is a Dedekind domain and we characterize its non-principal ideals. Moreover, we study the products of idempotent matrices over , a subject of particular interest for Prüfer non-Bézout domains.