An upper bound for the size of the ideal class monoid
Abstract
The ideal class monoid for an order in a finite field extension of a number field, denoted by , is a fundamental object to study in number theory which has useful applications in algebraic geometry and topology. In this paper, we describe an upper bound for , in terms of the class number of and (local) orbital integrals for . We also describe an upper bound for the class number of in terms of the Minkowski bound. When or when is a Bass order, we refine our upper bound, using a known formula for local orbital integrals in the authors' previous work. In particular, if with which arises in a study of Cappell-Shaneson homotopy 4-spheres in topology, then we further refine our upper bound in terms of the discriminants of and , which is , when .
Keywords
Cite
@article{arxiv.2509.22386,
title = {An upper bound for the size of the ideal class monoid},
author = {Sungmun Cho and Jungtaek Hong and Yuchan Lee},
journal= {arXiv preprint arXiv:2509.22386},
year = {2025}
}