0

Let $k$ be a commutative ring with total quotient ring $K$, and let $A$ be a commutative $k$-algebra such that the multiplication map $A \otimes_k A \longrightarrow A$ is an isomorphism. EDIT: Assume also that $k \longrightarrow A$ is injective. Then: Must $A$ be isomorphic to a $k$-subalgebra of $K$? If necessary, assume also that $k$ is an integral domain and/or is of characteristic zero.

Conversely: For which $k$-algebras $A$ contained in $K$ is the multiplication map $A \otimes_k A \longrightarrow A$ an isomorphism? Equivalently, for which $k$-algebras $A$ contained in $K$ is $A \otimes_k A$ $k$-torsion-free?

Jesse Elliott
  • 4,123
  • 22
  • 36

2 Answers2

5

Perhaps there is a hypothesis missing. There are counterexamples as stated. For instance, if $k$ is $\mathbb{C}[t]$ and $A$ is the quotient ring $\mathbb{C}[t]/\langle t \rangle$, then the multiplication map, $$ \mathbb{C}[t]/\langle t \rangle \otimes_{\mathbb{C}[t]} \mathbb{C}[t]/\langle t \rangle \to \mathbb{C}[t]/\langle t \rangle,$$ is an isomorphism.

Regarding your second question, there certainly are counterexamples. For instance, let $k$ equal $\mathbb{C}[x,y]/\langle y^2-x^3 \rangle$ with quotient ring $K=\mathbb{C}(t)$, where $t=y/x$. Since $x$ equals $t^2$ and $y$ equals $xt = t^3$, then the subring $A=\mathbb{C}[t]$ of $K$ is a $k$-algebra. In fact, $A$ equals $k[t]/\langle x-t^2,y-t^3 \rangle$. Thus, we have $$A\otimes_k A = k[t_1,t_2]/\langle x-t_1^2,y-t_1^3, x-t_2^2,y-t_2^3 \rangle.$$ In particular, $t_2-t_1$ is a zerodivisor in $A\otimes_k A$. Therefore the multiplication map cannot be an isomorphism.

To guarantee that the multiplication map is an isomorphism for every $k$-subalgebra $A$ of $K$, you could assume that $k$ is a Dedekind domain. Then, automatically, $A$ is a flat $k$-algebra. That is the only general hypothesis that works for all $A$ simultaneously of which I am aware.

Edit. I meant to add the words "of which I am aware" in my original answer (but I got distracted by something else). I added them now.

Second edit. In the comments below, the OP clarifies that he wants a counterexample where, not only is $A$ not isomorphic to a $k$-subalgebra of $K$, indeed $A$ is not isomorphic to a subring of $K$ (ignoring the $k$-algebra structure). Of course there are equally simple examples of this: let $k$ be $\mathbb{Z}$, and let $A$ be $\mathbb{Z}/2\mathbb{Z}$.

Third edit. The OP has changed his question. Let $k$ be $\mathbb{Z}$. Let $A$ be the product ring, $(\mathbb{Z}[1/2])\times (\mathbb{Z}/2\mathbb{Z})$, with its unique structure of $\mathbb{Z}$-algebra, i.e., $$A=k[x,y]/\langle 2x+y-1,xy,2y\rangle.$$ Of course the unique ring homomorphism, $$\mathbb{Z}\to (\mathbb{Z}[1/2])\times (\mathbb{Z}/2\mathbb{Z}),$$ is injective. Distributing out the tensor product, and using that $\mathbb{Z}[1/2]\otimes (\mathbb{Z}/2\mathbb{Z})$ is zero, the multiplication homomorphism for $A$ is an isomorphism. Yet $A$ contains nonzero zerodivisors, hence it is not isomorphic to a subring of $\mathbb{Q}$.

