椭圆曲线群结构结合律证明有没有不爆算的巧妙证明？ 第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
相关话题
随机取牌算不出 24 点的概率是多少？如何证明数学定理全宇宙通用？
如何看待的法兰西的数学水平？
你在实际生活中用过微积分计算吗？没有用的话我们为什么要学呢？
是否存在有源有旋场，不是说有旋必定无源？
初一开始准备数学竞赛有意义吗？
在一块边长为a的大正方形中，任意地挖掉一块各边平行或垂直于大正方形的边长为a/2的小正方形?
为什么科学家认为数学是支持科学理论的必要条件？
为什么数量级"皮可"很少使用？
数列1，2，9，44，265有名字吗？
前一个讨论
一道极值点偏移如何证明?
下一个讨论
这道定积分如何解决呢？
相关的话题
泰勒公式展开到任意阶，都不用管后面的高阶无穷小项么？如何理解「梅涅劳斯定理」和「塞瓦定理」，这两个定理在实际中有什么应用？
研究数学花钱多吗？
如何看待中国数学竞赛落败引网民狂欢？
4x5的表写入20个不同正整数，相邻数不互质，表中最大的数至少是多少？
能不能绕过π，来计算一个圆的面积?
各位大佬有什么好方法证明这个不等式?
3，13，1113，3113，2321，221311，223113，222321，下一个数是什么？
你最喜欢的一句数学界的名言是什么？
如何对 0，0，0，0 进行运算得到 24？
除了 π、e 等这些常数，还有哪些伟大的常数？他们的意义都是什么？为什么都是无理数呢？
所有正方形的数量与所有长方形的数量相等吗？
你知道哪些冷门但内容十分好的数学书？
椭圆曲线群结构结合律证明有没有不爆算的巧妙证明？
matrix67去哪了？
圆锥曲线中过任一顶点作相垂直的直线，过直线与曲线交点的直线过定点，这有什么射影几何的背景吗？
定义怎么证明这个阶乘极限？
天赋不够的人可以做数学科研吗？
如何让自己喜欢上数学？
计算机编程算是否是理科中比较偏文的科目？
数学是人为创造还是自然的规律？
怎样看待基础数学研究者瞧不上应用数学研究者的现象？
有哪些手算对数的方法？
数学书上这种是什么字体，以及应该如何手写？
自然数 n 的因数个数的数量级估计？
是否存在某些问题不能用有限步骤解决？
布尔代数是怎么出现的？
自然科学和唯心主义是矛盾的吗？
如何评价陈天权《数学分析讲义》？
偏微分方程在纯数学有什么应用？