1: \begin{abstract}

2: To a ``stable homotopy theory'' (a presentable, symmetric monoidal stable

3: $\infty$-category), we naturally associate a 

4: category of finite \'etale algebra objects and, using Grothendieck's 

5: categorical machine, a profinite group that we call the Galois group.  We then  calculate the Galois groups in several

6: examples. For instance, we show that the Galois group of the periodic

7: $\e{\infty}$-algebra of topological modular forms is trivial 

8: and that the

9: Galois group of $K(n)$-local stable homotopy theory is an extended version of

10: the Morava stabilizer group. 

11: We also describe the Galois group of the stable module

12: category of a finite group. 

13: A fundamental idea throughout 

14: is the purely categorical notion of a ``descendable'' algebra object and an associated analog of

15: faithfully flat descent in this context.

16: \end{abstract}

17: