Concept guide
Polynomial ring over a finite commutative ring: addition, convolution and degree checks in (ℤ/4ℤ)[x]
Over R=ℤ/4ℤ take f=1+2x and g=2x. Using the coefficient-sequence definition, compute and normalize f+g, f·g, f·f and g·g; prove the top-coefficient formula (fg)_{m+n}=f_m g_n and explain why deg(fg)=deg f+deg g fails here; finally prove that R[x] is not a finite ring.