# Dimension of tensor product of modules

$A\rightarrow B$ a ring homomorphism of Noetherian rings, where $A$ is local. $M$, $N$ finitely generated and nonzero $A$- and $B$- modules, respectively. Then I seem to get $\mbox{dim}_ {B}(M\otimes_{A} N) = \mbox{dim}_ {B}N$. Could that be true? It seems a little strange that the dimension of $(M\otimes_{A} N)$ (as a $B$-module) is independent of $M$.

-
But isn't the (Krull) dimension of any vector space 0? – ashpool Jun 25 '10 at 23:18
Let $k$ be the residue field of $A$ such that dim A>0. Take N=B=A, M=k. Then LSH=0, RHS = dim A. – Hailong Dao Jun 25 '10 at 23:59
I think my mistake stems from not recognizing the fact that if (A,m) is a local ring and p is a non-maximal prime, A localized at p is not finitely generated as an A-module. – ashpool Jun 26 '10 at 14:02
The Krull dimension of a vector space is definitely not zero. The Krull dimension of $k[X]$ is $1$ ($k$ a field) for instance. You must be thinking finite-dimensional vector spaces. A module finite $k$-algebra is artinian, hence zero-dimensional. This is because it is a finitely-generated module over an artin ring, so it satisfies DCC on $k$-subspaces, and any ideal is clearly a $k$-subspace. – Keenan Kidwell Jun 26 '10 at 18:30
The Krull dimension of k[x] as a module over itself(i.e. as a ring) is 1. But as a vector space(i.e. as a k-module) it is zero, since the dimension of a field (as a ring) is zero. – ashpool Jun 29 '10 at 0:34