NONCOMMUTATIVE HILBERT RINGS
Commutative rings in which every prime ideal is the intersection of maximal ideals are called Hilbert (or Jacobson) rings. This notion was extended to noncommutative rings in two different ways by the requirement that prime ideals are the intersection of maximal or of maximal left ideals, respectively. Here we propose to define noncommutative Hilbert rings by the property that strongly prime ideals are the intersection of maximal ideals. Unlike for the other definitions, these rings can be characterized by a contraction property: R is a Hilbert ring if and only if for all n∈ℕ every maximal ideal [Formula: see text] contracts to a maximal ideal of R. This definition is also equivalent to [Formula: see text] being finitely generated as an [Formula: see text]-module, i.e., a liberal extension. This gives a natural form of a noncommutative Hilbert's Nullstellensatz. The class of Hilbert rings is closed under finite polynomial extensions and under integral extensions.