 Quotient of a finite product of fields

A quotient ring of a finite direct product of rings whose factors are fields is a product of a subset of those factors. By ideals of a finite product of rings, write $J={\prod }_j{J}_j$. Since a field has only the zero ideal and the whole field as ideals, every $J_j$ is one of these. The ring homomorphism $(x_j)\mapsto (x_j+J_j)$ is surjective with kernel of a ring homomorphism $J$, so the first isomorphism theorem for rings gives $({\prod }_j{K}_j)/J\cong {\prod }_j(K_j/J_j)$. Discard the zero ring factors. If no factors survive, the result is the zero ring.