Sea $S$ sea un conjunto finito de ideales maximales en $ O_K$ donde $O_K$ es el anillo de enteros de algún campo numérico $K$ . Defina $A= O_K[S^{-1}]$ .
Sea $X$ sea un $A$ -esquema. Consideremos el esquema $X_A=X\times_{\mathbb Z} A$ como $A$ -a través de la segunda proyección.
Es $X_A$ la unión disjunta de como máximo $[K:\mathbb Q]$ copias de $X$ ?
Edito: He reformulado la pregunta para que quede más clara.
