It is denoted by . The elements of are called linear functionals.
The action of on is given by for , , and .
If is commutative, then every is an http://planetmath.org/node/987-bimodule with for all and . Hence, it makes sense to ask whether and are isomorphic. Suppose that is a bilinear form. Then it is easy to check that for a fixed , the function is a module homomorphism, so is an element of . Then we have a module homomorphism from to given by .
|Date of creation||2013-03-22 16:00:26|
|Last modified on||2013-03-22 16:00:26|
|Last modified by||Mathprof (13753)|