I'm hoping I can get some assistance with a revision problem and also a notational issue I'm not sure about (although it may not be standard). I seem to remember going over this or something similar somewhere online a few months ago, but I can't find any such link for the life of me I'm afraid. If anyone has seen it feel free to point me in the right direction.
Suppose $A_n \,(n \in \mathbb{N})$ are sets, groups, rings etc., and we have homomorphisms $\pi_n: A_{n+1} \to A_n$. We define the inverse limit of $A_n$ by $\lim \limits_{\longleftarrow}A_n = \{(x_n)_{n \geq 1}: x_n \in A_n,\, \pi_n(x_{n+1} = x_n \forall n\}$. More generally, we can index by some partially ordered set $I$ with transition maps $f_{ij}:A_j \to A_i$ whenever $i \leq j$, such that $f_{ii} = id_{A_{i}}$. We will write $\mathbb{Z}_p$ to denote the p-adic integers (not $\mathbb{Z}/p\mathbb{Z}$).
Now first of all, a few of the problems I'm coming across refer to the object $\widehat{\mathbb{Z}}$, and I'm wondering whether this is standard notation for some sort of completion or other operation on $\mathbb{Z}$: I know that $\widehat{\mathbb{Z}}$ is isomorphic to $\lim \limits_{\longleftarrow} \mathbb{Z}/n\mathbb{Z}$ with a partial ordering by divisibility. I have proved it is also isomorphic to $\prod_p \mathbb{Z_p}$, the product being over all primes $p$, and to a few other things too.
However, I have been proving these isomorphisms by proving an isomorphism to $\prod_p \mathbb{Z}_p$. Is there perhaps some more "canonical" meaning of $\widehat{\mathbb{Z}}$, for which these isomorphisms would make sense? Of course as I say, this may not be standard so if nothing obvious comes to mind then don't worry.
Now onto the main problem, another inverse limit: I wish to prove that
$Gal(\mathbb{Q}(\bigcup \limits_{n \geq 1} \mu_n)/\mathbb{Q}) \cong \widehat {\mathbb{Z}}^\times$,
where $\mu_n$ is the group of $n$-th roots of unity, and we can take $\widehat{\mathbb{Z}}$ to be whichever isomorphism I mentioned above is easiest to work with. Note that this is $\widehat {\mathbb{Z}}^\times$ however, rather than $\widehat {\mathbb{Z}}$ as we had in the earlier isomorphisms (this is why I am keen to figure out what the hat represents).
I have the result that for $K$ a perfect field and $\bar{K}$ its algebraic closure, $Gal(\bar{K}/K) =\lim \limits_{\longleftarrow} Gal(L/K) $ where the inverse limit is over $L/K$ finite, and partially ordered by inclusion of fields. So, it's very possible that this Galois group just needs to be set up as a clever limit of Galois groups, perhaps each of which is $\mathbb{Z}/n\mathbb{Z}$ (as long as we're sure the LHS is a perfect field), but I can't quite figure out how: it doesn't help that I'm not entirely sure what I want to prove an isomorphism to! Any thoughts or general constructive suggestions you have would be very gratefully received.