Semisimple local ring