Bourbaki

Exercise 20, § 2

Algebra, II, 392

Bourbaki marks this one as harder than the rest.

(a) Let A be a ring admitting a field of left fractions K (I, § 9, Exercise 15). Show that K, considered as a left A-module, is an injective envelope of AsA_s. (Apply criterion (α) of Exercise 18(d) and criterion (δ) of Exercise 11(a) noting that if f:a→Kf : a \to K is an A-linear mapping of a left ideal aa of A into K, the element x−1f(x)x^{-1} f(x) for x∈a,x≠0x \in a, x \neq 0 (the inverse being taken in K) does not depend on x∈ax \in a.)

(b) Let UpU_p be the sub-Z\mathbf{Z}-module of Q/Z\mathbf{Q}/\mathbf{Z} consisting of the canonical images of the rational numbers of the form k/pnk/p^n, where pp is a given prime number, k∈Zk \in \mathbf{Z} and n∈Nn \in \mathbf{N} (II, § 1, Exercise 12(d)). Show that UpU_p is an injective envelope of each of the Z\mathbf{Z}-modules p−nZ/Zp^{-n}\mathbf{Z}/\mathbf{Z} isomorphic to Z/pnZ\mathbf{Z}/p^n\mathbf{Z}. Show that there exist automorphisms of UpU_p distinct from the identity automorphism leaving invariant the elements of a submodule p−nZ/Zp^{-n}\mathbf{Z}/\mathbf{Z}.

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.