Yes. Choose the principal ultrafilter at any . Evaluation at the th coordinate gives
which is a finite cyclic group of order .
The scalar sign action of a cyclic group of order two on has invariant ring . It is not factorial: are pairwise nonassociate irreducibles, since every nonconstant invariant has degree at least two, while gives two distinct factorizations.