Jump to content

Linear algebra (Osnabrück 2024-2025)/Part II/Exercise sheet 56

From Wikiversity



Exercises

We consider in the bases and the standard basis , and we consider in the real bases and . Determine the transformation matrix of the corresponding bases of the tensor product .


Let be a field, and let denote -vector spaces. Show that the following statements hold. (in the sense of a canonical isomorphy).


The linear mappings

and

are given with respect to the standard bases by the matrices and . Determine the matrix of the linear mapping


Let be a field, and let be a vector space over . We consider the assignment that maps a vector space tothe tensor product , and a -linear mapping

to the tensorization . Show the following statements.

  1. For the identity

    also

    is the identity.

  2. For a linear mapping

    we have

  3. For an isomorphism

    also is an isomorphism, and for the inverse mapping we have


Let be a field, and let denote -vector spaces. Show that we have


Let be finite-dimensional -vector spaces, and let

be flags in these vector spaces. Show that, in general, there does not exist a flag in such that the linear subspaces involved have the form


Let be linear subspaces with the residue class spaces . Does there exist a canonical isomorphism


Let be a field, and let be vector spaces over . Let diagonalizable -linear mappings

be given. Show that also the tensor product

is diagonalizable.


Let be a field, and let be vector spaces over . Let trigonalizable -linear mappings

be given. Show that also the tensor product

is trigonalizable.


The Kronecker product of matrices

and

is given by

Compute the Kronecker product of the two matrices and .


The Kronecker product has a tight connection with the tensor product, as the following exercise shows.

Let be a field, and let

and

denote matrices with the corresponding linear mappings and . Show that the tensor product of these linear mappings is given by the Kroneckerprodukt of and with respect to the bases , , of and , , of .


Suppose that the linear mapping is given by the Jordan matrix with respect to the basis , and that the linear mapping is given by the Jordan matrix with respect to the basis .

  1. Determine the matrix of

    with respect to the basis .

  2. Determine the Jordan normal form of .


Let be a field, and let be vector spaces over . Show that the mapping

is multilinear.


Let be a field, and let denote finite-dimensional -vector spaces. Show that there exists a canonical isomorphism


Let be a field extension, and let . Show that the mapping

is -linear.


Let be a field extension, and let . Show that the inserting mapping, that is, the assignment

fulfills the following properties (for ).

  1. ,
  2. ,
  3. .


Let be a field, be a -vector space, and be a field extension. Let , , be a family of vectors in . Show the following statements.

  1. The family , , is a -generating system of if and only if , , is an -generating system of .
  2. The family , , is -linearly independent in if and only if , , is linearly independent (over ) in .
  3. Die family , , is a -basis of if and only if , , is an -basis of .


Let be a field extension. We consider the assignment , that maps a -vector space to the -vector space , and a -linear mapping

to the tensorization . Show the following statements.

  1. For the identity

    also

    is the identity.

  2. For linear mappings

    we have

  3. For an isomorphism

    also is an isomorphism, and for the inverse mapping we have


A field extension is called finite if is a finite-dimensional vector space

over .


Let be a finite field extension. Then the -vector space dimension

of is called the degree of the field extension.

Determine the degree of the field extension .


Let be field extensions such that is finite over . Show that also is finite over and that is finite over .


Let be a finite field extension, and let denote a -basis of . Show that the multiplication on is uniquely determined by the products


Let be a finite field extension, and let denote elements that form a -basis of . Let , . Show that also form a -basis of .


Let be a field extension, and let denote -vector spaces. Show that there exists a canonical isomorphism of -vector spaces


Show that the field extension is not finite.


Let be a field, and let denote a -vector space. is called a commutative -Algebra if there exists a fixed element and a binary operation, called multiplication,

such that the following conditions hold.

  1. We have

    for all .

  2. The operation is associative.
  3. We have

    for all .

  4. For and , we have

    where and means the scalar multiplication.

Important examples of -algebras are given by a field extension . The polynomial ring is a -algebra as well.

Let be a field, and let and denote algebras over . Show that is also a -algebra, where the is given by and where the multiplication for decomposable tensors are given by


In den following exercises, the symbol means that these is a correspondence that respects addition, the multiplication, the , and the .

Let be a field extension. Show that for the polynomial ring, the equality

holds.


Let be a field. Show that for polynomial rings, the equality

holds.


Let be a field extension, and let be a -algebra. Show that is an -algebra.




Hand-in-exercises

Exercise (4 marks)

We consider in the bases and the standard basis , and we consider in the basis and the standard basis. Determine the transformation matrix of the corresponding bases of the tensor product .


Exercise (2 marks)

Let be a field, and let denote vector spaces over . Let

and

be -linear mappings. Show


Exercise (2 marks)

Let be vector spaces over the field , and let

denote linear mappings, and let

be the corresponding tensor product mapping. Let be an eigenvalue of . Show that is an eigenvalue of .


Exercise (4 marks)

Let be a finite-dimensional -vector space. Show that the mapping

that arises from the identification

according to Exercise 55.15 and from the natural mapping

in the sense of Exercise 55.14 , equals the trace.


Exercise (6 (2+4) marks)

Suppose that the linear mapping is given by the Jordan matrix with respect to the basis , and that the linear mapping is given by the Jordan matrix with respect to the basis .

  1. Determine the matrix of

    with respect to the basis .

  2. Determine the Jordan normal form of .


Exercise (4 marks)

Let be linear subspaces with the residue class spaces . Show that the kernel of the canonical mapping

is


Exercise (4 marks)

Let be a field extension. Show that is not necessarily a field.



<< | Linear algebra (Osnabrück 2024-2025)/Part II | >>
PDF-version of this exercise sheet
Lecture for this exercise sheet (PDF)