Artinian ring
が取れるからアルティンではない。実はホプキンス・レヴィツキの定理により任意のアルティン環はネーターになる。