Let $A=S^{-1}\mathbb Z$$S$ be a localization of a multiplicativefinite set $S\subset \mathbb Z$.
Question 1: Let $X$ be an arbitrary $A$-scheme, and view $X_A=X\times_{\mathbb Z} A$ as an $A$-scheme via the second projection. Is there a canonical isomorphism of $A$-schemesmaximal ideals in $X_A\cong X$?
More generally$ O_K$, letwhere $R=a_1\mathbb Z\oplus\dotsc\oplus a_n\mathbb Z$ be a commutative unital$O_K$ is the ring and let $A=S^{-1}R$ be a localization of a multiplicative setintegers of some number field $S\subset R$$K$. Define $A= O_K[S^{-1}]$.
Question2: Let $X$ be an arbitrary $A$-scheme, and view . Consider the scheme $X_A=X\times_{\mathbb Z} A$ as an $A$-scheme via the second projection.
a) Let $X^n$ be the disjoint union of $n$-copies of $X$. Is there a canonical isomorphism of $A$-schemes $X_A\cong X^n$?
b) Is it possible to compute $Hom_{\mathbb Z}(A,X)$ in terms of $Hom_A(A,X)$ and $n$?
c) Moreover, is $Hom_{\mathbb Z}(A,X)$ in bijection with$X_A$ the disjoint union of at most $n$$[K:\mathbb Q]$ copies of $Hom_A(A,X)$$X$?
I am mainly interested in the case where $R$ is the ring of integers of a finite extension $F$ of $\mathbb Q$, and $A$ is obtained by inverting finitely many prime ideals of $R$; so $A$ is a ring of $S$-integers in the number field $F$. However,Edit: I expectrewrote the case of general $R,A$ should be similarquestion to make it more clear.