References & Citations
Mathematics > Number Theory
Title: Computing the ideal class monoid of an order
(Submitted on 24 May 2018 (v1), last revised 17 Aug 2020 (this version, v3))
Abstract: There are well known algorithms to compute the class group of the maximal order $\mathcal{O}_K$ of a number field $K$ and the group of invertible ideal classes of a non-maximal order $R$. In this paper we explain how to compute also the isomorphism classes of non-invertible ideals of an order $R$ in a finite product of number fields $K$. In particular we also extend the above-mentioned algorithms to this more general setting. Moreover, we generalize a theorem of Latimer and MacDuffee providing a bijection between the conjugacy classes of integral matrices with given minimal and characteristic polynomials and the isomorphism classes of lattices in certain $\mathbb{Q}$-algebras, which under certain assumptions can be explicitly described in terms of ideal classes.
Submission history
From: Stefano Marseglia [view email][v1] Thu, 24 May 2018 13:49:51 GMT (61kb,D)
[v2] Thu, 21 Jun 2018 14:47:55 GMT (61kb,D)
[v3] Mon, 17 Aug 2020 14:19:24 GMT (61kb,D)
Link back to: arXiv, form interface, contact.