Prove $\alpha \in R[[x]]$ is a unit iff $a_0 \in R$ is a unit

We know (if $\beta = \alpha^{-1}$) that $$ 1 = \sum_n e_n x^n = \sum_n \sum_{k=0}^n a_k b_{n-k} x^n $$ That is $$ \forall n \ge 0 : e_n = \sum_{k=0}^n a_k b_{n-k} $$ especially (let $n = 0$): $$ 1 = e_0 = a_0 b_0 $$ (hence $a_0$ is a unit).

For the other direction, suppose $a_0$ is a unit with inverse $b_0 := a_0^{-1}$. We want to define $\beta = \sum_n b_n x^n$ such that $$ 0 = \sum_{k=0}^n a_k b_{n-k}, \quad n \ge 1 $$ This is achieved by inductively defining $$ b_n := -a_0^{-1} \sum_{k=1}^n a_k b_{n-k} $$ Then $\beta := \sum_n b_n x^n$ is an inverse to $\alpha$.


$\alpha \beta =1$ means $(a_0 + a_1 x+\cdots)(b_0 + b_1 x+ \cdots)=1+0x+\cdots$ so $a_0b_0+ (a_1b_0+a_0 b_1)x+\cdots=1+0x+\cdots$ therefore $a_0b_0=1$