同じことであるが、formula_5が半単純とは、ゼロでない可換イデアルを持たないときを言う。