arXiv math/06011362006-01math.NT

Some applications of Kummer and Stickelberger relations

Roland Queme

备注：: The sufficient condition for equality of the rank of the relative p-class group C_p^- and the index of irregularity i_p of K added in previous version not correct is removed of this version. In this version some congruences deduced of Stickelberger relation for prime ideals Q of K of inertial degree f > 1 are added

英文摘要：

Let p be an odd prime. Let K = Q(zeta) be the p-cyclotomic field. Let v be any primitive root mod p. Let sigma be a Q-isomorphism of K. Let P(sigma) = sigma^{p-2}v^{-(p-2)}+ ... + sigma v^{-1} +1 \in Z[G] where 1 \leq v^n \leq p-1 is a notation mod p. We apply a Kummer and Stickelberger relation of K to some singular not primary numbers A of K connected to p-class group C_p of K and prove they verify the congruence A^P(sigma) = 1 mod p^2. This p-adic method on singular numbers A allows us to prove: in a straightforward way the connection between relative p-class group C_p^- and the solutions of some explicit congruences mod p in Z[X]: \sum_{i=1}^{p-2} ((v^{-(i-1)} - v^{-i} v) /p) X^{i-1} \equiv 0 mod p and that if (p-1)/2 is odd then the Bernoulli Number B_((p+1)/2) not = 0 mod p. In this version some congruences deduced of Stickelberger relation for prime ideals Q of K of inertial degree f > 1 are added.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

On Kummer and Stickelberger relations

Let p be an odd prime. Let K_p = \Q(zeta_p) be the p-cyclotomic field. We apply a Kummer and Stickelberger relation of K_p to some singular not primary numbers A of K_p connected to p-class group of K_p and prove they verify the congruence A = 1 mod p^2. Let v be a primitive root mod p. This p-adic improvement on singular numbers A allows us to connect in a straightforward way the p-class group C_p to the solutions of some explicit congruence mod p: \sum_{i=1}^{p-2} X^{i-1} \times (\frac{v^{-(i-1)}-v^{-i}\times v}{p}) \equiv 0 mod p: where X is a natural integer and where v^n is understood as …

2005-12-30math.NT

Kronecker-Weber via Stickelberger

We give a new proof of the theorem of Kronecker-Weber based on Kummer theory and Stickelberger's theorem.

2011-08-29math.NT

Singular Integers and Kummer-Stickelberger relation

Let p be an odd prime. Let F_p^* be the no-null part of the finite field of p elements. Let K=\Q(zeta) be a p-cyclotomic field and O_K be its ring of integers. Let pi be the prime ideal of K lying over p. Let sigma : zeta --> zeta^v be the Q-isomorphism of K for a primitive root v mod p. The subgroup of exponent p of the class group of K can be seen as a direct sum oplus_{i=1}^r Gamma_i of groups of order p where the group Gamma_i is annihilated by a polynomial sigma-mu_i with mu_i \in F_p^*. Let Gamma be one of the Gamma_i. From Kummer, there exist prime non-principal prime ideals Q of inerti…

2007-02-07math.NT

The canonical fractional Galois ideal at s=0

