# Any Artinian ring is direct product of its localizations at the maximal ideals

Let $A$ be an Artinian ring. It's very well known that the spectrum of $A$ is finite and discrete, i.e., $\mathsf{Spec} \: A=\lbrace\mathfrak{m}_1,\ldots,\mathfrak{m}_n\rbrace$, where the $\mathfrak{m}_i$'s are the maximal ideals of $A$.

I want to prove that $$A\simeq\bigoplus_{i=1}^nA_{\mathfrak{m}_i}.$$ Are there any suggestions or references?

This is immediate from basic scheme theory, specifically the theorem that the ring of global sections of the structure sheaf on $\operatorname{Spec} A$ is naturally isomorphic to $A$. Let $X=\operatorname{Spec} A$ and $\mathcal{O}_X$ be its structure sheaf. Since $X$ is discrete, $X=\{\mathfrak{m}_1\}\cup\dots\cup\{\mathfrak{m}_n\}$ is an open cover by disjoint open sets and so the gluing axiom says that $\mathcal{O}_X(X)\cong\prod_i \mathcal{O}_X(\{\mathfrak{m}_i\})$ via the restriction maps. But $\mathcal{O}_X(\{\mathfrak{m}_i\})$ is exactly the localization $A_\mathfrak{m_i}$, so $A\cong \mathcal{O}_X(X)\cong\prod_i A_{\mathfrak{m}_i}$.