Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $A$ be a commutative ring.

Then the following assertions are equivalent.

  1. $A$ is a field;
  2. $A[x]$ is a Euclidean domain;
  3. $A[x]$ is a principal ideal domain;
  4. $A[x]$ is a unique factorization domain of dimension 1;
  5. $A[x]$ is an integral domain of dimension $1$.

The implication 1->2 is well-known. 2->3->4->5 are also standard.

The only difficulty might be 5->1. I thought of the following incomplete argument.

Firstly, one can show that $\dim A[x] = \dim A +1$. Therefore, $\dim A = 0$. Since $A[x]$ is an integral domain, it follows that $A$ is a zero-dimensional integral domain. Thus, we conclude that $A$ is a field.

I have two problems with this argument.

Firstly, I can't seem to prove in an easy way that $\dim A[x] = \dim A +1$. Does somebody have an easy argument?

Secondly, I don't like the dimension argument. Is there an easier argument not relying on Krull dimensions?

share|improve this question
    
If $A$ is not a field, we can find a non-zero maximal ideal $I$ of $A$. Then the ideal $J$ generated by $I$ and $x$ in $A[x]$ is not all of $A[x]$, and is prime since the quotient $A[x]/J$ is isomorphic to the field $A/I$. The ideal $(x) \subset A[x]$ is also prime since $A[x]/(x) \cong A$, which is a domain. So, $0\subset (x) \subset J$ is a chain of prime ideals of length 3 in $A[x]$, whence $\dim A[x] \geq 2$. –  user15464 Apr 1 '12 at 13:26

1 Answer 1

up vote 4 down vote accepted

The ideal generated by $x$ is prime. Since the dimension of the ring is one and $0 \subset (x)$ is a chain of prime ideals of length one and since each prime ideal is contained in some maximal ideal, it follows that $(x)$ is maximal (since $\dim A[x] = 1$). But $A = A[x]/(x)$, so it is a field.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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