椭圆曲线群结构结合律证明有没有不爆算的巧妙证明？ 第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
相关话题
圆内均匀随机地取三个点，三点确定的新圆在旧圆内的概率是多少？如何处理这类三个连乘的积分呢？
我有一篇关于0可以作除数的文章，请教如何分享给他人？
理想情況下，对于任意一种台球布局，是否存在一个击球方案，一杆就能使所有球进洞？
这个代数题怎么解？
为什么不是所有函数都能用解析式表达？
假如数学没有了自然数的概念及其性质会怎样？
身份证号不会用完吗？
伽罗华并没有接受完整的数学教育，为何能解决当时最难的数学问题？
怎么评价北大版的《高等代数》？
前一个讨论
一道极值点偏移如何证明?
下一个讨论
这道定积分如何解决呢？
相关的话题
有什么理论复杂但是实现简单的算法？个人觉得抛硬币并不是真正的随机事件，和抛硬币时候的各种状态参量有关系，那么到底什么是真正的随机？
如何评价数学家张益唐？
如何看待 Atiyah 对六维球面 S^6 上没有复结构的证明？
数学学习与数学科研有多大区别？
如何证明随机变量的中数一阶矩最小？
怎么求lnsinx在0到pi/2的积分啊？
如何看待清华大学丘成桐数学科学领军人才培养计划？
科学领域都有哪些著名的独行侠？
为什么要构造出范德蒙行列式？
为什么有那么多人不承认0.9无限循环=1，且振振有词？
为什么 7.9 英寸 4:3 的屏幕要比 5.1 英寸 16:10 的屏幕大一倍还多？
有哪些有趣的概率问题？
喜欢学数学是一种怎样的体验？
如何从初一开始努力考上合肥168中学（省内知名高中）？
请问姜文华的学术水平在统计圈属于什么位置？
如何看待法国著名数学家、2002 年菲尔兹奖得主 Laurent Lafforgue 宣布加入华为？
怎么看待考研数学老师李林「神押题」？
如何看待Michael Atiyah爵士疑似证明黎曼猜想，并将在9月24日宣讲？
请问如何用微积分去思考双杆模型？
阿拉伯文是从右往左写，那么阿拉伯人写数学算式的时候也是从右往左写吗？
如何证明集合[0, 1] × [0, 1]与集合[0, 1]等势(即存在双射）？
负数有没有阶乘，0 的阶乘为什么是 1？
如何让自己喜欢上数学？
没有基的线性空间，是否可以构造，如何构造？
如何解决这道函数题？
单调的环境下永生能让人变成傻子吗？
是否存在有源有旋场，不是说有旋必定无源？
如何证明 1²+2²+…+n² 为平方数的解只有 n＝1 或 n＝24？
如何证明(x^y+y^x)(1/x+1/y)≥4?