J Austral Math Soc Ser A 53 pp287--293, 1992.
(Received 15 June 1990; revised 14 January 1991)
If R is a commutative unique factorization domain (UFD) then so is the ring R[x]. If R is not commutative then no such result is possible. An example is given of a bounded principal right and left ideal domain R, hence a similarity-UFD, for which the polynomial ring R[x] in a central indeterminate x is not a UFD in any reasonable sense. On the other hand, it is shown that if R is an invariant UFD then R[x] is a UFD in an appropriate sense.
1991 AMS Subject Classification: 16A02, 16A05, 16U30, 16S36
Last Modified: Mon Feb 3 9:46:11 2003