# Answer on Abstract Algebra Question for sanches

Question #22759

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.

Expert's answer

For instance, the 2-dimensionalnoetherian domain

ideals: (

*R*= Z[[*x*]] is not*J*-semisimple by factthat J(R)=J(Z)+xZ[[x]] = xZ[[x]] – nonzero, but has infinitely many maximalideals: (

*p, x*) for*p*= 2*,*3*,*5*, . . . .*Need a fast expert's response?

Submit orderand get a quick answer at the best price

for any assignment or question with DETAILED EXPLANATIONS!

## Comments

## Leave a comment