A note on extensions of algebraic and formal groups. III (Q1365342)

[For part I and II of this paper see Math. Z. 206, No. 4, 567-575 (1991; Zbl 0742.14039) and 217, No. 3, 447-457 (1994; Zbl 0815.14032)]. Let \(W_n\) (resp. \(\widehat W_n)\) denote the group scheme (resp. the formal group scheme) over \(\mathbb{Z}\) of Witt vectors of length \(n\), and \(W\) (resp. \(\widehat W)\) the group scheme (resp. the formal group scheme) of Witt vectors over \(\mathbb{Z}\). Let \(\mathbb{G}_m\) (resp. \(\widehat\mathbb{G}_m)\) denote the multiplicative group scheme (resp. the multiplicative formal group scheme over \(\mathbb{Z})\). In part I and II, we gave an explicit description of the groups \(\text{Ext}^1_A (W_{n,A}, \mathbb{G}_{m,A})\) and \(\text{Ext}^1_A (W_{n,A}, \widehat \mathbb{G}_{m,A} )\), when \(A\) is a ring of characteristic \(p>0\), \(p\) a prime number. In this note, we generalize these results to \(\mathbb{Z}_{(p)}\)-algebras \(A\) as follows: Theorem. Let \(A\) be a \(\mathbb{Z}_{(p)}\)-algebra. Then there exist isomorphisms \[ _{F^n}\widehat W(A) @>\sim>> \Hom (W_{n,A}, \mathbb{G}_{m,A}), \quad \widehat W(A)/F^n @>\sim>> H^2_0(W_{n,A}, \mathbb{G}_{m,A}), \] \[ _{F^n} W(A) @>\sim>> \Hom (\widehat W_{n,A}, \widehat \mathbb{G}_{m,A}), \quad W(A)/F^n @>\sim>> H^2_0 (\widehat W_{n,A}, \widehat \mathbb{G}_{m,A}). \]