一种由 Kolyvagin (1990) 首次引入并定义如下的数学结构。设 为数域
的伽罗瓦群的有限维
-adic 表示。那么,
的欧拉系统是一系列上同调类
,对应于
的阿贝尔扩张族
,并且当
时,
和
之间存在关系 (Rubin 2000, p. 4)。
怀尔斯通过谷山-志村猜想证明费马最后定理时使用了欧拉系统。
一种由 Kolyvagin (1990) 首次引入并定义如下的数学结构。设 为数域
的伽罗瓦群的有限维
-adic 表示。那么,
的欧拉系统是一系列上同调类
,对应于
的阿贝尔扩张族
,并且当
时,
和
之间存在关系 (Rubin 2000, p. 4)。
怀尔斯通过谷山-志村猜想证明费马最后定理时使用了欧拉系统。
Weisstein, Eric W. "欧拉系统。" 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/EulerSystem.html