A unified Kummer-Artin-Schreier sequence. (English) Zbl 0608.12026

For \(b\) in a commutative ring \(R_0\), let \(G\{b\}\) be the affine group scheme defined by \(\{(x,y)\mid x(1-by)=1\}\). This is smooth with connected fibers of dimension one, and it turns out that \(H^1(R,G\{b\})\) is a relative Picard group familiar from \(K\)-theory for any \(R_0\)-algebra \(R\). Now let \(p\) be a prime, and let \(\zeta\) be a \(p\)-th root of unity. Then over \(R_0 = \mathbb{Z}[\zeta]\) there is an exact sequence \[ 1\longrightarrow \mathbb{Z}/p\mathbb{Z}\longrightarrow G\{1-\zeta \}\longrightarrow G\{(1-\zeta)^p\}\longrightarrow 1. \] The cohomology for this sequence reduces to the Kummer sequence when \(1/p\in R\), and it reduces to the Artin-Schreier sequence when \(p=0\) in \(R\). For \(p=2\) (and arbitrary \(R)\) it yields the description of étale quadratic algebras previously derived by adhoc methods.


12G05 Galois cohomology
14L15 Group schemes
Full Text: DOI EuDML


[1] Baeza, R.: Quadratic forms over semilocal rings. Lec. Notes Math. 655. Berlin, Heidelberg, New York: Springer 1978 · Zbl 0382.10014
[2] Bass, H.: AlgebraicK-theory. New York: Benjamin 1968 · Zbl 0174.30302
[3] Childs, L.N., Magid, A.R.: The Picard invariant of a principal homogeneous space. J. Pure Appl. Algebra4, 273-286 (1974) · Zbl 0282.14015
[4] Childs, L.N.: The group of unramified Kummer extensions of prime degree. Proc. Lond. Math. Soc.35, 407-422 (1977) · Zbl 0374.13002
[5] Haggenmüller, R.: Diskriminanten und Picard-Invarianten freier quadratischer Erweiterungen. Manusc. Math.36, 83-103 (1981) · Zbl 0521.13001
[6] Milne, J.S.: Etale cohomology. Princeton Math. Series 33. Princeton: Princeton Univ. Press 1980 · Zbl 0433.14012
[7] Small, C.: The group of quadratic extensions. J. Pure Appl. Algebra2, 83-105 (1972) · Zbl 0242.13005
[8] Waterhouse, W.C., Weisfeiler, B.: One-dimensional affine group schemes. J. Algebra66, 550-568 (1980) · Zbl 0452.14013
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.