---
title: 'Ideal Class Monoid: Structure & Computation'
url: https://www.emergentmind.com/topics/ideal-class-monoid
type: topic
---

# Ideal Class Monoid: Structure & Computation

Searching arXiv for recent and foundational papers on ideal class monoids and closely related formulations.
The ideal class monoid is the quotient of fractional ideals by principal ideals in contexts where ideal multiplication still makes sense but ideal inversion may fail. For an order \(R\) with total quotient ring \(K\), it may be written as the set of isomorphism classes of fractional \(R\)-ideals under scaling by \(K^\times\); its unit group is the class group of invertible ideals, while its non-units record the presence of non-invertible fractional ideals and, therefore, the failure of Dedekind behavior [2601.13184][1805.09671][2509.22386]. In current literature the notion appears in local function-field arithmetic, in the arithmetic of non-maximal orders in number fields, in the class semigroup of infinite integral extensions of Dedekind domains, and in combinatorial settings such as numerical semigroups [2601.13184][1804.06292][2412.07281].

## 1. General definition and algebraic structure

For an order \(R\), the ideal class monoid is the set of fractional \(R\)-ideals modulo principal ideals, with multiplication induced by ideal multiplication [2601.13184]. In the language of orders in finite products of number fields, one writes
\[
\mathrm{ICM}(R)=\mathcal{I}(R)/\mathcal{P}(R),
\]
where \(\mathcal{I}(R)\) is the monoid of fractional \(R\)-ideals and \(\mathcal{P}(R)\) is the set of principal fractional ideals \(\alpha R\) with \(\alpha\in K^\times\) [1805.09671]. In the number-field literature the notation \(\overline{\mathrm{Cl}(R)}\) is also used for the monoid of equivalence classes of all fractional \(R\)-ideals modulo multiplication by \(E^\times\), while \(\mathrm{Cl}(R)\) denotes the subgroup of classes of invertible fractional ideals [2509.22386].

The distinction between monoid and group is fundamental. In a Dedekind domain every nonzero ideal is invertible, so the quotient by principal ideals is a group. For a non-maximal order, non-invertible fractional ideals generally occur, and the quotient is only a commutative monoid [2601.13184]. The subgroup of units of this monoid is precisely the Picard group, or ideal class group of invertible ideals [1805.09671][2509.22386].

A central organizing device is the multiplicator ring
\[
(I:I)=\{x\in K\mid xI\subset I\}.
\]
For a fractional ideal \(I\), this is an overorder of \(R\), and it is the largest overorder over which \(I\) is again a fractional ideal [2601.13184][1805.09671]. This yields a decomposition of the ideal class monoid into strata indexed by overorders. In the notation of the local function-field setting,
\[
\operatorname{ICM}_{S}(R_{\mathfrak p})
=
\{\{I\}\in \operatorname{ICM}(R_{\mathfrak p})\mid (I:I)=S\},
\]
and
\[
\operatorname{ICM}(R_{\mathfrak p})
=
\bigsqcup_{\tilde S}\operatorname{ICM}_{\tilde S}(R_{\mathfrak p}),
\]
with the union over all overorders \(\tilde S\) of \(R_{\mathfrak p}\) [2601.13184]. In the global number-field setting the same principle appears as a stratification of \(\overline{\mathrm{Cl}(R)}\) by overorders and of the orbit set \(\mathrm{Cl}(R)\backslash \overline{\mathrm{Cl}(R)}\) by the same data [2509.22386][2607.07063].

## 2. Local orders in the function-field setting

A particularly explicit formulation occurs in the function-field setting of \(A=\mathbb{F}_q[T]\), with \(\mathfrak p\subset A\) a nonzero prime ideal, \(f(x)\in A[x]\) irreducible of degree \(r\), and
\[
R=A[x]/(f),\qquad K=\mathrm{Frac}(R).
\]
The local problem is posed at the \(\mathfrak p\)-adic completion \(R_{\mathfrak p}\) [2601.13184]. If \(\mathfrak p_1,\dots,\mathfrak p_k\) are the primes of \(R\) above \(\mathfrak p\), then
\[
R_{\mathfrak p}\cong R_{\mathfrak p_1}\times\cdots\times R_{\mathfrak p_k},
\]
and each factor \(R_{\mathfrak p_i}\) is a complete local ring [2601.13184].

