Artinian ring
環が半単純であるためには、単純アルティン環の有限個の直積環と同型であることが必要十分である。