The Stickelberger elements attached to an abelian extension of number fields conjecturally participate, under certain conditions, in annihilator relations involving higher algebraic K-groups. In [Victor P. Snaith, Stark's conjecture and new Stickelberger phenomena, Canad. J. Math. 58 (2) (2006) 419--448], Snaith introduces canonical Galois modules hoped to appear in annihilator relations generalising and improving those involving Stickelberger elements. In this paper we study the first of these modules, corresponding to the classical Stickelberger element, and prove a connection with the Stark…

2008-03-18math.NT

Singular numbers and Stickelberger relation

Let p be an odd prime. Let K_p = Q(zeta) be the p-cyclotomic field. Let pi be the prime ideal of K_p lying over p. Let G be the Galois group of K_p. Let v be a primitive root mod p. Let sigma be a Q-isomorphism of K_p. Let P(sigma) = sigma^{p-2}v^{-(p-2)}+ ... + sigma v^{-1} +1 in Z[G], where v^n is understood (mod p). We apply Stickelberger relation to odd prime numbers q different of p and to some singular integers A of K_p connected with the p-class group C_p of K_p and prove the pi-adic congruences: 1) pi^{2p-1} | A^{P(σ)} if q = 1 (mod p), 2) pi^{2p-1} || A^{P(σ)} if q = 1 (mod p) and p^{…

2006-07-30math.NT

The Stickelberger splitting map and Euler systems in the $K$--theory of number fields

For a CM abelian extension $F/K$ of an arbitrary totally real number field $K$, we construct the Stickelberger splitting maps (in the sense of \cite{Ba1}) for both the étale and the Quillen $K$--theory of $F$ and we use these maps to construct Euler systems in the even Quillen $K$--theory of $F$. The Stickelberger splitting maps give an immediate proof of the annihilation of the groups of divisible elements $div K_{2n}(F)_l$ of the even $K$--theory of the top field by higher Stickelberger elements, for all odd primes $l$. This generalizes the results of \cite{Ba1}, which only deals with CM abe…

2011-06-02math.KTmath.NT

更多相关论文收起更多论文

Relative K_0, annihilators, Fitting ideals and the Stickelberger phenomena

When $G$ is abelian and $l$ is a prime we show how elements of the relative K-group $K_{0}({\bf Z}_{l}[G], {\bf Q}_{l})$ give rise to annihilator/Fitting ideal relations of certain associated ${\bf Z}[G]$-modules. Examples of this phenomenon are ubiquitous. Particularly, we give examples in which $G$ is the Galois group of an extension of global fields and the resulting annihilator/Fitting ideal relation is closely connected to Stickelberger's Theorem and to the conjectures Coates-Sinnott and Brumer.

2002-03-01math.KTmath.NT

Kummer's Original Type Congruence Relation for the Universal Bernoulli Numbers

In this paper we give Kummer's original type congruence relation modulo a prime power for the universal Bernoulli numbers. Although the index of the power is half of original congruence, this estimate is best possible.

2003-12-26math.NT

An analogue of Kummer's relation between the ideal class number and the unit index of cyclotomic fields

In this paper, we obtain a formula for the special value of Euler-Dirichlet $L$-function $L_E(s,χ)$ at $s=1$. This leads to another class number formula of $\mathbb{Q}(μ_{m})^{+}$, the maximal real subfield of $m$th cyclotomic field. From this formula, we construct a new type of cyclotomic units in $\mathbb{Q}(μ_{p^{n}})$, which implies a similar Kummer's relation between the ideal class number of $\mathbb{Q}(μ_{p^{n}})^{+}$ and the unit index.

2019-07-30math.NT

A note on highly Kummer-faithful fields

We introduce a notion of highly Kummer-faithful fields and study its relationship with the notion of Kummer-faithful fields. We also give some examples of highly Kummer-faithful fields. For example, if $k$ is a number field of finite degree over $\mathbb{Q}$, $g$ is an integer $>0$ and $\mathbf{m}=(m_p)_p$ is a family of non-negative integers, where $p$ ranges over all prime numbers, then the extension field $k_{g,\mathbf{m}}$ obtained by adjoining to $k$ all coordinates of the elements of the $p^{m_p}$-torsion subgroup $A[p^{m_p}]$ of $A$ for all semi-abelian varieties $A$ over $k$ of dimensi…

2020-05-28math.NT

On the Coble quartic and Fourier-Jacobi expansion of theta relations

In the paper "The universal Kummer threefold", Q. Ren, S. Sam, G. Schrader, and B. Sturmfels (arXiv:1208.1229), conjectured equations for the universal Kummer variety in genus 3 case. Though, most of these equations are obtained from the Fourier-Jacobi expansion of relations among theta constants in genus 4, the more prominent one, Coble's quartic was obtained differently. The aim of the current paper is to show that Coble's quartic can be obtained as Fourier-Jacobi expansion of a relation among theta-constants in genus 4. We get also one more relation that could be in the ideal described in "…

2013-04-29math.AGmath.NT

Some questions on the class group of cyclotomic fields

This article deals with a study of the structure of the class group of the cyclotomic field $K=\Q(ζ_p)$ for $p$ an odd prime number, starting from Stickelberger relation. The present state of this work leads me to set a question for all the prime numbers $h\not=p$ which divide the relative class number $h^-(K)$.

2007-03-08math.NT

全局域阿贝尔扩张中的类数关系

Class Number Relations in Abelian Extensions of Global Fields

University Marie et Louis Pasteur（玛丽和路易·巴斯德大学）；Lab. of Math. of Besançon（贝桑松数学实验室）；University of Ottawa（渥太华大学）；Department of Mathematics and Statistics（数学与统计系）

研究全局域阿贝尔扩张$K/k$中广义施蒂克尔贝格尔模秩一成分，在$S$的显式分裂条件下计算其广义指标并得$p$-主精细化，进而推导$K$和$k$的$S$-类数之间的整除关系。

2026-07-14math.NT

Several properties of hypergeometric Bernoulli numbers

In this paper, we give the determinant expressions of the hypergeometric Bernoulli numbers, and some relations between the hypergeometric and the classical Bernoulli numbers which include Kummer's congruences. By applying Trudi's formula, we have some different expressions and inversion relations. We also determine explicit forms of convergents of the generating function of the hypergeometric Bernoulli numbers, from which several identities for hypergeometric Bernoulli numbers are given.

2018-09-30math.NT

Prime divisors of the Lagarias sequence

For integer a let us consider the sequence X_a={x_0,x_1,x_2,...} defined by x_0=a, x_1=1 and, for n>=1, x_{n+1}=x_n+x_{n-1}. We say that a prime p divides X_a if p divides at least one term of the sequence. It is easy to see that every prime p divides X_1, the sequence of Fibonacci numbers. Lagarias, using a technique involving the computation of degrees of various Kummerian extensions first employed by Hasse, showed in 1985 that X_2, the set of primes dividing some Lucas number has natural density 2/3 and posed as a challenge finding the density of prime divisors of X_3. In this paper we reso…

1999-12-22math.NT

Weierstrass椭圆函数迭代导数中的p进同余关系

p-adic congruences in iterated derivatives of the Weierstrass elliptic function

本研究反向运用Ando–Hopkins–Rezk的$\mathbb E_\infty$定向机制，结合Tate不动点对象的定向存在性结果，证明Weierstrass椭圆函数迭代导数间的p进Kümmer同余。

2025-06-09math.ATmath.NT

Quelques classes caracteristiques en theorie des nombres

Let A be an arbitrary ring. We introduce a Dennis trace map mod n, from K_1(A;Z/n) to the Hochschild homology group with coefficients HH_1(A;Z/n). If A is the ring of integers in a number field, explicit elements of K_1(A,Z/n) are constructed and the values of their Dennis trace mod n are computed. If F is a quadratic field, we obtain this way non trivial elements of the ideal class group of A. If F is a cyclotomic field, this trace is closely related to Kummer logarithmic derivatives; this trace leads to an unexpected relationship between the first case of Fermat last theorem, K-theory and th…

2000-06-14math.KTmath.NT

A Cup Product in the Galois Cohomology of Number Fields

Let K be a number field containing the group of n-th roots of unity and S a set of primes of K including all those dividing n and all real archimedean places. We consider the cup product on the first Galois cohomology group of the maximal S-ramified extension of K with coefficients in n-th roots of unity, which yields a pairing on a subgroup of the multiplicative group of K containing the S-units. In this general situation, we determine a formula for the cup product of two elements which pair trivially at all local places. Our primary focus is the case that K is the cyclotomic field of p-th ro…

2003-12-12math.NT