A new characterization of arithmetical categories and Pixley's theorem

RESUMO

We characterize the arithmetical categories - the exact Mal'tsev categories whose lattices of congruences are distributive - by a simple condition on some suitable pushouts and a finite limit: a regular category is exact arithmetical if and only if, for every triple of regular epimorphisms with common domain, the pairwise pushouts exist and the comparison morphism to the limit of the diagram they form is a regular epimorphism. For a regular category, the validity of this condition for pairs and for triples is equivalent to its validity for $n$-tuples for all $n \ge 2$, and characterizes arithmetical categories among regular ones. For pairs alone the condition reduces to the characterization of exact Mal'tsev categories among regular ones, due to Carboni, Kelly and Pedicchio. For $n$-tuples with $n \ge 4$ nothing further is obtained: arithmeticity is the third and last rung of that ladder. The proof rests on a categorical form of the Chinese Remainder Theorem; in the exact Mal'tsev context this form of the theorem lies close to results of Hoefnagel on majority categories. As a direct application, we give a new proof of Pixley's characterization of arithmetical varieties using a suitable diagram of free algebras.