If a field has a cyclic multiplicative group, is it necessarily finite?

Assume that the elements of field $F$ are 0, ${a^n}$. Case 1: If the characteristic is not 2. Then$1 \ne  1$, therefore$  1 = {a^n}(n \ne 0)$ and ${a^{2n}} = 1$. Hence we conclude that it is finite. Case 2: If the characteristic is 2. First we have $1 + a = {a^s}$and we can assume that $s \ne 1$ , otherwise the field is trivial. Then we conclude that $a$ is algebraic over ${F_2}$and ${\rm{ F= }}{F_2}(a)$. We can set the degree of the minimal polynomial of is n , then all the elements of $F$ can be written as a linear combination of $1,a,{a^2} \cdots {a^{n  1}}$over${F_2}$ , but the cardinal number of all such element is finite, which concludes the proof. 


Yes; it suffices to rule out that the multiplicative group is $\mathbb{Z}$. The field can't have characteristic zero, since $\mathbb{Q}^\times$ is not finitely generated (so not contained in $\mathbb{Z}$). If it has characteristic $p \neq 2$, then it contains $\mathbb{F}_p$, where $\mathbb{F}_p^\times$ has torsion of order greater than 2 and so is also not contained in $\mathbb{Z}$. If $p = 2$, then the field can't contain $\mathbb{F}_4$ for the same reason, so if it's not $\mathbb{F}_2$, it must be transcendental over it. But $\mathbb{F}_2(x)^\times$ is not finitely generated again, so not contained in $\mathbb{Z}$ either. 


The following proof is a short proof of the stronger claim stated by @GjergjiZaimi : The main ingredient is the fact that if finitely generated $\mathbb{Z}$algebra is a field, then it is a finite field. (this is essentially equivalent to Nullstellensatz). If the multiplicative group of a field $F$ is finitely generated then $F$ would be a finitely generetad $\mathbb{Z}$algebra, hence $F$ is a finite field. 

