8
$\begingroup$

Just a small notation question from this Wikipedia page:

The absolute Galois group of a finite field $K$ is isomorphic to the group $$\hat{\mathbb{Z}}=\lim_{\leftarrow} \mathbb{Z}/n\mathbb{Z}.$$

What does the $\displaystyle\lim_{\leftarrow}$ part mean? Why is it written like that?

  • 2
    It's the inverse limit (http://en.wikipedia.org/wiki/Inverse_limit). If you have a copy of Dummit and Foote, the construction is outlined very nicely in some of the excercises.2012-12-31
  • 1
    Mild terminological rant: I am not a fan of this "inverse limit / direct limit" terminology because it conflicts in a mild but confusing way with the terminology prevalent in category theory (inverse limits are limits but direct limits are colimits). The category-theoretic terminology instead talks about cofiltered limits and filtered colimits (http://ncatlab.org/nlab/show/filtered+limit).2012-12-31
  • 0
    lim←Z/nZ. can be shown isomorphic to direct product of all Zp p-adics2012-12-31

1 Answers 1

5

It is used to denote the inverse limit as opposed to the notation $\displaystyle\lim_{\to}$ which is used to denote the direct limit.