We connect the discrete logarithm problem over prime fields in the safe prime case to the logarithmic derivative.
For any prime number p > 3 we compute the formal completion of the Néron model of J0(p) in terms of the action of the Hecke algebra on the Z-module of all cusp forms (of weight 2 with respect to Γ0(p)) with integral Fourier development at infinity.
Let A be an abelian variety with commutative endomorphism algebra over a finite field k. The k-isogeny class of A is uniquely determined by a Weil polynomial f A without multiple roots. We give a classification of the groups of k-rational points on varieties from this class in terms of Newton polygons of f A(1 − t).