# Unique Factorization in Polynomial Rings with Zero Divisors

## TL;DR

This paper surveys the conditions under which polynomial rings over commutative rings with zero divisors maintain unique factorization properties, extending classical results from domains to rings with zero divisors.

## Contribution

It characterizes when polynomial rings over arbitrary commutative rings with zero divisors are unique factorization rings, generalizing known domain results.

## Key findings

- Polynomial rings over certain rings with zero divisors can have unique factorization.
- Classical equivalence between R and R[X] as UFDs does not hold in rings with zero divisors.
- Provides criteria for when polynomial rings over rings with zero divisors are UFRs.

## Abstract

Given a certain factorization property of a ring $R$, we can ask if this property extends to the polynomial ring over $R$ or vice versa. For example, it is well known that $R$ is a unique factorization domain if and only if $R[X]$ is a unique factorization domain. If $R$ is not a domain, this is no longer true. In this paper we survey unique factorization in commutative rings with zero divisors, and characterize when a polynomial ring over an arbitrary commutative ring has unique factorization.