Example 78.7.2 (Roots of unity as a group algebraic space). Let B \to S as in Section 78.3. Let n \in \mathbf{N}. Consider the functor which associates to any scheme T over B the subgroup of \Gamma (T, \mathcal{O}_ T^*) consisting of nth roots of unity. This is representable by the group algebraic space
over B. Here \mu _{n, S} is the group scheme of nth roots of unity over S, see Groupoids, Example 39.5.2.
Comments (0)