# The units of $\mathbb Z_4[x]$ [duplicate]

The units of $\mathbb Z_4[x]$ should be $$\{f(x)=a_0+a_1x+a_2x^2+\dots+a_nx^n\mid a_0\in\{1,3\},a_i\in\{0,2\}, 1\le i\le n\}.$$ But I don't know how to prove. Any suggestion?

For any commutative Ring $R$ a polynomial $\sum_{k=0}^n a_k X^k$ is a unit in $R[X]$ if and only if $a_0$ is a unit in $R$ and $a_k$ is nilpotent for each $1 \leq k \leq n$.