Lemma 109.79.1. There exists a ring $A$ and an infinite family of flat ring maps $\{ A \to A_ i\} _{i \in I}$ such that for every $A$-module $M$

$M = \text{Equalizer}\left( \xymatrix{ \prod \nolimits _{i \in I} M \otimes _ A A_ i \ar@<1ex>[r] \ar@<-1ex>[r] & \prod \nolimits _{i, j \in I} M \otimes _ A A_ i \otimes _ A A_ j } \right)$

but there is no finite subfamily where the same thing is true.

Proof. See discussion above. $\square$

There are also:

• 2 comment(s) on Section 109.79: The spectrum of the integers is not quasi-compact

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).