Finitely supported coefficient sequences over a commutative ring form the [polynomial ring](/page/Polynomial%20Ring) R[x] under coefficientwise addition and finite convolution multiplication. These operations make R[x] a commutative ring with identity.