On the class number of binary quadratic forms: An omega estimate for the error term.
For any square-free positive integer with , we prove that the class number of the real cyclotomic field is greater than , where is a primitive th root of unity.
The class numbers h⁺ of the real cyclotomic fields are very hard to compute. Methods based on discriminant bounds become useless as the conductor of the field grows, and methods employing Leopoldt's decomposition of the class number become hard to use when the field extension is not cyclic of prime power. This is why other methods have been developed, which approach the problem from different angles. In this paper we extend one of these methods that was designed for real cyclotomic fields of prime...
Let be an odd prime, an odd, -adic Dirichlet character and the cyclic imaginary extension of associated to . We define a “-part” of the Sylow -subgroup of the class group of and prove a result relating its -divisibility to that of the generalized Bernoulli number . This uses the results of Mazur and Wiles in Iwasawa theory over . The more difficult case, in which divides the order of is our chief concern. In this case the result is new and confirms an earlier conjecture of G....
Let be a prime and a -adic field (a finite extension of the field of -adic numbers ). We employ the main results in [12] and the arithmetic of elliptic curves over to reduce the problem of classifying 3-dimensional non-associative division algebras (up to isotopy) over to the classification of ternary cubic forms over (up to equivalence) with no non-trivial zeros over . We give an explicit solution to the latter problem, which we then relate to the reduction type of the jacobian...
Let p be a prime number, and let [...] Q¯ p be the completion of Q with respect to the pseudovaluation w which extends the p-adic valuation vp. In this paper our goal is to give a characterization of closed subfields of [...] Q¯ p , the completion of Q with respect w, i.e. the spectral extension of the p-adic valuation vp on Q.