We give an explicit expression for the inversion factor (:ร;) l (;ร:) &1 l of the l th power residue symbol over the cyclotomic field of lth roots of unity, when : and ; are binomial cyclotomic integers x+ y`n relatively prime to each other and to l. Here l is an odd prime number, `a primitive lth
Power Bases for Cyclotomic Integer Rings
โ Scribed by Leanne Robertson
- Publisher
- Elsevier Science
- Year
- 1998
- Tongue
- English
- Weight
- 455 KB
- Volume
- 69
- Category
- Article
- ISSN
- 0022-314X
No coin nor oath required. For personal study only.
โฆ Synopsis
Let p be an odd prime and O p be the ring of integers in the cyclotomic field Q(), where is a primitive p th root of unity. Then O p =Z[:] if :=, 1ร(1+), or one of the conjugates of these two elements. In 1988, Bremner [3] conjectured that up to integer translation there are no further generators for O p and proved that this is indeed the case when p=7. We establish a criterion for verifying Bremner's conjecture for a given regular prime p and use it to prove the conjecture for p 23, p{17. A key step in the proof of the criterion is a determinant formula for the relative class number h & of Q(`).
๐ SIMILAR VOLUMES
Let `be a primitive 2 m th root of unity. We prove that Z[:]=Z [`] if and only if :=n\`i for some n, i # Z, i odd. This is the first example of number fields of arbitrarily large degree for which all power bases for the ring of integers are known. 2001 Academic Press ## 1. Introduction A number f
Subject of investigation is the construction of a basis B n for the group of cyclotomic units of the nth cyclotomic field. These bases have the property that B d B n for d | n. For this purpose the notion of weak \_-bases of a module with an involution operating on it is introduced. The weak \_-basi