Disconnected reduced spectrum product decomposition

ID: disconnected-reduced-spectrum-product-decomposition

For a reduced ring with a nonempty disconnected spectrum of a commutative ring, choose a separation . Disjointness gives ; covering the spectrum gives . For comaximal ideals, . The Chinese remainder theorem then supplies a product of two nonzero quotient rings. Equivalently, if with , , then are nontrivial orthogonal idempotents. This connects topology of the spectrum to ring product decomposition by an idempotent without a Noetherian assumption.

New to topics? Read the docs here!