Presentations over HNP rings with enough invertible ideals and torsionfree cancellation over neoclassical orders (Q1825928): Difference between revisions

A neoclassical order R is a Noetherian subring of a hereditary Noetherian ring G such that G has enough invertible ideals and R contains an essential ideal of G. Neoclassical orders are semi-prime with Krull dimension 1, and in the commutative case they are 1-dimensional semi- prime Noetherian rings with module-finite integral closure. The following cancellation theorem is proved: Let X and Y be finitely-generated torsion-free modules over a neoclassical order R such that \(End_ R(X)\) satisfies the Drozd condition (i.e. its quotient ring has no summand which is a non-commutative division ring); if \(X+X\) is isomorphic to \(X+Y\) then X is isomorphic to Y. This is used to show that if f is a surjective homomorphism from a finitely-generated projective module V to a module U over a hereditary Noetherian prime ring with enough invertible ideals, then U is uniquely presentable by V provided that Ker(f) has rank at least 2.