アルティン環
Semisimple Artinian ring