In this setting, a fractional \(R_{\mathfrak p}\)-ideal is a nonzero finitely generated \(R_{\mathfrak p}\)-submodule of
\[
K_{\mathfrak p}:=K\otimes_A A_{\mathfrak p}
\]
that becomes an ordinary ideal after multiplication by some nonzero element [2601.13184]. The local ideal class monoid is then
\[
\operatorname{ICM}(R_{\mathfrak p})
=
\{\text{fractional }R_{\mathfrak p}\text{-ideals}\}/\{\text{principal }R_{\mathfrak p}\text{-ideals}\},
\]
with multiplication
\[
\{I\}\cdot\{J\}=\{IJ\}.
\]
Because \(R_{\mathfrak p}\) is generally a non-maximal order, non-invertible fractional ideals may occur, so this quotient is a commutative monoid rather than a group [2601.13184].

The local order \(R_{\mathfrak p}\) is studied because several arithmetic counting problems factor over primes. The paper "Calculating The Local Ideal Class Monoid and Gekeler Ratios" [2601.13184] states that \(R_{\mathfrak p}\) captures the local endomorphism structure relevant to counting matrices with prescribed characteristic polynomial and to computing weighted sizes of isogeny classes of Drinfeld modules. This makes the local ideal class monoid a local parameter space for rank-one module structures over \(R_{\mathfrak p}\) [2601.13184].

## 3. Overorders, weak equivalence, and the local decomposition

The local structure of \(\operatorname{ICM}(R_{\mathfrak p})\) is controlled by overorders and by weak equivalence classes. An overorder \(\tilde S\) of \(R_{\mathfrak p}\) is an intermediate ring
\[
R_{\mathfrak p}\subset \tilde S\subset K_{\mathfrak p}
\]
that is finite over \(A_{\mathfrak p}\) [2601.13184]. Every multiplicator ring \((I:I)\) of a fractional \(R_{\mathfrak p}\)-ideal is such an overorder.

Weak equivalence is the local relation that identifies ideals differing by invertible ideal multiplication inside a common multiplicator ring. For fractional \(R_{\mathfrak p}\)-ideals \(I\) and \(J\), the following are equivalent [2601.13184]:
\[
I_{\mathfrak p_i}=xJ_{\mathfrak p_i}\ \text{for all }i\text{ and some }x\in K_{\mathfrak p_i},
\]
\[
1\in (I:J)(J:I),
\]
and
\[
(I:I)=(J:J)=S\ \text{for some overorder }S,\ \text{with }I=LJ
\]
for some invertible fractional \(S\)-ideal \(L\). When these conditions hold one writes \(I\sim J\), and the set of weak equivalence classes with fixed multiplicator ring \(S_{\mathfrak p}\) is denoted
\[
W_{S_{\mathfrak p}}(R_{\mathfrak p}).
\]

A decisive simplification occurs locally: the Picard group of \(R_{\mathfrak p}\) is trivial,
\[
\operatorname{Pic}(R_{\mathfrak p})=1,
\]
because
\[
R_{\mathfrak p}\cong \prod_i R_{\mathfrak p_i}
\]
and each factor \(R_{\mathfrak p_i}\) is local, so every invertible ideal is principal [2601.13184]. Consequently, for every local overorder \(\tilde S\),
\[
\operatorname{ICM}_{\tilde S}(R_{\mathfrak p})\cong W_{\tilde S}(R_{\mathfrak p}),
\]
and therefore
\[
\operatorname{ICM}(R_{\mathfrak p})
=
\bigsqcup_{\tilde S} W_{\tilde S}(R_{\mathfrak p}).
\]
This identifies the local ideal class monoid with the disjoint union of local weak equivalence classes [2601.13184].

