arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2209.04809math.NT
收藏

奇素数次Galois数域上的欧氏理想类

Euclidean ideal classes in Galois number fields of odd prime degree

V. Kumar Murty, J. Sivaraman

摘要:

Weinberger在1972年证明了单位秩至少为$1$的数域上的整数环是主理想整环当且仅当它是欧氏整环,条件是广义黎曼假设成立。Lenstra推广了欧几里得整环的概念,以捕获具有有限循环类群的Dedekind整环,并证明了一个类似的定理。更确切地说,他表明,类组的环整数的一个领域的单位秩至少$1$是循环的当且仅当它有一个欧几里德理想类,提供了广义黎曼假设举行。本文的目的是说明以下几点。设$\mathbf{K}_1$和$\mathbf{K}_2$是两个奇素数度的Galois数域,它们具有循环类群,Hilbert类域是$\mathbb{Q}$上的交换域.如果$\mathbf{K}_1\mathbf{K}_2$在$\mathbf{K}_i$上分歧,则至少有一个$\mathbf{K}_i$($i \in \{1,2\}$)必须具有欧几里得理想类。

英文摘要:

Weinberger in 1972, proved that the ring of integers of a number field with unit rank at least $1$ is a principal ideal domain if and only if it is a Euclidean domain, provided the generalised Riemann hypothesis holds. Lenstra extended the notion of Euclidean domains in order to capture Dedekind domains with finite cyclic class group and proved an analogous theorem in this setup. More precisely, he showed that the class group of the ring of integers of a number field with unit rank at least $1$ is cyclic if and only if it has a Euclidean ideal class, provided the generalised Riemann hypothesis holds. The aim of this paper is to show the following. Suppose that $\mathbf{K}_1$ and $\mathbf{K}_2$ are two Galois number fields of odd prime degree with cyclic class groups and Hilbert class fields that are abelian over $\mathbb{Q}$. If $\mathbf{K}_1\mathbf{K}_2$ is ramified over $\mathbf{K}_i$, then at least one $\mathbf{K}_i$ ($i \in \{1,2\}$) must have a Euclidean ideal class.

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

↑