In this paper we define the notions of semilocal algebra and of maximalalgebra. We prove that any maximal algebra of an arithmetical variety issemilocal. The main result shows that an algebra of an arithmatical varietyis semisimple and maximal iff it is isomorphic to a finite product of simplealgebras.