A useful extreme case is that of a regular prime. If every local factor \(R_{\mathfrak p_i}\) is a discrete valuation ring, then every ideal is principal and \(\operatorname{ICM}(R_{\mathfrak p})\) is trivial [2601.13184]. This shows that the nontriviality of the ideal class monoid is concentrated at primes where the local order fails to be DVR-like.

## 4. Computation of the local ideal class monoid

The paper [2601.13184] proves that \(\operatorname{ICM}(R_{\mathfrak p})\) is effectively computable when \(f\in A[x]\) is irreducible and \(R=A[x]/(f)\). The algorithm is organized around a local-to-global reduction.

First, one computes global \(\mathfrak p\)-overorders \(S\) of \(R\), then passes to the corresponding local overorders \(S_{\mathfrak p}\). The key structural statements are two bijections: the map from global \(\mathfrak p\)-overorders of \(R\) to \(A_{(\mathfrak p)}\)-overorders of \(R_{(\mathfrak p)}\), and the bijection between overorders of \(R_{(\mathfrak p)}\) and overorders of \(R_{\mathfrak p}\) obtained by completion and intersection with \(K\) [2601.13184]. In the language of orders in étale \(\mathbb{Q}\)-algebras, overorders are also precisely the idempotent fractional ideals, so enumeration of overorders is already a central step in the global computation of an order’s ideal class monoid [1805.09671].

Second, for each global overorder \(S\), one computes the set \(W_S(R)\) of global weak equivalence classes of fractional \(R\)-ideals with multiplicator ring \(S\). The paper states that this uses algorithms developed in earlier work, with a modification in the inseparable case regarding a lemma on trace forms, while the overall algorithm remains valid [2601.13184].

Third, one identifies which global weak equivalence classes merge after localization and completion. The decisive criterion is
\[
I_{(\mathfrak p)}\sim J_{(\mathfrak p)}
\Longleftrightarrow
\bigl((I:J)(J:I)\bigr)\cap \bigl(R\setminus[\mathfrak p_1\cup\cdots\cup \mathfrak p_k]\bigr)\neq \emptyset,
\]
together with the equivalence
\[
I_{\mathfrak p}\sim J_{\mathfrak p}
\Longleftrightarrow
I_{(\mathfrak p)}\sim J_{(\mathfrak p)}.
\]
The map
\[
\theta:W_S(R)\to W_{S_{\mathfrak p}}(R_{\mathfrak p}),\qquad [I]\mapsto [I_{\mathfrak p}]
\]
is well-defined and surjective [2601.13184].

The resulting procedure is summarized in four steps [2601.13184]:
1. Compute global \(\mathfrak p\)-overorders \(S\) of \(R\), then the corresponding local overorders \(S_{\mathfrak p}\).
2. Compute the global weak equivalence classes \(W_S(R)\).
3. Determine which global classes merge into each local \(W_{S_{\mathfrak p}}(R_{\mathfrak p})\).
4. Take the disjoint union of the local weak equivalence classes; this is \(\operatorname{ICM}(R_{\mathfrak p})\).

This algorithm extends the older computational focus on invertible classes to the genuinely monoidal setting that includes non-invertible ideals [1805.09671].

## 5. Local densities, Gekeler ratios, and Drinfeld modules

In the function-field application of [2601.13184], the local ideal class monoid feeds into the local Gekeler ratio
\[
v_{\mathfrak p}(f)
=
\lim_{n\to\infty}
\frac{\bigl|\{M\in \operatorname{Mat}_r(A/\mathfrak p^n)\mid \operatorname{charpoly}(M)=f\}\bigr|}
{|\operatorname{SL}_r(A/\mathfrak p^n)|/|\mathfrak p|^{n(r-1)}}.
\]
This is a normalized local density for matrices over \(A/\mathfrak p^n\) with characteristic polynomial \(f\) [2601.13184].

The connection with \(\operatorname{ICM}(R_{\mathfrak p})\) is structural. Local conjugacy classes of matrices with characteristic polynomial \(f\) correspond to isomorphism classes of \(R_{\mathfrak p}\)-modules of rank \(1\) over \(A_{\mathfrak p}\), or equivalently to fractional \(R_{\mathfrak p}\)-ideals up to isomorphism [2601.13184]. Different local ideal classes contribute with different automorphism-group sizes, and the decomposition by overorders stratifies the local counting problem according to local endomorphism structure [2601.13184].

