我们十分熟悉的一点是有限域的构造: 只须对着F上的多项式环约掉一个极大理想---这里是一个不可约多项式生成的理想---就得到了一个更大的域(这是交换代数的简单结论), 而对于特征零的多项式环, 我们同样可以这样做: 比如说给R[x]模掉一个(x^2+x+1), 这显然也是一个域(试验证约掉的是极大理想), 通过简单验证知这个域是C, 那么对Q[x]做相同操作呢? 就可以得到很多不同的扩域了
小猫Channel
我们十分熟悉的一点是有限域的构造: 只须对着F上的多项式环约掉一个极大理想---这里是一个不可约多项式生成的理想---就得到了一个更大的域(这是交换代数的简单结论), 而对于特征零的多项式环, 我们同样可以这样做: 比如说给R[x]模掉一个(x^2+x+1), 这显然也是一个域(试验证约掉的是极大理想), 通过简单验证知这个域是C, 那么对Q[x]做相同操作呢? 就可以得到很多不同的扩域了
同样我们也可以对R[x,y]模掉(x^3+y^2+1), 这是一个整环(试验证该多项式不可约), 从这个环上我们能看出很多x^3+y^2+1=0的性质(比如说光滑性)
昨天读了两篇论文, 一篇论文里匿名审稿人给作者提供了文中方程的解法, 另一篇论文里作者不大会证其提出的公式, 但他有证据公式成立
显然后者没遇到一个前者的审稿人
显然后者没遇到一个前者的审稿人
👍1
1. 本账户持有者系前 @sinofine 用户名持有者, 谨对该用户名所指账户遭受不公待遇向Telegram官方提出谴责.
2. 本频道/群组系列在Matrix下有对应群组桥接, 欢迎前往探视.
3. 若对本账户/频道/群组有所疑问, 欢迎致电:
Telegram: @cubic_curve
Matrix: @sinofine:matrix.org @sinofine:envs.net
E-mail: i at sinofine.me
4. 欢迎访问频道主的在线主页 https://sinofine.me
2. 本频道/群组系列在Matrix下有对应群组桥接, 欢迎前往探视.
3. 若对本账户/频道/群组有所疑问, 欢迎致电:
Telegram: @cubic_curve
Matrix: @sinofine:matrix.org @sinofine:envs.net
E-mail: i at sinofine.me
4. 欢迎访问频道主的在线主页 https://sinofine.me
❤2