The prime divisors of the period and index of a Brauer class (Q2254788)

Let \((\mathbf{X},R)\) be a ringed topos and \(\alpha \in \mathrm{Br}(\mathbf{X},R) \subseteq \mathrm{H}^2(\mathbb{G}_m)\). The \textit{period} of \(\alpha\) is the order of \(\alpha\) as a group element of \(\mathrm{H}^2(\mathbb{G}_m)\) (assumed it is finite), and the \textit{index} is the greatest common divisor of all integers \(n\) such that \(\alpha\) is in the image of \(\mathrm{H}^1(\mathrm{PGL}_n) \to \mathrm{H}^2(\mathbb{G}_m)\). If \(\mathcal{A} \in \mathrm{H}^1(\mathrm{PGL}_n)\), the \textit{degree} of \(\mathcal{A}\) is \(n\), and the period and index of \(\mathcal{A}\) are the period and index of the image of \(\mathcal{A}\) under the map \(\mathrm{H}^1(\mathrm{PGL}_n) \to \mathrm{Br}(\mathbf{X},R)\). Writing \(\alpha\) for this image, one says that \(\mathcal{A}\) \textit{represents} \(\alpha\). The main theorems are: Theorem 3. Let \((\mathbf{X},R)\) be a ringed topos and \(\alpha \in \mathrm{Br}(\mathbf{X},R)\). Then the period of \(\alpha\) divides the index of \(\alpha\) and the Brauer group is torsion. Theorem 6. Let \((\mathbf{X},R)\) be a locally-ringed connected topos and \(\alpha \in \mathrm{Br}(\mathbf{X},R)\). Then there exists a representative \(\mathcal{A}\) of \(\alpha\) such that the prime numbers dividing \(\mathrm{per}(\alpha)\) and \(\mathrm{ind}(\mathcal{A})\) coincide.