An example of a primitive polynomial ring
Division rings and semisimple Artin rings (16Kxx) Noncommutative local and semilocal rings, perfect rings (16L30) Prime and semiprime associative rings (16N60) Noetherian rings and modules (associative rings and algebras) (16P40) Localization and associative Noetherian rings (16P50) Valuations, completions, formal power series and related constructions (associative rings and algebras) (16W60)
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.
This page was built for publication: An example of a primitive polynomial ring
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q795136)