The étale cohomology ring of a punctured arithmetic curve
We compute the cohomology ring for where is the spectrum of the ring of integers of a number field and is a finite set of finite primes. As a consequence, we obtain an efficient way to compute presentations of , where is Galois group of the maximal extension of unramified outside of a finite set of primes , for varying . This includes the following cases (for any prime dividing ): ; does not contain the primes above ; and with admitting real archimedean places. We also show how to recover the classical reciprocity law of the Legendre symbol from the graded commutativity of the cup product.