The maximal ideals of a finite product of fields `∏ Lᵢ` are exactly the kernels of the projections, and distinct projections have distinct kernels.

Initializing...

The maximal ideals of a finite product of fields `∏ Lᵢ` are exactly the kernels of the projections, and distinct projections have distinct kernels. · Prove2Me