Professional Documents
Culture Documents
HW8
HW8
20% 1. The rank, rank ω, of a tensor ω is defined as the minimal number of simple tensors that sum to ω. (This
is another rank, not the number of modules involved in the tensor product!) Let ϕ: M −→ N be a homomorphism
of two free modules of finite rank over an ID R, and let ω be the tensor corresponding to ϕ in N ⊗ M ∗ .
Prove that rank ϕ ≤ rank ω, and if R is a field, then rank ϕ = rank ω.
40% 2. Let R be an ID, F be the field of fractions of R, M be an R-module, V be the F -vector space F ⊗R M ,
M ∗ = HomR (M, R) and V ∗ = HomF (V, F ).
(a) For f ∈ M ∗ , define f˜ ∈ V ∗ by f˜(α ⊗ u) = αf (u). (Why is f˜ well deined?) Prove that the mapping
f 7→ f˜ is a monomorphism (injective homomorphism) M ∗ −→ V ∗ . Deduce that the F -space homomorphism
F ⊗R M ∗ −→ V ∗ defined by 1⊗f 7→ f˜ is also injective, and, in the case rank M < ∞, that rank M ∗ ≤ rank M .
(b) If M is finitely generated, prove that the image of M ∗ in V ∗ spans V ∗ ; moreover, for any h ∈ V ∗ there
exist f ∈ M ∗ and d ∈ M such that dh = f˜. Deduce that F ⊗ M ∗ ∼ = V ∗ and that rank M ∗ = rank M .
(c) Give a example where for an (infinitely generated) R-module M of finite rank, M ∗ doesn’t span V ∗ (and
so, rank M ∗ < rank M ).
(d) If M and N are finitely generated and ϕ: M −→ N is a homomorphism, prove that rank ϕ∗ = rank ϕ.
(Hint: Show that the isomorphism in (b) is “canonical”, that is, agrees with homomorphisms. Extend ϕ and ϕ∗
to vector spaces, thereby reducing the problem to the case of vector spaces (for which this fact is assumed to be
known).)
40% 3. Let M be a free module of rank n over a commutative unital ring R. Let B = {u1 , . . . , un } be a basis of
M , let
b = ω1 = u2 ∧ u3 ∧ · · · ∧ un , ω2 = u1 ∧ u3 ∧ · · · ∧ un , . . . , ωn = u1 ∧ u2 ∧ · · · ∧ un−1
B