# Jacobson local ring that is not Artinian

I am studying commutative algebra at the moment, so all rings are assumed commutative (and unital).

Does there exist a Jacobson local ring $\newcommand{\mfm}{\mathfrak{m}}(A, \mfm)$ that is not an Artinian ring?

For the context I've been studying in, Jacobson rings are defined as rings where all prime ideals are intersections of maximal ideals. A local ring is a ring containing exactly one maximal ideal.

I have come across the result that a ring is Artinian if and only if it is Noetherian and every prime ideal is maximal. Since $A$ is Jacobson, we can deduce that $\mfm$ is the unique prime ideal of $A$, so in particular every prime ideal of $A$ is maximal. My question should then be equivalent to finding a Jacobson local ring that is not Noetherian.

• Is your question "is there a local ring that is not Artinian" (as in the body of the question) or "is there a Jacobson local ring that is not Artinian" (as in the title)? – Lord Shark the Unknown May 14 '18 at 2:17
• Sorry, missed the word in the body. Fixed. – Mike Ho May 14 '18 at 2:24

Let $I = (x_ix_j ~|~ i,j \in \mathbb N) \subset \mathbb Q[x_0,x_1,x_2, \dotsc] =: R$. Then $R/I$ is Jacobson and local because every prime ideal contains $x_i^2$ thus contains $x_i$, i.e. is equal to the maximal ideal $(x_0,x_1, x_2, \dotsc)$.
• Amazing! This is the first time I have seen a local ring that did not come out of localising at a prime. For sake of generalisation, this means that if a ring $A$ has maximal ideal $\mfm$, then for every $k \in \mathbb{N}$ we should have that $A/\mfm^k$ is Jacobson and local (with unique prime/maximal ideal $\mfm/\mfm^k$), so as long as $\mfm$ is not finitely generated as an ideal then we have a counterexample. – Mike Ho May 14 '18 at 6:36
• Yes, but note that in general there are cases, where $A/\mathfrak m^k$ is noetherian, although $A$ was not. – MooS May 14 '18 at 6:51