Lemma 10.159.11. A Noetherian domain whose fraction field has characteristic zero is N-1 if and only if it is N-2 (i.e., Japanese).

Proof. This is clear from Lemma 10.159.8 since every field extension in characteristic zero is separable. $\square$

Comment #4965 by Rankeya on

When you say a "Noetherian domain of characteristic 0" do you mean the domain contains the rationals or that its fraction field has characteristic 0? I think this result holds as long as the fraction field of the domain has characteristic 0, so may be it is good to specify this in the statement?

There are also:

• 3 comment(s) on Section 10.159: Japanese rings

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).