Supongamos que $A,B,$ $C$ son conmutativas unital anillos, $A\to B$ plano, y $A\to C$ es cualquier mapa. Estoy tratando de determinar si $$ \dim B\otimes_AC=\dim B+\dim C-\dim a $$ Cualquier contraejemplos o referencias? Estoy tomando la dimensión de Krull de la zero anillo de ser -1 (en caso de que un producto tensor es 0).
Gracias por cualquier comentario.
Edit: Por $\dim$ me refiero a la dimensión de Krull.