The global object is the product
\[
\prod_{\mathfrak p\subset A} v_{\mathfrak p}(f),
\]
which the paper uses as part of an algorithm to compute the weighted size of an isogeny class of Drinfeld modules [2601.13184]. In that interpretation:
- local orders \(R_{\mathfrak p}\) describe local endomorphism behavior,
- \(\operatorname{ICM}(R_{\mathfrak p})\) parametrizes local rank-one module structures,
- the local Gekeler ratios encode the weighted contribution of these local structures to the global count [2601.13184].

A frequent misconception is that the triviality of the local Picard group should force the local ideal class monoid to be trivial. The local theory shows the opposite: \(\operatorname{Pic}(R_{\mathfrak p})=1\) eliminates only invertible ambiguity, while non-invertible ideals survive as distinct weak equivalence classes and can make \(\operatorname{ICM}(R_{\mathfrak p})\) highly nontrivial [2601.13184].

## 6. Broader variants and related theories

The phrase “ideal class monoid” is also used in several adjacent frameworks. For orders in number fields, \(\overline{\mathrm{Cl}(R)}\) denotes the monoid of classes of all fractional ideals modulo scaling by \(E^\times\). Recent work gives an upper bound for \(\#\overline{\mathrm{Cl}(R)}\) in terms of the class number of \(E\) and local orbital integrals for \(\mathfrak{gl}_n\), and for Gorenstein cubic orders it gives a closed Euler product formula for the cardinality of the genus set
\[
\mathrm{Cl}(R)\backslash \overline{\mathrm{Cl}(R)},
\]
with local factors coming from an explicit classification of local cubic overorders [2509.22386][2607.07063]. In the same cubic setting, that formula yields the exact number of \(\mathrm{Cl}(R)\)-equivalence classes of integral \(\mathrm{GL}_2(\mathbb Z)\times\mathrm{SL}_3(\mathbb Z)\times\mathrm{SL}_3(\mathbb Z)\)-orbits whose associated cubic ring is a prescribed Gorenstein order \(R\) [2607.07063].

In the theory of infinite integral extensions of Dedekind domains, the class object becomes a class semigroup
\[
\mathrm{Cl}(S)=F(S)/P(S),
\]
where \(F(S)\) is the monoid of fractional ideals and \(P(S)\) the principal fractional ideals. For one-dimensional normal domains arising from infinite integral extensions, fractional ideals admit a description by bounded, compactly supported, upper \(R\)-semicontinuous functions on \(\mathrm{m\text{-}Spec}(S)\), and the class semigroup is analyzed through this function-theoretic model [1804.06292]. This shows that the transition from class group to class monoid is not limited to non-maximal orders; it also arises in non-Noetherian normal domains.

In numerical semigroup theory, the ideal class monoid \(\mathcal{C}\ell(S)\) is the quotient of ideals by translation. It is isomorphic to the monoid of ideals with smallest element \(0\), and its structure is controlled by Apéry sets and Kunz coordinates [2302.09647]. Its poset is a lattice precisely when the multiplicity is at most \(4\), and irreducibility of the numerical semigroup is equivalent to the ideal class monoid having at most two quarks [2412.07281]. This is a genuinely combinatorial incarnation of the same idea: one keeps a monoidal quotient even though invertibility is absent.

At a more abstract level, ideal systems on cancellative monoids produce a monoid \(I_r^*(H)\) of \(r\)-invertible \(r\)-ideals and a corresponding class group
\[
C_r(H)=q(I_r^*(H))/q(H^\times_{\mathrm{prin}}),
\]
so radical factorization and \(r\)-almost Dedekind conditions can be expressed directly in the arithmetic of ideal monoids [1903.09237]. This suggests that the ideal class monoid is best viewed not as a single specialized construction, but as a general mechanism for retaining multiplicative ideal theory after group structure has broken down.

Source: https://www.emergentmind.com/topics/ideal-class-monoid