First, $R$ is a commutative ring with unit. I have two $R$-algebras, $A$ and $B$. I have an isomorphism $ A\otimes_R\mathbb{Z}\longrightarrow B\otimes_R\mathbb{Z}. $ Is there a theorem that says when I can conclude that $A\cong B$? What if everything is free?
When Can I Conclude Two Algebras are Isomorphic?
1
$\begingroup$
abstract-algebra
commutative-algebra
-
0The short answer is: No, there is no such theorem. The long answer will be given if you reveal the *real* problem you are working on to us. – 2012-07-07
1 Answers
2
Take $R = \mathbb Z[t]$, $R\to \mathbb Z$ the augmentation $t\mapsto 0$, $A = R$ and $B = \mathbb Z[t, (1-t)^{-1} ]$. The $A\otimes_R \mathbb Z = \mathbb Z = B\otimes_R \mathbb Z$. But $A$ and $B$ are not isomorphic.
By tensoring with $\mathbb Z$, we evaluated at $0$ so we can't see what happens at $1$: we inverted $1-t$.
-
0This is a good counterexample. I had to refine my conditions to obtain a proof. – 2012-07-17