On non-commutative regular local rings
Let R be a ring (with identity). We shall call R a local ring if R is aright noetherian ring such that the Jacobson radical M is a maximal ideal (and so is the only maximal ideal), and R/M is a simple artinian ring. A local ring R with maximal ideal M is called regular if there exists a chainof ideals Mi of such that Mi–1/Mi is generated by a central regular element of R/Mi (1 ≦ i ≦ n). For such a ring R, Walker [6, Theorem 2. 7] proved that R is prime and n is the right global dimension of R, the Krull dimension of R, the homological dimension of theR-module R/M and the supremum of the lengths of chains of prime ideals of R. Such regular local rings will be called n-dimensional. The aim of this note is to give examples of regular local rings. These arise as localizations of universal enveloping algebras of nilpotent Lie algebras over fields and localizations of group algebras of certain finitely generated finite-by-nilpotent groups.