On noncommutative Prüfer rings (Q1066240)

A noncommutative ring without zero divisors is called a Prüfer ring if its lattice of right ideals and its lattice of left ideals is distributive. A method is given to construct Prüfer rings, which are subrings of k(x,\(\sigma)\), the field of fractions of the skew polynomial ring k[x,\(\sigma\) ]. With this theorem, an example of an invariant Prüfer ring is given, which is the intersection of non-invariant, maximal valuation rings.