Modular construction of normal basis (Q1342810)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Modular construction of normal basis |
scientific article |
Statements
Modular construction of normal basis (English)
0 references
15 January 1995
0 references
The following strengthening of a result of Taylor is established. Let \(F\) be an imaginary quadratic field, \(p\) an odd prime number which splits in \(F\), \({\mathfrak p}\) a prime ideal of \(F\) dividing \(p\) and \(m\) a positive integer. Let \(k\) and \(K\) be the ray class fields of \(F\) modulo \({\mathfrak p}^ m\) and \({\mathfrak p}^{[ 5m/2]}\) respectively. Then the ring of \(p\)-integers \(O_ K[ 1/p]\) has a normal basis over \(O_ k[ 1/p]\). In the proof techniques from the theory of modular functions are used.
0 references
normal integral basis
0 references
imaginary quadratic field
0 references
modular functions
0 references