{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T23:45:33Z","timestamp":1776728733293,"version":"3.51.2"},"reference-count":16,"publisher":"American Mathematical Society (AMS)","issue":"242","license":[{"start":{"date-parts":[[2003,6,4]],"date-time":"2003-06-04T00:00:00Z","timestamp":1054684800000},"content-version":"am","delay-in-days":365,"URL":"https:\/\/www.ams.org\/publications\/copyright-and-permissions"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Comp."],"abstract":"<p>\n                    We say a tame Galois field extension\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"upper L slash upper K\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:mi>L<\/mml:mi>\n                            <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                              <mml:mo>\/<\/mml:mo>\n                            <\/mml:mrow>\n                            <mml:mi>K<\/mml:mi>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">L\/K<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    with Galois group\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"upper G\">\n                        <mml:semantics>\n                          <mml:mi>G<\/mml:mi>\n                          <mml:annotation encoding=\"application\/x-tex\">G<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    has trivial Galois module structure if the rings of integers have the property that\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"script upper O Subscript upper L\">\n                        <mml:semantics>\n                          <mml:msub>\n                            <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                              <mml:mi class=\"MJX-tex-caligraphic\" mathvariant=\"script\">O<\/mml:mi>\n                            <\/mml:mrow>\n                            <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                              <mml:mi>L<\/mml:mi>\n                            <\/mml:mrow>\n                          <\/mml:msub>\n                          <mml:annotation encoding=\"application\/x-tex\">\\mathcal {O}_{L}<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    is a free\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"script upper O Subscript upper K Baseline left-bracket upper G right-bracket\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:msub>\n                              <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                                <mml:mi class=\"MJX-tex-caligraphic\" mathvariant=\"script\">O<\/mml:mi>\n                              <\/mml:mrow>\n                              <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                                <mml:mi>K<\/mml:mi>\n                              <\/mml:mrow>\n                            <\/mml:msub>\n                            <mml:mo stretchy=\"false\">[<\/mml:mo>\n                            <mml:mi>G<\/mml:mi>\n                            <mml:mo stretchy=\"false\">]<\/mml:mo>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">\\mathcal {O}_{K}[G]<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    -module. The work of Greither, Replogle, Rubin, and Srivastav shows that for each algebraic number field other than the rational numbers there will exist infinitely many primes\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"l\">\n                        <mml:semantics>\n                          <mml:mi>l<\/mml:mi>\n                          <mml:annotation encoding=\"application\/x-tex\">l<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    so that for each there is a tame Galois field extension of degree\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"l\">\n                        <mml:semantics>\n                          <mml:mi>l<\/mml:mi>\n                          <mml:annotation encoding=\"application\/x-tex\">l<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    so that\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"upper L slash upper K\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:mi>L<\/mml:mi>\n                            <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                              <mml:mo>\/<\/mml:mo>\n                            <\/mml:mrow>\n                            <mml:mi>K<\/mml:mi>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">L\/K<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    has nontrivial Galois module structure. However, the proof does not directly yield specific primes\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"l\">\n                        <mml:semantics>\n                          <mml:mi>l<\/mml:mi>\n                          <mml:annotation encoding=\"application\/x-tex\">l<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    for a given algebraic number field\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"upper K period\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:mi>K<\/mml:mi>\n                            <mml:mo>.<\/mml:mo>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">K.<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    For\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"upper K\">\n                        <mml:semantics>\n                          <mml:mi>K<\/mml:mi>\n                          <mml:annotation encoding=\"application\/x-tex\">K<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    any cyclotomic field we find an explicit\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"l\">\n                        <mml:semantics>\n                          <mml:mi>l<\/mml:mi>\n                          <mml:annotation encoding=\"application\/x-tex\">l<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    so that there is a tame degree\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"l\">\n                        <mml:semantics>\n                          <mml:mi>l<\/mml:mi>\n                          <mml:annotation encoding=\"application\/x-tex\">l<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    extension\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"upper L slash upper K\">\n                        <mml:semantics>\n                          <mml:mrow>\n                            <mml:mi>L<\/mml:mi>\n                            <mml:mrow class=\"MJX-TeXAtom-ORD\">\n                              <mml:mo>\/<\/mml:mo>\n                            <\/mml:mrow>\n                            <mml:mi>K<\/mml:mi>\n                          <\/mml:mrow>\n                          <mml:annotation encoding=\"application\/x-tex\">L\/K<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    with nontrivial Galois module structure.\n                  <\/p>","DOI":"10.1090\/s0025-5718-02-01457-6","type":"journal-article","created":{"date-parts":[[2003,2,10]],"date-time":"2003-02-10T11:10:52Z","timestamp":1044875452000},"page":"891-899","source":"Crossref","is-referenced-by-count":4,"title":["Nontrivial Galois module structure of cyclotomic fields"],"prefix":"10.1090","volume":"72","author":[{"given":"Marc","family":"Conrad","sequence":"first","affiliation":[]},{"given":"Daniel","family":"Replogle","sequence":"additional","affiliation":[]}],"member":"14","published-online":{"date-parts":[[2002,6,4]]},"reference":[{"key":"1","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1515\/crll.1993.434.205","article-title":"Relative Galois module structure of rings of integers of cyclotomic fields","volume":"434","author":"Chan, Shih-Ping","year":"1993","journal-title":"J. Reine Angew. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0075-4102","issn-type":"print"},{"issue":"1","key":"2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/jnth.1999.2443","article-title":"Construction of bases for the group of cyclotomic units","volume":"81","author":"Conrad, Marc","year":"2000","journal-title":"J. Number Theory","ISSN":"https:\/\/id.crossref.org\/issn\/0022-314X","issn-type":"print"},{"key":"3","series-title":"Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)]","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-68816-4","volume-title":"Galois module structure of algebraic integers","volume":"1","author":"Fr\u00f6hlich, Albrecht","year":"1983","ISBN":"https:\/\/id.crossref.org\/isbn\/3540119205"},{"issue":"1","key":"4","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1006\/jnth.1999.2425","article-title":"Swan modules and Hilbert-Speiser number fields","volume":"79","author":"Greither, Cornelius","year":"1999","journal-title":"J. Number Theory","ISSN":"https:\/\/id.crossref.org\/issn\/0022-314X","issn-type":"print"},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] T. Kohl and D. R. Replogle, Computation of several Cyclotomic Swan Subgroups, Math. Comp., 71 (2002), 343-348.","DOI":"10.1090\/S0025-5718-00-01302-8"},{"key":"6","doi-asserted-by":"publisher","first-page":"167","DOI":"10.2307\/2033418","article-title":"On integral bases","volume":"9","author":"Mann, Henry B.","year":"1958","journal-title":"Proc. Amer. Math. Soc.","ISSN":"https:\/\/id.crossref.org\/issn\/0002-9939","issn-type":"print"},{"issue":"1","key":"7","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1016\/0021-8693(83)90176-X","article-title":"Galois module structure of elementary abelian extensions","volume":"82","author":"McCulloh, Leon R.","year":"1983","journal-title":"J. Algebra","ISSN":"https:\/\/id.crossref.org\/issn\/0021-8693","issn-type":"print"},{"key":"8","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1515\/crll.1987.375-376.259","article-title":"Galois module structure of abelian extensions","volume":"375\/376","author":"McCulloh, Leon R.","year":"1987","journal-title":"J. Reine Angew. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0075-4102","issn-type":"print"},{"key":"9","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/0021-8693(74)90072-6","article-title":"A Mayer-Vietoris sequence for class groups","volume":"31","author":"Reiner, I.","year":"1974","journal-title":"J. Algebra","ISSN":"https:\/\/id.crossref.org\/issn\/0021-8693","issn-type":"print"},{"issue":"2","key":"10","doi-asserted-by":"publisher","first-page":"482","DOI":"10.1006\/jabr.1998.7652","article-title":"Swan modules and realisable classes for Kummer extensions of prime degree","volume":"212","author":"Replogle, Daniel R.","year":"1999","journal-title":"J. Algebra","ISSN":"https:\/\/id.crossref.org\/issn\/0021-8693","issn-type":"print"},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] D. R. Replogle, Cyclotomic Swan subgroups and irregular indices, Rocky Mountain Journal Math. 31 (Summer 2001), 611-618.","DOI":"10.1216\/rmjm\/1020171578"},{"key":"12","unstructured":"[12] D. R. Replogle and R. G. Underwood, Nontrivial tame extensions over Hopf orders, Acta Arithmetica (to appear)."},{"key":"13","unstructured":"[13] The SIMATH group\/H. G. Zimmer, SIMATH: A computer algebra system for algebraic number theory, www.simath.info."},{"issue":"1","key":"14","doi-asserted-by":"publisher","first-page":"107","DOI":"10.2307\/1970932","article-title":"On the Stickelberger ideal and the circular units of a cyclotomic field","volume":"108","author":"Sinnott, W.","year":"1978","journal-title":"Ann. of Math. (2)","ISSN":"https:\/\/id.crossref.org\/issn\/0003-486X","issn-type":"print"},{"issue":"2","key":"15","first-page":"361","article-title":"Nontrivial lower bounds for class groups of integral group rings","volume":"20","author":"Ullom, Stephen V.","year":"1976","journal-title":"Illinois J. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0019-2082","issn-type":"print"},{"key":"16","series-title":"Graduate Texts in Mathematics","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-0133-2","volume-title":"Introduction to cyclotomic fields","volume":"83","author":"Washington, Lawrence C.","year":"1982","ISBN":"https:\/\/id.crossref.org\/isbn\/0387906223"}],"container-title":["Mathematics of Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.ams.org\/mcom\/2003-72-242\/S0025-5718-02-01457-6\/S0025-5718-02-01457-6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/www.ams.org\/mcom\/2003-72-242\/S0025-5718-02-01457-6\/S0025-5718-02-01457-6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T23:14:59Z","timestamp":1776726899000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ams.org\/mcom\/2003-72-242\/S0025-5718-02-01457-6\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,6,4]]},"references-count":16,"journal-issue":{"issue":"242","published-print":{"date-parts":[[2003,4]]}},"alternative-id":["S0025-5718-02-01457-6"],"URL":"https:\/\/doi.org\/10.1090\/s0025-5718-02-01457-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":[[2002,6,4]]}}}