Math 520B
Written Assignment No. 5

due Friday, December 9, 2005

Directions. Although you may refer to books for definitions and standard theorems, searching for solutions to these written exercises is not permitted. You may not seek help from others.

  1. Let f be the Z-linear map from Z^{4} to Z^{3} defined by f(x) = M x for all x \in Z^{4} where M is the 3 \times 4 matrix

     M  =  
    (
    24  
    30
    -36
    -42
    14
    24
    -34
    -44
    34
    48
    -62
    -76
    		)
    		    . 

    Represent the cokernel of f as a direct sum of cyclic groups.

  2. Find one matrix in each of the similarity classes of matrices over the field C (of complex numbers) that share the characteristic polynomial t^{3} - t^{2} - t + 1.

  3. Let A be the 5 \times 5 matrix in the field F_{2} = Z/2Z

     A   =   
    (
    1  
    0
    0
    0
    1
    0
    1
    1
    1
    1
    0
    1
    0
    1
    0
    1
    0
    1
    1
    1
    0
    1
    1
    0
    0
    		)
    		    . 

    Find a direct sum of companion matrices that is similar to A.

  4. Let M be the 6 \times 6 rational matrix

     M   =   
    (
    102  
    -52
    71
    -21
    16
    -16
    324
    -157
    228
    -69
    78
    -57
    357
    -182
    244
    -66
    49
    -60
    532
    -286
    356
    -88
    19
    -82
    36
    -26
    20
    3
    -24
    -6
    532
    -286
    356
    -90
    19
    -80
    		)
    		    . 

    Find the sequence of successively divisible invariant factors as well as the minimal and characteristic polynomials of M.

  5. Let V and W be n-dimensional vector spaces over a field F, and let b : V \times W --> F be F-bilinear. The bilinear form b determines a linear map phi_{b} \in Hom_{F}(V, \v{W}), with \v{W} = Hom_{F}(W, F), that is defined by

     phi_{b}(v)  =  
    [w  :--->  b(v, w)]
    		    . 

    1. Show that phi_{b} is an isomorphism if and only if for given bases v_{1}, …, v_{n} of V and w_{1}, … w_{n} of W one has det

      (b(v_{i}, w_{j}))
      ≠ 0.

    2. Produce such a bilinear form in the case where V = Lambda^{p} U and W = Lambda^{k-p} U when U is a k-dimensional vector space over F.

    3. To what extent may one generalize the two preceding items to correct statements when F is a commutative ring, V, W free F-modules of rank n, and U a free F-module of rank k?