:::{.definition title="Artin Map"}
\[
\Theta_K : G_K^\ab \mapsvia{\sim} \hat{K^\units}
.\]

where $\hat{\wait}$ denotes the [profinite completion](profinite%20completion.md).
:::