椭圆曲线群结构结合律证明有没有不爆算的巧妙证明？ 第1页
1
jazzdaybluesnight 网友的相关建议:
代数几何的办法 (把由复杂公式定义的 group law 由抽象语言包装起来) 看起来简单，但背后藏有足够多的信息。这里需要先把椭圆曲线 定义成 : nonsingular projective curve of genus 1 with . 可以证明 和你熟知的定义 —— 光滑的三次 Weierstrass 方程 等价。
关键在利用 Riemann-Roch 定理，发现 ( genus =1 的条件在这里用到）, 因此任何 个 中函数一定是线性相关的，由此可以让我们定义 到 的一个 morphism.
(Hint：考虑 , s.t . 于是 线性相关。)
在你有了这个等价定义，可以构造 , 诱导出双射 . 因此右边的 group law (复杂计算) 可以从左边 (clear) 说清楚。
1
相关话题
当数学家刚想出微积分用细矩形面积的和逼近时，矩形的高选取多少呢？为何不怕无限多个小误差之和为大误差？下面圆周率的这3个无穷级数公式怎么证明？
计算器或计算机如何进行比较复杂的数学计算？
如何通俗地解释马尔科夫链?
高代，中间这一步是怎么来的呀?
这道趣味数学题咋解决？
如何证明欧拉函数是积性函数？
中国古代数学形成以计算见长，以解决实际问题为特点的数学理论体系，那为何现代却更重是理论?
复变函数、实分析、复分析、数学分析是什么关系？
随手画线段，其长度最有可能是有理数还是无理数？
前一个讨论
一道极值点偏移如何证明?
下一个讨论
这道定积分如何解决呢？
相关的话题
如果把行列式定义中的(-1)^(逆序数)去掉，这种新的运算能用在哪里呢？冰雹猜想疑惑，是不是不能被3整除的数必能回到1？
怎么样通俗易懂地向小学生介绍群论的思想？
圆周率 π 的这个连根式展开公式怎么证明？
数列「1，2，2，3，3，3，...」的通项公式是什么？
如何看待京都大学的望月新一教授证明「ABC 猜想」，发表在其主编的期刊上？
如何证明一个有趣的三角恒等式？
能否绝对地区分出虚数 i 与 -i？
高二了数学40多分还有救吗?
2021年5月14日，著名数学家王元院士去世，他对中国数学界有哪些贡献？
很多高效排序算法的代价是 nlogn，难道这是排序算法的极限了吗？
请问这道数分题目该如何处理呢，如下？
如何证明 a_n＝(1＋1/2²)(1＋1/3²)…(1＋1/n²) 收敛？
杨小凯先生墓碑最下面的符号是什么意思？
如何评价一些数学大佬在推导过程中的「我们不难发现…」、「显然有…」、「易得…」等语言?
P是素数，(2^2p)-3一定是素数吗？
女生难道就不能学物理或数学专业吗？
高一新生看欧几里得的几何原本好还是希尔伯特的几何基础好？
有哪些看似荒谬的事，却有着合理的数学解释？
高斯的博士论文是不是太简单了？
复数范围内，一个数的整数次方是不是永远只有一个值？以及如何证明一个数的无理数次方对应无穷个值？
多元复合函数求导与一元复合函数求导的联系与区别是什么？
如何比较 cos 38° 和 tan 38° 的大小？
魔方是不是告诉我们，要去寻找事物的统一解和最优解？
设f(n)=lcm(1, 2, …, n)，如何证明∑1/f(n) (n取1到∞) 是一个无理数？
除了 1 和 144，还有哪个斐波那契数是平方数?
数学专业本科生如何选择方向？
如何用准确的数学语言证明:两素数分别n次方后还是互素?
如何证明：A*=A,则A的特征根为实数？
为什么各个位数之和是3的倍数的数能被三整除？其他的数为什么不行？