Exercise 24, § 4
Algebra, VII, p. 69
Bourbaki marks this one as harder than the rest.
An abelian group is isomorphic to a subgroup of the multiplicative group of nonzero elements of some commutative field if and only if the torsion subgroup of has rank (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 to be isomorphic to a subgroup of , for some field . For all let be a coset representative of in , then, identifying with a subgroup of , we may write for all , where . Show that there exists an -algebra with basis such that for all , and prove that is an integral domain using VI, p. 33, Ex. 20, c). Then the field of fractions of satisfies the desired conditions.)
Solution
No solution has been written yet.