椭圆曲线群结构结合律证明有没有不爆算的巧妙证明？ 第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
相关话题
有哪些数学上的定理让你感觉「这不显然吗，这还用证明」？如何看待菲尔兹和阿贝尔奖双料得主 Michael Atiyah 宣称自己证明了黎曼猜想？
下列数字方块移动得到一定排列顺序的问题有解吗？
怎么反驳：10元=100毛=10毛X10毛=1元X1元=1元？
数学史上有哪些比较著名的猜想因为有反例的存在而没有成为定理？
一立方米的物体（类似于活性炭）把它展开后它的表面积最大能有多少？能达到无限吗？
小概率事件的必然发生是什么原理？
《图灵传》中讲到「狄拉克基于抽象数学预言了正电子的存在」，其中细节为何？
如何看待数学吧出现自称是肖战粉的人发布肖战相关内容？
怎么 证明 等式 11k + 8 = y^2 , k∈Z, y不存在整数解?
前一个讨论
一道极值点偏移如何证明?
下一个讨论
这道定积分如何解决呢？
相关的话题
王茂泽宣称其破解世界著名难题「冰雹猜想」，他的证明正确吗？哪些数学命题可以用复数优雅地证明？
如何让自己喜欢上数学？
一周学完初中三年所有知识可能吗？
矩阵论什么好的书籍推荐？
如果可以从头重新翻译，你会换掉哪些不太好的科学名词译名？
数学界如何评价陈景润？
你对俄罗斯和法兰西数学物理教材有哪些看法？
为什么数列可以用不动点法，到底表示什么意思啊？
为什么数学里非要写「当且仅当」，而不是「仅当」？
泰勒公式展开到任意阶，都不用管后面的高阶无穷小项么？
可以留下一个优美的恒等式吗？
日麻规则下 13 张配牌的向听数期望是多少？
这个不等式缩放怎么证明？
数列1，22，333，4444……的通项公式是什么？
为什么祖冲之的355/113等于3.1415929而不是3.1415926?
请问这个抽象代数题怎么证明？
如何理解「数学中可行的在物理学中并不一定可行，反之亦然」？
有哪些比较好的数学建模的评价模型？
有没有简单的方法确定椭圆曲线是否存在无穷多解？
圆周率 π 为什么最初没定义成「周长与半径的比值」？直径和半径，哪个是构成圆最基本的单元？
三门问题(蒙提霍尔悖论)变种，如果主持人不知道哪个门是汽车随便蒙门打开正好是羊这时观众还需要换门吗？
为什么有的无理数可以用有理数表示？
如何理解希尔伯特空间？
如何才能在高考前证明哥德巴赫猜想？
挑战！ 笔算计算3^6024和7^3401哪个大？
世界三大数学家为什么没有欧拉？欧拉是不是纯数学家？
如何计算 √5 的近似值？
大学想学数学，没有竞赛基础，有哪些推荐的入门书籍？
数学物理是研究什么的？