Source for embedding multiplicative group of an algebraic closure of a finite field? It's easy to embed the (cyclic) multiplicative group of a finite field into the multiplicative group of $\mathbb{C}$ (or other algebraically closed field of characteristic 0): assign to a generator of the finite cyclic group a corresponding primitive root of unity in $\mathbb{C}$.    Though such embeddings are usually not unique, a fixed one is needed for example to define the Brauer character of a $p$-modular representation of a finite group.    
More generally one can embed the multiplicative group $F^\times$ of an algebraic  closure $F$ of $\mathbb{F}_p$ into $\mathbb{C}^\times$.   This is somewhat less elementary and certainly less familiar.  I'd be curious to know about the historical origin of such embeddings, but my immediate question is just a reference request:

What is a convenient modern reference for this larger type of embedding?

P.S. To clarify what I'm asking for, the proof of the embedding statement is not the issue (it requires some version of Zorn's Lemma, as does the original proof of existence of an algebraic closure of a finite field).   I'd expect to find an explicit statement in some book, even in the form of a structured exercise, but it's not immediately obvious where to look.    Occasionally some use is made in research papers of an embedding (without further comment).  
 A: One way to construct such an embedding (although probably not the easiest) is to use Witt vectors.
For every perfect field $k$ of characteristic $p$, the ring $W(k)$ of Witt vectors over $k$ is a complete discrete valuation ring of characteristic zero with residue field $k$. It is equipped with a multiplicative map $[\cdot] : k \to W(k)$ which is a section of the residue map, so that $k^\times$ embeds in $W(k)^\times$. Now you can embed $W(\overline{\mathbf{F}_p})$ in $\mathbf{C}$ by purely formal arguments. Note this also works for other fields $k$, at least if the cardinality of $k$ is not too big.
A: Choose a prime of lying over $p$ in the algebraic closure of $\mathbb{Q}$ in $\mathbb{C}$. Then the reduction map gives an isomorphism from the roots of 1 of order prime to $p$ onto the $F^{\times}$.
Added: the proofs only require the Axiom of Dependent Choice, which is strictly weaker than the Axiom of Choice. The same is true of the construction of $F$ (for example, you could define $F$ to be the residue field at the chosen prime).
A: I might be confused, but isn't that group isomorphic to the $p$-primary part of $\mathbb{Q}/\mathbb{Z},$ which obviously does imbed in $\mathbb{C}^*?$
