- 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.
- For the
identity
-
also
-

is the identity.
- For a linear mapping
-
we have
-

- 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
.
- Determine the matrix of
-
with respect to the basis
.
- 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
).
,
,
.
Let
be a
field,
be a
-vector space,
and
be a
field extension.
Let
,
,
be a family of vectors in
. Show the following statements.
- The family
,
,
is a
-generating system
of
if and only if
,
,
is an
-generating system of
.
- The family
,
,
is
-linearly independent
in
if and only if
,
,
is
linearly independent
(over
)
in
.
- 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.
- For the
identity
-
also
-

is the identity.
- For linear mappings
-
we have
-

- 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.
- We have
-

for all
.
- The operation is
associative.
- We have
-

for all
.
- 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
-
![{\displaystyle {}L\otimes _{K}K[X]\cong L[X]\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/61db5399c8a18988147cd37a7057c317d2dc5386)
holds.
Let
be a
field. Show that for
polynomial rings,
the equality
-
![{\displaystyle {}K[X]\otimes _{K}K[Y]\cong K[X,Y]\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/abfca99eed0ae4c2412e8286b57ba8060e20277d)
holds.
Let
be a
field extension,
and let
be a
-algebra.
Show that
is an
-algebra.
- Hand-in-exercises
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
.
Let
be a
field, and let
denote
vector spaces
over
. Let
-
and
-
be
-linear mappings.
Show
-

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
.
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.
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
.
- Determine the matrix of
-
with respect to the basis
.
- Determine the
Jordan normal form
of
.
Let
be
linear subspaces
with the
residue class spaces
. Show that the
kernel
of the canonical mapping
-
is
-
Let
be a
field extension.
Show that
is not necessarily a field.