Open Access
Summer 2011 On the restricted Hilbert–Speiser and Leopoldt properties
Nigel P. Byott, James E. Carter, Cornelius Greither, Henri Johnston
Illinois J. Math. 55(2): 623-639 (Summer 2011). DOI: 10.1215/ijm/1359762405
Abstract

Let $G$ be a finite abelian group. A number field $K$ is called a Hilbert-Speiser field of type $G$ if, for every tame $G$-Galois extension $L/K$, the ring of integers $\mathcal{O}_L$ is free as an $\mathcal{O}_K[G]$-module. If $\mathcal{O}_L$ is free over the associated order $\mathcal{A}_{L/K}$ for every $G$-Galois extension $L/K$, then $K$ is called a Leopoldt field of type $G$. It is well known (and easy to see) that if $K$ is Leopoldt of type $G$, then $K$ is Hilbert–Speiser of type $G$. We show that the converse does not hold in general, but that a modified version does hold for many number fields $K$ (in particular, for $K/\mathbb{Q}$ Galois) when $G=C_{p}$ has prime order. We give examples with $G=C_5$ to show that even the modified converse is false in general, and that the modified converse can hold when the original does not.

References

1.

F. Bertrandias and M.-J. Ferton, Sur l'anneau des entiers d'une extension cyclique de degré premier d'un corps local, C. R. Acad. Sci. Paris Ser. A-B 274 (1972), A1330–A1333.  MR0296047 F. Bertrandias and M.-J. Ferton, Sur l'anneau des entiers d'une extension cyclique de degré premier d'un corps local, C. R. Acad. Sci. Paris Ser. A-B 274 (1972), A1330–A1333.  MR0296047

2.

F. Bertrandias, J.-P. Bertrandias and M.-J. Ferton, Sur l'anneau des entiers d'une extension cyclique de degré premier d'un corps local, C. R. Acad. Sci. Paris Ser. A-B 274 (1972), A1388–A1391.  MR0296048 0235.12007 F. Bertrandias, J.-P. Bertrandias and M.-J. Ferton, Sur l'anneau des entiers d'une extension cyclique de degré premier d'un corps local, C. R. Acad. Sci. Paris Ser. A-B 274 (1972), A1388–A1391.  MR0296048 0235.12007

3.

W. Bley and R. Boltje, Computation of locally free class groups, Algorithmic number theory, Lecture Notes in Comput. Sci., vol. 4076, Springer, Berlin, 2006, pp. 72–86.  MR2282916 10.1007/11792086_6 1143.11355 W. Bley and R. Boltje, Computation of locally free class groups, Algorithmic number theory, Lecture Notes in Comput. Sci., vol. 4076, Springer, Berlin, 2006, pp. 72–86.  MR2282916 10.1007/11792086_6 1143.11355

4.

W. Bosma, J. Cannon and C. Playoust, The Magma algebra system. I. The user language, J. Symbolic Comput. 24 (1997), 235–265.  MR1484478 10.1006/jsco.1996.0125 0898.68039 W. Bosma, J. Cannon and C. Playoust, The Magma algebra system. I. The user language, J. Symbolic Comput. 24 (1997), 235–265.  MR1484478 10.1006/jsco.1996.0125 0898.68039

5.

N. P. Byott, Galois structure of ideals in wildly ramified abelian $p$-extensions of a $p$-adic field, and some applications, J. Théor. Nombres Bordeaux 9 (1997), 201–219.  MR1469668 10.5802/jtnb.196 N. P. Byott, Galois structure of ideals in wildly ramified abelian $p$-extensions of a $p$-adic field, and some applications, J. Théor. Nombres Bordeaux 9 (1997), 201–219.  MR1469668 10.5802/jtnb.196

6.

N. P. Byott and B. Sodaïgui, Galois module structure for dihedral extensions of degree 8: Realizable classes over the group ring, J. Number Theory 112 (2005), 1–19.  MR2131138 10.1016/j.jnt.2005.01.003 N. P. Byott and B. Sodaïgui, Galois module structure for dihedral extensions of degree 8: Realizable classes over the group ring, J. Number Theory 112 (2005), 1–19.  MR2131138 10.1016/j.jnt.2005.01.003

7.

