Ring product decomposition by an idempotent
ID: ring-product-decomposition-by-an-idempotent
A commutative ring has a nontrivial idempotent exactly when it decomposes as a product of two nontrivial rings. The isomorphism determined by iswith inverse .
New to topics? Read the docs here!