アルティン環
半単純環はアルティン環かつネーター環である。上記の性質から、環が半単純であることとアルティン環でありジャコブソン根基が 0 であることは同値である。