A new characterization of arithmetical categories and Pixley's theorem
Abstract
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 ≥ 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 ≥ 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.
Related
- Exact dg categories II: The embedding theorem
- Elmendorf's Theorem for ∞-categories
- An Ito-Michler type theorem and the prime class graph of weakly integral braided fusion categories
- Cluster Morita theorem for negative cluster categories
- Some arithmetical aspects of the two dimensional Jacobian Conjecture
BibTeX
@misc{gran2026characterization,
title = {{A new characterization of arithmetical categories and Pixley's theorem}},
author = {Marino Gran},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.06248},
eprint = {2609.06248},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.06248},
}
RIS
TY - UNPB
TI - A new characterization of arithmetical categories and Pixley's theorem
AU - Marino Gran
PY - 2026
DA - 2026/09/05
PB - arXiv
DO - 10.48550/arxiv.2609.06248
UR - https://arxiv.org/abs/2609.06248
AB - 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 ≥ 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 ≥ 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.
ER -