Polynomial ring over an arbitrary set

63 Views Asked by At

I have the following exercise: "Let $S$ be an arbitrary set and $K$ a field. Show that the polynomial ring $K[S]$ is a unique factorization domain." My question is, how one defines such a polynomial ring? Every element as a variable? There are no conditions on cardinality of this set.