J. E. Carter, Normal integral bases in quadratic and cyclic cubic extensions of quadratic fields, Arch. Math. 81 (2003), 266–271. MR 2013257; Erratum, ibid. 83 (2004), vi–vii.  MR2191482 1050.11097 J. E. Carter, Normal integral bases in quadratic and cyclic cubic extensions of quadratic fields, Arch. Math. 81 (2003), 266–271. MR 2013257; Erratum, ibid. 83 (2004), vi–vii.  MR2191482 1050.11097

8.

J. E. Carter, Some remarks on Hilbert–Speiser and Leopoldt fields of given type, Colloq. Math. 108 (2007), 217–223.  MR2291634 10.4064/cm108-2-5 1111.11051 J. E. Carter, Some remarks on Hilbert–Speiser and Leopoldt fields of given type, Colloq. Math. 108 (2007), 217–223.  MR2291634 10.4064/cm108-2-5 1111.11051

9.

H. Cohen, A course in computational algebraic number theory, Graduate Texts in Math., vol. 138, Springer-Verlag, New York, 1993.  MR1228206 0786.11071 H. Cohen, A course in computational algebraic number theory, Graduate Texts in Math., vol. 138, Springer-Verlag, New York, 1993.  MR1228206 0786.11071

10.

C. W. Curtis and I. Reiner, Methods of representation theory, Vol. II. With applications to finite groups and orders. Wiley, New York, 1987.  MR0892316 C. W. Curtis and I. Reiner, Methods of representation theory, Vol. II. With applications to finite groups and orders. Wiley, New York, 1987.  MR0892316

11.

I. B. Fesenko and S. V. Vostokov, Local fields and their extensions. A constructive approach, American Mathematical Society, Providence, RI, 1993.  MR1218392 0781.11042 I. B. Fesenko and S. V. Vostokov, Local fields and their extensions. A constructive approach, American Mathematical Society, Providence, RI, 1993.  MR1218392 0781.11042

12.

C. Greither and H. Johnston, On totally real Hilbert–Speiser fields of type $C_p$, Acta Arith. 138 (2009), 329–336.  MR2534138 10.4064/aa138-4-3 C. Greither and H. Johnston, On totally real Hilbert–Speiser fields of type $C_p$, Acta Arith. 138 (2009), 329–336.  MR2534138 10.4064/aa138-4-3

13.

C. Greither, D. R. Replogle, K. Rubin and A. Srivastav, Swan modules and Hilbert–Speiser number fields, J. Number Theory 79 (1999), 164–173.  MR1718724 10.1006/jnth.1999.2425 0941.11044 C. Greither, D. R. Replogle, K. Rubin and A. Srivastav, Swan modules and Hilbert–Speiser number fields, J. Number Theory 79 (1999), 164–173.  MR1718724 10.1006/jnth.1999.2425 0941.11044

14.

T. Herreng, Sur les corps de Hilbert–Speiser, J. Théor. Nombres Bordeaux 17 (2005), 767–778.  MR2212124 1161.11398 10.5802/jtnb.519 T. Herreng, Sur les corps de Hilbert–Speiser, J. Théor. Nombres Bordeaux 17 (2005), 767–778.  MR2212124 1161.11398 10.5802/jtnb.519

15.

H. Johnston, Relative Galois module structure of rings of integers of absolutely abelian number fields, J. Reine Angew. Math. 620 (2008), 85–103.  MR2427977 10.1515/CRELLE.2008.050 1230.11138 H. Johnston, Relative Galois module structure of rings of integers of absolutely abelian number fields, J. Reine Angew. Math. 620 (2008), 85–103.  MR2427977 10.1515/CRELLE.2008.050 1230.11138

16.

J. Klüners and S. Pauli, Computing residue class rings and Picard groups of orders, J. Algebra 292 (2005), 47–64.  MR2166795 10.1016/j.jalgebra.2005.04.013 J. Klüners and S. Pauli, Computing residue class rings and Picard groups of orders, J. Algebra 292 (2005), 47–64.  MR2166795 10.1016/j.jalgebra.2005.04.013

17.

H. W. Leopoldt, Über die Hauptordnung der ganzen Elemente eines abelschen Zahlk örpers, J. Reine Angew. Math. 201 (1959), 119–149.  MR0108479 H. W. Leopoldt, Über die Hauptordnung der ganzen Elemente eines abelschen Zahlk örpers, J. Reine Angew. Math. 201 (1959), 119–149.  MR0108479

