Bourbaki

习题 11, § 16

标签 00K6,永久不变。引用为 [Bourbaki, Tag 00K6]。

代数, VIII, p. 330

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。

令L为K与伽罗瓦群G的循环扩张,并令σ\sigma为G的生成元。习题10给出典范同构Br(L/K/K)→K∗/NL/K(L∗)\rightarrow K^*/N_{L/K}(L^*),我们现在将其逆明确地构造。

设θ∈K∗\theta \in K^*,并设cθ∈Z2(G,L∗)c_{\theta}\in Z^2(G,L^*)为由cθ(σp,σq)=θε(p,q)c_{\theta}(\sigma^p, \sigma^q) =\theta^{\varepsilon(p,q)} (习题 9, c)) 定义的元素。证明与cθc_{\theta}相关的L和扩张E\mathscr{E}的叉积A[E,L]A[\mathscr{E},L]同构于K-代数L[X]σL[X]_{\sigma}的商(VIII,p. 11)由(双面)理想生成中央元素Xn−θX^n-\theta。 Br(L/K/K) 中 AθA_{\theta} 的类对应到 θ\theta (mod NL/K(L∗)N_{L/K}(L^*)) 的类由上面定义的同构得到。

解答

尚未写出解答。

被以下引用

引用了

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。