老农民如何做自然数到整数扩张？

合集 · 从零开始的代数 (3)

Description

从去年十月写完脚本到做成视频中间竟然经过了5个月......
尝试将视频做得紧凑一点，但看起来这个视频的主题并不是一个非常简短就能写明白的问题
中间有很多跳步之后一点一点再补充吧QAQ

为什么字幕一直上传不了啊.....
从外挂字幕改成内嵌了

Comments

Jabao-Abi 2026-03-09

老农民在一些实践中注意到了一些事物实际上是一些没有消去律的交换么半群，于是他补充了一些不足，构造出了交换么半群范畴到阿贝尔群范畴的函子，并注意到这实际上是遗忘函子的左伴随[doge]

♥ 145 ↩ 12

ships及时雨巷 2026-03-09

我看的不是星露谷物语吗

♥ 109 ↩ 1

绫濑枫-official 2026-03-09

鹈鹕镇大学数学系.jpg

♥ 69

库尔特鲁斯-陨烬 2026-03-23

把N转90度不就是Z了

♥ 47 ↩ 1

开心expz 2026-03-09

记得这个构造叫作Grothendieck群

♥ 42 ↩ 2

xml123 2026-03-10

课后作业：仿照视频内容，构造一个ℤ→ℚ的扩张，并定义在其上的加法与乘法

♥ 38 ↩ 3

三文鱼拌米饭_ 2026-03-09

这家伙在说什么呢

♥ 22

リムルちゃん 2026-03-09

整数集运算为什么要检查良定义，补充一下的话就是二元运算是一个映射，为了保证映射成立（即一个输入不能对应多个输出），所以才需要检查良定义举一个反例，f:有理数Q→整数Z的映射，定义f(m/n)＝m+n，1/2＝2/4但是对应的像为3和6，这就不是良定义了。从感觉上来说就是关于等价类的映射可以挑选多种代表元表示同一个元，不依赖表面（代表元）定义的映射就是良定义。希望对初学者有帮助(=・ω・=)

♥ 11 ↩ 1