Remark 23.5.2. Let (A, I, \gamma ) be a divided power ring. There is a variant of Lemma 23.5.1 for infinitely many variables. First note that if s < t then there is a canonical map
Hence if W is any set, then we set
(colimit over E finite subset of W) with transition maps as above. By the definition of a colimit we see that the universal mapping property of A\langle x_ w: w \in W\rangle is completely analogous to the mapping property stated in Lemma 23.5.1.
Comments (0)