Bourbaki

习题 24, § 4

标签 075E,永久不变。引用为 [Bourbaki, Tag 075E]。

代数, VII, p. 69

Bourbaki marks this one as harder than the rest.

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

An abelian group GG is isomorphic to a subgroup of the multiplicative group K∗K^* of nonzero elements of some commutative field KK if and only if the torsion subgroup TT of GG has rank ≤1\leq 1 (Ex. 22). (For the necessity of this condition, cf. V, p. 79, Prop. 2 ; use the same reference to show that the condition is sufficient for TT to be isomorphic to a subgroup of E∗E^*, for some field EE. 对于所有a∈G/Ta \in G/T,让gag_a作为GG中aa的陪集代表,然后,用E∗E^*的子群识别TT,我们可以为所有a,β∈G/Ta, \beta \in G/T写出gagb=eαβg(αβ)g_a g_b = e_{\alpha\beta} g_{(\alpha\beta)},其中eαβ∈Ee_{\alpha\beta} \in E。 证明存在一个基 (bi)i∈G/T(b_i)_{i \in G/T} 的 EE 代数 BB,使得 babb=eαβb(αβ)b_a b_b = e_{\alpha\beta} b_{(\alpha\beta)} 对于所有 a,βa, \beta,并使用 VI、p. 33 证明BB 是整环,例如。 20,c)。 那么分数的域、BB的KK满足所需的条件。)

解答

尚未写出解答。

被以下引用

无。

引用了

无。

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