18.

G. Lettl, The ring of integers of an abelian number field, J. Reine Angew. Math. 404 (1990), 162–170.  MR1037435 10.1515/crll.1990.404.162 G. Lettl, The ring of integers of an abelian number field, J. Reine Angew. Math. 404 (1990), 162–170.  MR1037435 10.1515/crll.1990.404.162

19.

G. Malle and B. H. Matzat, Inverse Galois theory, Springer, Berlin, 1999.  MR1711577 0940.12001 G. Malle and B. H. Matzat, Inverse Galois theory, Springer, Berlin, 1999.  MR1711577 0940.12001

20.

L. R. McCulloh, Galois module structure of elementary abelian extensions, J. Algebra 82 (1983), 102–134.  MR0701039 10.1016/0021-8693(83)90176-X 0508.12008 L. R. McCulloh, Galois module structure of elementary abelian extensions, J. Algebra 82 (1983), 102–134.  MR0701039 10.1016/0021-8693(83)90176-X 0508.12008

21.

Y. Miyata, Wildly ramified extensions of prime degree p and Stickelberger conditions, Japan. J. Math. (N.S.) 15 (1989), 157–168.  MR1053635 0708.11058 10.4099/math1924.15.157 Y. Miyata, Wildly ramified extensions of prime degree p and Stickelberger conditions, Japan. J. Math. (N.S.) 15 (1989), 157–168.  MR1053635 0708.11058 10.4099/math1924.15.157

22.

J. Neukirch, A. Schmidt and K. Wingberg, Cohomology of number fields, Springer-Verlag, Berlin, 2000.  MR1737196 0948.11001 J. Neukirch, A. Schmidt and K. Wingberg, Cohomology of number fields, Springer-Verlag, Berlin, 2000.  MR1737196 0948.11001

23.

PARI/GP, version 2.3.4, Bordeaux, 2008; available at http://pari.math.u-bordeaux.fr/.  http://pari.math.u-bordeaux.fr/ PARI/GP, version 2.3.4, Bordeaux, 2008; available at http://pari.math.u-bordeaux.fr/.  http://pari.math.u-bordeaux.fr/

24.

QaoS, Querying Algebraic Object System; available at http://qaos.math.tu-berlin.de/.  http://qaos.math.tu-berlin.de/ QaoS, Querying Algebraic Object System; available at http://qaos.math.tu-berlin.de/.  http://qaos.math.tu-berlin.de/

25.

J.-P. Serre, Local fields, Graduate Texts in Math., vol. 67, Springer-Verlag, New York, 1979.  MR0554237 J.-P. Serre, Local fields, Graduate Texts in Math., vol. 67, Springer-Verlag, New York, 1979.  MR0554237

26.

M. J. Taylor, Hopf orders and Galois module structure, DMV Sem., vol. 18, Group rings and class groups, Birkhäuser, Basel, 1992, pp. 153–210.  MR1167451 10.1007/978-3-0348-8611-6 M. J. Taylor, Hopf orders and Galois module structure, DMV Sem., vol. 18, Group rings and class groups, Birkhäuser, Basel, 1992, pp. 153–210.  MR1167451 10.1007/978-3-0348-8611-6

27.

L. C. Washington, Introduction to cyclotomic fields, 2nd ed., Graduate Texts in Math., vol. 83, Springer-Verlag, New York, 1997.  MR1421575 10.1007/978-1-4612-1934-7 0966.11047 L. C. Washington, Introduction to cyclotomic fields, 2nd ed., Graduate Texts in Math., vol. 83, Springer-Verlag, New York, 1997.  MR1421575 10.1007/978-1-4612-1934-7 0966.11047
Copyright © 2011 University of Illinois at Urbana-Champaign
Nigel P. Byott, James E. Carter, Cornelius Greither, and Henri Johnston "On the restricted Hilbert–Speiser and Leopoldt properties," Illinois Journal of Mathematics 55(2), 623-639, (Summer 2011). https://doi.org/10.1215/ijm/1359762405
Published: Summer 2011
Vol.55 • No. 2 • Summer 2011
Back to Top