๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

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


Power Reciprocity for Binomial Cyclotomi
โœ Charles Helou ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 260 KB

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 2-Power Cyclotomic Field
โœ Leanne Robertson ๐Ÿ“‚ Article ๐Ÿ“… 2001 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 128 KB

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

Construction of Bases for the Group of C
โœ Marc Conrad ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 200 KB

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