An example of a primitive polynomial ring (Q795136)

Let D be a division ring with centre C and d a positive integer such that \(tr_ cD\geq d\), where \(tr_ cD\) denotes the transcendence degree of D. Let T denote the polynomial ring \(D[Y_ 1,...,Y_ n]\), where \(n\leq d\), and P the maximal ideal of T generated by \(Y_ 1,...,Y_ n\). Then \(S=T\backslash P\) is an Ore set. Set \(R=TS^{-1}\), the partial quotient ring of T with respect to S. It is proved that for any positive integer \(s\leq d-n+1\) the polynomial ring \(R[X_ 1,...,X_ s]\) is primitive, despite the fact that R is a local ring. This answers a question of R. Resco whose work is used in the proof.