積零環
可換擬環 A のイデアル I が極大であるための必要十分条件は、A の I による剰余擬環が、体となるか、または素数位数の巡回加法群上の積零環となることである。