Bimodules over division rings Inspired by other questions i have two questions about modules over division rings: given a division ring $D$ with center $Z(D)=K$. One has the notion of dimension for left modules (vector spaces) $V$ over $D$, which is well behaved like in linear algebra.
But does the following also hold: Given a left vector space $W$ of dimension $n$ and a right vector space $V$ of dimension $m$. Assume that at least one of them is even a $D$-bimodule, so that $V\otimes_D W$ has the structure of a $D$-module.
$Q1$: Do we have $dim_D(V\otimes _D W)=dim_D(V)dim_D(W)=nm$ in this case?
Now $D$ is naturally a $D$-bimodule, so is $D^{\*}=Hom_K(D,K)$.
$Q2$: Is there a $D$-bimodule isomorphism between $D$ and $D^{\*}$?
Both modules are one dimensional, so pick generators $x\in D$ and $y\in D^{\*}$. Now $x\mapsto y$ defines a map $D \rightarrow D^{\*}$, which satisfies $ax\mapsto ay$. Assume that $ax=xb$ for some $b\in D$, then we need to have $xb\mapsto yb$, which leads to $x^{-1}ax=y^{-1}ay$ for all $a\in D$. Can we find $x$ and $y$ such that the last relation is fulfilled? Or is there no such bimodule isomorphism?
 A: The answer to both questions is positive if $D$ is finite-dimensional over its center $K$, and negative, in general, otherwise.
Q1.  Suppose $V$ is a $D$-bimodule over $K$ (i.e., a $D\otimes_K D^{op}$-module), while $W$ is a left $D$-module of dimension $n$, as in your question.  Then $W$ is isomorphic to a direct sum of $n$ copies of $D$, hence $V\otimes_D W$ as a left $D$-module is isomorphic to a direct sum of $n$ copies of $V$.  So the $\dim_D (V\otimes_D W) = n\dim_D V$, where $\dim_D$ denotes the dimension of left $D$-modules.  Now, to answer your original question, it remains to notice that the dimensions of $V$ as a left and a right $D$-module coincide, since both are equal to $\dim_KV/\dim_KD$.
It does not matter in this argument that $K$ is the whole center of $D$, only that $K$ is a field contained in the center of $D$ and $D$ is finite-dimensional over $K$.  On the other hand, if $D$ is infinite-dimensional over $K$, it may happen that $D$ can be $K$-linearly embedded into itself as a proper subring.  This would allow to define a $D$-bimodule structure on $V=D$ where $V$ is one-dimensional as a right module over $D$ and more than one-dimensional (possibly infinite-dimensional) as a left module over $D$.  This would break your dimension formula.
Q2. Left $D$-module maps $D\to D^\ast$ are in one-to-one correspondence with elements of $D^\ast$, i.e., $K$-linear functions $D\to K$.  A linear function $l\colon D\to K$ defines a $D$-bimodule map $D\to D^\ast$ if and only if one has $l(xy)=l(yx)$ for all elements $x$, $y\in D$.  Taking $l$ to be the trace map (defined e.g. by tensoring $D$ with the separable closure of $K$ over $K$, identifying the result with matrices over the separable closure, and taking the traces of matrices), one can obtain a $D$-bimodule isomorphism between $D$ and $D^\ast$ when $D$ is finite-dimensional over its center $K$.
The above argument can be easily extended to the case when $K$ is just a subfield of the center of $D$ and $D$ is finite-dimensional over $K$ (one just composes the trace map with an arbitrary nonzero linear function from the center of $D$ to $K$).  On the other hand, when $D$ is infinite-dimensional over $K$, it is no longer true that $D^\ast$ is a one-dimensional left $D$-module.
A: Concerning Q2, $D$ and $D^* $ are in general not isomorphic as $K$-vector spaces: suppose that $D$ has countable infinite dimension as a vector space over $K$. The dual vector space $D^*$ has then uncountable dimension over $K$. If $K$ is a countable field (say, the rational numbers) it follows that $D$ has a countable number of elements, but $D^* $ doesn't, so there cannot exist a set bijection between the two, let alone a module isomorphism.
