Tests de primalidad.
We determine all the non-abelian normal CM-fields of degree 24 with class number one, provided that the Galois group of their maximal real subfields is isomorphic to , the alternating group of degree and order . There are two such fields with Galois group (see Theorem 14) and at most one with Galois group SL (see Theorem 18); if the generalized Riemann hypothesis is true, then this last field has class number .
We recall the determination of all the dihedral CM-fields with relative class number one, and prove that dicyclic CM-fields have relative class numbers greater than one.
We connect the discrete logarithm problem over prime fields in the safe prime case to the logarithmic derivative.
1. Introduction. Let k be a totally real number field. Let p be a fixed prime number and ℤₚ the ring of all p-adic integers. We denote by λ=λₚ(k), μ=μₚ(k) and ν=νₚ(k) the Iwasawa invariants of the cyclotomic ℤₚ-extension of k for p (cf. [10]). Then Greenberg’s conjecture states that both λₚ(k) and μₚ(k) always vanish (cf. [8]). In other words, the order of the p-primary part of the ideal class group of kₙ remains bounded as n tends to infinity, where kₙ is the nth layer of . We know by the Ferrero-Washington...
Let be a numerical semigroup. In this work we show that is a distributive lattice, which in addition is a Frobenius restricted variety. We give an algorithm which allows us to compute the set for a given As a consequence, we obtain another algorithm that computes all the elements of with a fixed genus.
We study the Ljunggren equation Y² + 1 = 2X⁴ using the "multiplication by 2" method of Chabauty.
Let K be a complete, algebraically closed nonarchimedean valued field, and let φ(z) ∈ K(z) have degree d ≥ 2. We study how the resultant of φ varies under changes of coordinates. For γ ∈ GL₂(K), we show that the map factors through a function on the Berkovich projective line, which is piecewise affine and convex up. The minimal resultant is achieved either at a single point in , or on a segment, and the minimal resultant locus is contained in the tree in spanned by the fixed points and poles...