Answer to Question #22759 in Abstract Algebra for sanches
Let R be a commutative domain that is not a field. Show that not always R is not J-semisimple implies R is semilocal, if R is a noetherian domain.
For instance, the 2-dimensionalnoetherian domain R = Z[[x]] is not J-semisimple by factthat J(R)=J(Z)+xZ[[x]] = xZ[[x]] – nonzero, but has infinitely many maximal ideals: (p, x) for p = 2, 3, 5, . . . .