{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T22:39:58Z","timestamp":1776724798384,"version":"3.51.2"},"reference-count":4,"publisher":"American Mathematical Society (AMS)","issue":"225","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Comp."],"abstract":"

\n Let\n \n \n \n \n O<\/mml:mi>\n <\/mml:mrow>\n \\mathcal O<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n be an order of an algebraic number field. It was shown by Ge that given a factorization of an\n \n \n \n \n O<\/mml:mi>\n <\/mml:mrow>\n \\mathcal O<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n -ideal\n \n \n \n \n a<\/mml:mi>\n <\/mml:mrow>\n \\mathfrak {a}<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n into a product of\n \n \n \n \n O<\/mml:mi>\n <\/mml:mrow>\n \\mathcal O<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n -ideals it is possible to compute in polynomial time an overorder\n \n \n \n \n \n O<\/mml:mi>\n <\/mml:mrow>\n \u2032<\/mml:mo>\n <\/mml:msup>\n \\mathcal O\u2019<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n of\n \n \n \n \n O<\/mml:mi>\n <\/mml:mrow>\n \\mathcal O<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n and a\n gcd-free<\/italic>\n refinement of the input factorization; i.e., a factorization of\n \n \n \n \n \n a<\/mml:mi>\n <\/mml:mrow>\n \n \n O<\/mml:mi>\n <\/mml:mrow>\n \u2032<\/mml:mo>\n <\/mml:msup>\n <\/mml:mrow>\n \\mathfrak {a}\\mathcal O\u2019<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n into a power product of\n \n \n \n \n \n O<\/mml:mi>\n <\/mml:mrow>\n \u2032<\/mml:mo>\n <\/mml:msup>\n \\mathcal O\u2019<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n -ideals such that the bases of that power product are all invertible and pairwise coprime and the extensions of the factors of the input factorization are products of the bases of the output factorization. In this paper we prove that the order\n \n \n \n \n \n O<\/mml:mi>\n <\/mml:mrow>\n \u2032<\/mml:mo>\n <\/mml:msup>\n \\mathcal O\u2019<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n is the smallest overorder of\n \n \n \n \n O<\/mml:mi>\n <\/mml:mrow>\n \\mathcal O<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n in which such a gcd-free refinement of the input factorization exists. We also introduce a partial ordering on the gcd-free factorizations and prove that the factorization which is computed by Ge\u2019s algorithm is the smallest gcd-free refinement of the input factorization with respect to this partial ordering.\n <\/p>","DOI":"10.1090\/s0025-5718-99-01023-6","type":"journal-article","created":{"date-parts":[[2002,7,26]],"date-time":"2002-07-26T18:13:45Z","timestamp":1027707225000},"page":"345-350","source":"Crossref","is-referenced-by-count":3,"title":["On factor refinement in number fields"],"prefix":"10.1090","volume":"68","author":[{"given":"Johannes","family":"Buchmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Friedrich","family":"Eisenbrand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"14","published-online":{"date-parts":[[1999]]},"reference":[{"issue":"2","key":"1","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1006\/jagm.1993.1038","article-title":"Factor refinement","volume":"15","author":"Bach, Eric","year":"1993","journal-title":"J. Algorithms","ISSN":"https:\/\/id.crossref.org\/issn\/0196-6774","issn-type":"print"},{"key":"2","unstructured":"[Ge93] Guoqiang Ge, Algorithms related to multiplicative representations of algebraic numbers, PhD thesis, U.C. Berkeley, 1993."},{"issue":"207","key":"3","doi-asserted-by":"publisher","first-page":"377","DOI":"10.2307\/2153582","article-title":"Recognizing units in number fields","volume":"63","author":"Ge, Guoqiang","year":"1994","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"key":"4","doi-asserted-by":"publisher","first-page":"771","DOI":"10.2307\/2371335","article-title":"Infinite number fields with Noether ideal theories","volume":"61","author":"MacLane, Saunders","year":"1939","journal-title":"Amer. J. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0002-9327","issn-type":"print"}],"container-title":["Mathematics of Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.ams.org\/mcom\/1999-68-225\/S0025-5718-99-01023-6\/S0025-5718-99-01023-6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/www.ams.org\/mcom\/1999-68-225\/S0025-5718-99-01023-6\/S0025-5718-99-01023-6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T21:58:07Z","timestamp":1776722287000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ams.org\/mcom\/1999-68-225\/S0025-5718-99-01023-6\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"references-count":4,"journal-issue":{"issue":"225","published-print":{"date-parts":[[1999,1]]}},"alternative-id":["S0025-5718-99-01023-6"],"URL":"https:\/\/doi.org\/10.1090\/s0025-5718-99-01023-6","archive":["CLOCKSS","Portico"],"relation":{},"ISSN":["1088-6842","0025-5718"],"issn-type":[{"value":"1088-6842","type":"electronic"},{"value":"0025-5718","type":"print"}],"subject":[],"published":{"date-parts":[[1999]]}}}