12
$\begingroup$

In general, the tensor product of two local rings is not local. For example, $\mathbb{C} \otimes_{\mathbb{R}} \mathbb{C}\ $ is not a local ring.

Let $\mathbb{F}_{p}$ denote the finite field with $p$ elements. Let $A,B$ be two complete local noetherian $\mathbb{Z}_p$-algebras with residue field $\mathbb{F}_p$. Let $m_A, m_B$ denote the maximal ideals of $A,B$, respectively.

Question:

Is it true that $A \otimes_{\mathbb{Z}_p} B\ $ is a local ring?

Clearly, the ideal $m_A \otimes B + A \otimes m_B$ is a maximal ideal of $A \otimes_{\mathbb{Z}_p} B\ $ with the residue field $F_p$. Is it the only maximal ideal of $A \otimes_{\mathbb{Z}_p} B\ $?

$\endgroup$
3
  • 5
    $\begingroup$ How hard could it be to capitalize the first letter in a sentence? Not starting a sentence with "about" is extra bonus for grammar. $\endgroup$ Jul 27, 2010 at 6:51
  • 6
    $\begingroup$ No: $\mathbf{F}_ p[[u]] \otimes_ {\mathbf{Z}_p} \mathbf{F}_ p[[v]]$ is not local ($1 + u \otimes v$ is non-unit, since non-unit in $\mathbf{F}_ p[[u]] \otimes \mathbf{F}_ p((v))$ via computing under injection to $(\mathbf{F}_ p((v)))[[u]]$, so lies in extra max. ideal), nor noetherian. If $A$, $B$, and $C$ are complete loc. noeth. and $C \rightrightarrows A, B$ are local maps inducing isoms (or purely insep. finite ext'ns) on residue fields then completed tensor product $A \widehat{\otimes}_C B$ is complete loc. noeth. (and a categorical coproduct as such). See EGA 0$_{\rm{IV}}$, 19.7.1.2(i). $\endgroup$
    – BCnrd
    Jul 27, 2010 at 10:00
  • 13
    $\begingroup$ About Victor's comment, let me just say that many titles of MO questions, including this one, are not meant to be sentences. $\endgroup$ Jul 27, 2010 at 10:04

2 Answers 2

7
$\begingroup$

Let $A=\mathbb F_p[[t]],B=\mathbb F_p[[u]]$. Then, $1\otimes1-t\otimes u$ is neither in $\mathfrak m_A\otimes B+A\otimes\mathfrak m_B$ nor a unit, so it is contained in some other maximal ideal of $A\otimes B$. (Proof that $1\otimes1-t\otimes u$ is not a unit: An element of $\mathbb F_p[[t]][[u]]$ coming from $A\otimes B$ has the property that its coefficients with respect to $u$ span a finite-dimensional subspace of $\mathbb F_p[[t]]$, but this fails for the coefficients $t^k$ of $(1-tu)^{-1}=\sum t^ku^k$.)

$\endgroup$
0
$\begingroup$

Let $P$ be a finite $p$-group, let $A = \mathbb{Z}_p[P]$ be the group ring and let $B=\mathbb{Q}_p$. Then $A$ and $B$ are both complete Noetherian local $\mathbb{Z}_p$-algebras but $A\otimes B=\mathbb{Q}_p[P]$ is a product of fields, hence not local.

Edit: This fails to be a counterexample because the residue field of $\mathbb{Q}_p$ is not $\mathbb{F}_p$.

$\endgroup$
3
  • $\begingroup$ If you ask that both $A$ and $B$ be integral over $\mathbb{Z}_p$, then it's true that $A\otimes B$ will be local. You can get this pretty easily using the "going up/going down" theorems. $\endgroup$
    – Joel Dodge
    Jul 27, 2010 at 5:49
  • $\begingroup$ The residue field of $B=\mathbb{Q}_p$ is not $F_p$. I want $A$ and $B$ with the residue field $F_p$, the finite field with $p$ elements. $\endgroup$
    – N. Kumar
    Jul 27, 2010 at 5:52
  • $\begingroup$ ah right of course i forgot that while thinking about this. . . $\endgroup$
    – Joel Dodge
    Jul 27, 2010 at 5:53

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.