We study closedness properties of ideals generated by real - analytic functions in some subrings \(\mathcal{C}\) of \(C^{\infty}(\Omega)\), where \(\Omega\) is an open subset of \(\mathbb{R}^{n}\). In contrast with the case \(\mathcal{C}=C^{\infty}(\Omega)\), which has been clarified by famous works
On Smooth Ideals in Number Fields
β Scribed by Johannes A Buchmann; Christine S Hollinger
- Publisher
- Elsevier Science
- Year
- 1996
- Tongue
- English
- Weight
- 310 KB
- Volume
- 59
- Category
- Article
- ISSN
- 0022-314X
No coin nor oath required. For personal study only.
β¦ Synopsis
For y # R >0 an integral ideal of an algebraic number field F is called y-smooth if the norms of all of its prime ideal factors are bounded by y. Assuming the generalized Riemann hypothesis we prove a lower bound for the number F (x, y) of integral y-smooth ideals in F whose norms are bounded by x # R >0 . Apart from x and y this bound only depends on the degree of F.
1996 Academic Press, Inc.
where u=log xΓlog y and n~is the degree of the normal closure of F over Q.
π SIMILAR VOLUMES
We list all imaginary cyclotomic extensions β«ήβ¬ x, β³ rβ«ήβ¬ x with ideal class q M Ε½ x . q number equal to one. Apart from the zero genus ones, there are 17 solutions up to Ε½ . β«ήβ¬ x -isomorphism: 13 of them are defined over β«ήβ¬ and the 4 remainings are q 3 defined over β«ήβ¬ .
It is well-known that in the cyclotomic number field Q(`pn) of prime power conductor, where `pn=exp(2?iΓ p n ), the index of cyclotomic units in the total unit group is equal to the class number of its maximal real subfield, which is due to Kummer. On the other hand, in 1962 Iwasawa [Iw] showed that
Let \(K\) be an algebraic number field and \(k\) be a proper subfield of \(K\). Then we have the relations between the relative degree \([K: k]\) and the increase of the rank of the unit groups. Especially, in the case of \(m\) th cyclotomic field \(Q\left(\zeta_{m}\right)\), we determine the number
The analogues of the classical Kronecker and Hurwitz class number relations for function fields of any positive characteristic are obtained by a method parallel to the classical proof. In the case of even characteristic, purely inseparable orders also have to be taken into account. A subtle point is