Jason Starr
  • 4,091
  • I guess algebras are meant to be augmented, which would exclude this kind of counterexamples. – user43326 Jan 25 '14 at 17:54
  • @user43326: "I guess algebras are meant to be augmented ..." That is certainly possible, but that would also rule out most examples where $A$ is a subalgebra of the fraction field $K$. So I am not certain that is what the OP meant. Perhaps the OP wanted $k$ to be a subalgebra of $A$. – Jason Starr Jan 25 '14 at 18:37
  • $k$ is a Pr"ufer domain iff every $k$-torsion-free $k$-module is flat, so that is a more general hypothesis that guarantees it for all $k$-subalgebras of $K$. – Jesse Elliott Jan 25 '14 at 22:38
  • And, yes, I would like an example where the map $k \longrightarrow A$ is injective, which abx in his or her answer claims exists. – Jesse Elliott Jan 25 '14 at 23:29
  • I'm confused, probably about something silly. In your first example, isn't $A \cong \mathbb C$? So then $A$ is isomorphic to a subring of $K$? – Peter Samuelson Jan 25 '14 at 23:35
  • Agreed. I don't think it's a counterexample. – Jesse Elliott Jan 25 '14 at 23:42
  • @PeterSamuelson: That comment is silly. You can make an example out of any integral domain, say $k=\mathbb{Z}$, and any ideal, say $I=2\mathbb{Z}$, with $A=k/I$. I chose to use $\mathbb{C}[t]$ since I assumed that would be a more familiar ring with which to illustrate the problem. – Jason Starr Jan 26 '14 at 00:10
  • Jason, let me clarify. I want an example where $k \longrightarrow A$ is injective. – Jesse Elliott Jan 26 '14 at 00:20
4

I think the missing word is flat : $A$ should be a flat finitely presented $k$-algebra. Indeed put $Y=\mathrm{Spec}\,k$ and $X=\mathrm{Spec}\,A$. The condition on $A/k$ is that the diagonal morphism $X\rightarrow X\times _YX$ is an isomorphism. This means exactly that $f:X\rightarrow Y$ is unramified and universally injective ("radiciel"). If we add that $f$ is flat, then it is an open embedding (EGA IV, 17.9), which means $A\subset K$.

It is easy to give conter-examples if for instance we ask only for $k\rightarrow A$ to be injective.

abx
  • 37,143
  • 3
  • 82
  • 142
  • That makes sense to me. – Jason Starr Jan 25 '14 at 20:30
  • Flatness is sufficient for the given conclusion, but is it necessary? And what is a counterexample when $k \longrightarrow A$ is injective? – Jesse Elliott Jan 25 '14 at 23:23
  • "Which means $A\subset K$": yes assuming e.g. that $k$ is a domain and $A\neq0$. In fact, the zero algebra is a counterexample to many claims. Also, "finitely presented" is irrelevant, I think. – Laurent Moret-Bailly Jan 26 '14 at 00:07
  • Please add $A \neq 0$ to my assumptions. – Jesse Elliott Jan 26 '14 at 00:13
  • @JesseElliot: "Please add $A\neq 0$ to my assumptions." Why don't you add that to your assumptions, yourself? In fact, I suggest that you just accept one of the two correct answers. If you want to ask another question, you can always do that. – Jason Starr Jan 26 '14 at 00:18
  • I added the assumption that $k \longrightarrow A$ be injective, which gets rid of some easy counterexamples, including the $\mathbb{Z}/2\mathbb{Z}$ example. – Jesse Elliott Jan 26 '14 at 00:24
  • @JesseElliott: No, that does not get rid of those types of counterexamples -- please see my third edit. – Jason Starr Jan 26 '14 at 01:14
  • Ok, thanks. Now I see why flatness might need to be assumed. – Jesse Elliott Jan 26 '14 at 01:42
  • I found this reference, which shows that $A \otimes_k A \longrightarrow A$ is an isomorphism if and only if $k \longrightarrow A$ is an epimorphism of rings. http://mathoverflow.net/questions/56591/what-are-the-monomorphisms-in-the-category-of-schemes So the question reduces to that of epimorphisms. Also found this: http://mathoverflow.net/questions/109/what-do-epimorphisms-of-commutative-rings-look-like – Jesse Elliott Jan 26 '14 at 04:27