Polynomial ring over a finite commutative ring
Ordinary polynomials over a finite commutative coefficient ring have finite-support coefficient sequences, but the collection over all finite degrees is still infinite.
atlas-polynomial-ring-over-finite-commutative-ring · canonical_mko