Let $K$ be a field and $A$ a finitely generated $K$-algebra (here, $A$ is also commutative and has a unit).

I'm trying to prove the well-known result that $A$ is a domain if and only if $A$ is a field.

I don't know how to prove that and I'm confused by this example: if $A=K[xy]$, we have that $A\subset K[x,y]$, so it is a finitely generated $K$-algebra. It is clearly a domain, but it is not a field, since $xy$ has no inverse.

What am I missing?

  • 5
    $\begingroup$ Your statement is wrong! The correct statement is if $A$ is a $K$-algebra which is a finite dimensional vector space over $K$, then it is a domain if and only if it is a field. There are other variations of course. $\endgroup$ – Mohan May 9 '17 at 15:01
  • 1
    $\begingroup$ Furthermore your example is flawed. Of course your $A$ is finitely generated but your reasoning fails...Subrings of polynomial rings are not necessarily finitely generated again. $\endgroup$ – MooS May 9 '17 at 15:12
  • $\begingroup$ @MooS I've just realized that this reasoning is wrong in deed. $\endgroup$ – rmdmc89 May 9 '17 at 15:20
  • 1
    $\begingroup$ Flawed reasoning aside, it was a little overcomplicated considering that $K[x]$ is already a finitely generated algebra that is a counterexample. $\endgroup$ – rschwieb May 9 '17 at 16:37
  • $\begingroup$ If you want to stick with finitely generated algebras you can prove that if $A$ is a field then $A$ is a finite extension of $K$. $\endgroup$ – JJR May 10 '17 at 1:11

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.