是不是自由的

那么后来另外一个德菲尔兹讲的亏了
他就等着呢就隔了这个 22 年 21 年对吧
呃解决了这个才行
而且就是要有限生成
有限生成这个投资
他说
这个是对的
这个就恰好就是自由
实际上就跟我们这个刚刚才分析下来
这个多元多项释怀实际上呃以及
这个李代数的这个包了代数以后
大家如果能有机会学到李代数的话
啊这个这个都是没有 0 因子的关啊
这个这个里面这个玩的这个单位的话
他根本就
呃你就找不到
因为他林子没有他们一等人肯定没有
所以所以就是说单位肯定不存在这个
啊分分成最更小的这个命等元的和啊
所以这个哎他这个时候的话呢就
他就只能表现为
投射膜一切的这个环上一切的
有些生成投射膜
只能表现为这个自由膜啊
所以这个这个这个这个
大家可以而且看见这个猜想还
还只要这个 APP 是主力向
主力向转还或者好像还有一个条件
或者是什么绝不还
那么都可以
呃在满足这个自由
这个学校不知道是不是还
他说的这个局部环也可
有局部环的话就刚才我们那个例子啊
节奏多项循环啊啊这个
这个这个
这个单位也不存在是装倒霉的原则
分解虽然他有有有有有有几大理想
唯一几大理想绝不还
就是有唯一的几大理想
最大利息
那么这个时候可以成为最大利息
那么另外一个我们呢就是说
哎对这个上节课呢哎对上
一次那个那个那个讲一个
那个同学没有帮我记好啊
我们这里
给这个这个命题就是说
呃关于内侧膜
我们怎么刻画这个内侧膜
我们最后有个结论
实际上呢
那个结论呢就是说任何一个 r 膜
这个 r 未必是交换环
都可以嵌入到一个啊
那是 m 当中去啊
所以的话呢
我们这个上学上节课有个同学问这个
那什么你满足这个啊
倒过来箭头改向
那么他存在性到底如何
这个问题当然是问的比较好的啊
那应该这么有有这样的问题意思啊
那么就是说到底存在不存在
那么
的确对
有一些范畴不一定是环的模范畴
那么这个他不一定存在啊这个
还是有些要求的
对这个环的环的这个按摩
这个构成的范畴哎
他他这个内什么是存在的
那么我们这里呢
给了 2 个正方
给了 2 个正方
那么就是说还是这个正方呢
理解起来呢
啊就没有一个歧义啊
那么就是什么意思呢
就是说对每一个尔贝尔群他首先是呃
自由群自由群的商啊
自由家群啊应该写个自由家群
自由家的群
那么尔贝尔群
自由家群自由尔贝尔群的商
那么呃
自由 ABA 群啊自由加群或者那么这个
他这个 m 是一个自由 ABA 群然后
然后可以删掉一个特能 k 啊
然后表现为这个商的形式这个 k
那么那么自由自由群的话
因为都是 z 模了
然后所以你这个自由加群都是 z 模
那么可以写生
z 的资格之和去商量
但是这个 z
每一个 z 呢它要是包含在 q 里面
好我们给它放大一下
放大一下这个在在 q 里
但是 q 是可除啊不要去
对吧
所以呢前面我们这个对可刷的群
我们这个有一个等价的刻画
主要是主力向整环
那么整数环是主力向整
那个时候的话呢
那我的这个 z 模就是 f h
那么啊他是可除 z 模
可除 z 模是单接间当他是内设内设 z
对吧是内设
内设 z 这个这里
啊内设 z
那那我们这个
呃这个是内色内膜
那么他直接起来呢
还是内色内膜内色
当我们前面正了一个结论
就是说内色膜根据这个定义出发的话
啊这个这个这个
呃根据
啊这个呃应该都在
啊这是 Ben 的对在前面这个啊
这个我们如果是一堆内什么做
做直接然后这个呢
他还是内什么啊当进去当当的
如果直接是内什么那么每个分量是是
呃分量的构成是那什么那什么啊
这个有一个等价的一个一个刻画
当这个内色膜的话
我们说这个内色膜做纸盒
是不是还是内色膜呢
啊
那么这个实际上呃当内色膜的纸膜
呃他是刚才说这个 q 是作为
q 作作为无线个
吃鸡的话那么那肯定没问题啊
那那这这里可能有限个可能有限个
你如果是有
这里是求和恰好是有限生成的啊
不要选 m
a 是有限生成让你可以取到有限的
生成员啊有限个家乡的时候
那么
那么这个值和跟值几是一回事对吧
那么当你如果
如果是无限增值的时候呢
哎那么就虽然这个值和无限个值和
呃可以看成这个 q 的无限个值机
内存模无限个值机啊
q 是呃每个分量式
然后他的无限个值计是那么是
那么他的增值模这个值和是不是呢
那么这个是当你无限个的时候
这个还是要用一个命题来说明一下啊
我就是说我现在承认他是承认他是
那么这个商店
因为内什么的商模还是内什么对
这样的证明的就他就没有歧义啊
那么这个是这个
命题四点四点一的话呢
我们也是新加进来新加进来那么
命题四点四点一呢是这么说的
那么左诺特环
左诺特环是有什么意思呢
就是 r 当中
你考虑他的左理想的一个包含
得到一个声电
就是说任何左离响的一个声电
他最后都是稳定的
那么这一这种环呢
他啊他不能无限向的增暴汗上去
他就是说有线部以后啊
他一定是中止的就就平稳了
就说你再把他扩大的话
就除非他就扩大到儿自己身上去
那如果是真值
真值做理想的话呢哎
他肯定是有限部一个真包含
你包含我
呃我又包含在别的上面
然后这种扩大的这个包含的话
他一定是到有限部就终止
那么哎
终止的话
实际上是跟他这个做理想的有限生存
是有关
生成元个数增加的话
肯定就越来越放大对吧
那么好这个
是 note 左 note 房就是这样一个啊
实际上跟这个生成元啊
所理想的
这个生成元的
这个个数肯定是有限的啊
但是跟这个是
维生电稳定的话
一定可以找到这个科划
那么 e k 的话呢是一组内增膜
然后呢哎
现在不是做直核直接是做直核
那么他也是
所以这个环还是环的一种性质
能够确保虽然他做直接是内设的
但是他的针织膜未必是内设的
对吧我们并没有任何这个判断
说内一个膜的内设模式是是
呃他的针织膜是内设
这个这个未必有啊
你像这个很简单的例子就是整数环啊
Mac 一的自由 z 膜
它可以嵌到这个 q 里面
q 是可除的对吧
可除的但是 z 是不可除的
所以呃这个虽然 q 是内色膜
但是 z 它不是
呃所以这里呢就有必要做出一个
这个一个一个用贝尔判断法则来判断
就是说我这个假设这个爱
是左理想啊
包括在软科一的这个自由魔里面的
一个真的左理想
然后这个啊当然这是个嵌入
然后的话我 f 到这个纸盒
它有一个给定的一个魔同态啊
给定的魔同态
那我是不是呃
可以提升到整个大的
两个 1 的自由魔环啊
本身上
然后把它把它弄下来是在这个
图的交换的
那就是说啊
因为这个
你既然这个映色是大的环
这个那就除了爱之外的话
呃那元素也要做定义
定义然后这个限制在爱本身上面的
就要跟这个小的
这个 f 要混合啊
是这样扩大这是啊
作为爱的一个扩张范围这个扩大
然后基本上
当然也这个扩大就是爱之外的元素
你要给一个合理的定义
使得他这个这个摩托太然后可以交换
那么这个哎
你就考察这里面的这个元素
这个纸盒里面元素他
那可能是无限之核可能是有限之核
那么呃反正是一个序列啊
一个序列
那这个序列的话元素取出来的话
那一定是呃
有限个不不为 0 的这个分量啊
呃这个才是纸鹤里面的元素
对这里面的元素是这个
这个家乡里面他只能来自于啊
非能源只能来自于有限的家乡啊提供
那么这样的话我们就有 support
这个 support 呢就是说呃这个
这个分量不等于 0 的
这个可以是一个指标级啊
8K 这个指标级
那么那么对每个 x
这个这个这个
support 的这个这种元素是一个有限级
对吧那么由于这个
啊是佐诺特的
而爱是有限生成的啊爱是啊
爱是找对象
呃
这是左诺特环呢的一个等价的开挂啊
是一个你这个左力项总归可以哎
从考虑一个生成员考虑 2 个生成员啊
因为他稳定嘛
啊所以他这个左力想
他肯定包考虑呃
考虑他的一个左力想的一个生练
他肯定是稳定的啊
所以这个稳定的话呢这个
呃他就只能是有限有限生成啊
那么这样的话
哎这个逗号怎么打到这里
啊于是呢这个你把生成员找出来啊
然后的话我们这个
啊中括号啊中
括号
啊这是前括号
前括号那么
就代表着理想的这个生存
有理想的生存啊
然后的话因为你这个印进来对吧
这个是 i 里面的元素是写成这种呃
这种每个生成圆
每个生成圆的话
你过来肯定有个像对吧
有个像那么这个像的 support
因为你这个生态原告是有限
所以这些考虑这个有限的像
在这个里边
那他的 support 的每一个都是有限级
那那那这个最多是 n 个
n 个的话还是有限级
那么这样的话他整个项的范围的话
你就可以控制他就可以控制的有限个
这个大 s 呢是一个真呃一个有限级啊
有限级
所以这个时候他这个直和
就跟直接是一样的
所以这个时候呢这个
对这个这个根据
这个呃这个 F18 的存在性的话
我们说直和的呃
直接的有两种性质
直接的有两种性质啊这个
一个对象到他
哎然后一个一个对象到这个 r
有一个淘汰
然后这个到
呃到他的这个
那然后
这个这个到他的
就可以形成一个找到一个女的一个梦
啊你再把它嵌入到可能这个搭配
是啊搭配
这个搭配
找到这个搭配
嵌入到这个这个里面
但是这个搭配
这个搭配
你要事先说一下
先说一下
你说一下
你看这个大概是你到底是在哪里的
你大概没交代
大概没交代
你这个大 k 呢
可能是一个一个
因为这个这个元素在这个河里面游走
游走的话他虽然对每一个给定的 x 他
他这个呃是这个大 k 里面这个有限级
但是这个大片呢
啊这个这个
这个可能是个无限极啊
这个大片在这里隐藏在这里交代
就说这个这个分量啊
这个大片在这里交代
这个大片的是一个指标器
可能是无线无线格啊
可能是无线格
也可能是可见无限
也可能是连续统的这个无限啊
然后的话咱不管啊
无限个的话呢
那那你这个哎
我反正可以弄出这个因为爱是有限的
那么他他的像也是有限的
每一个像的话
他的一个是升级啊
也是分布在有限格里面
所以这个时候他就
确定在一个一个值和
就是值期啊
因为这个
所以这个每一个 f 到 a i 的话
它可以可以落在
落在这些分量里面啊
落在这分量
那么这个
这个这个存在 F18
这个使得再再把它再把它呃
这使得这里好像要多说两句话
这个为什么存在这个 F18
然后这个在
这个在嵌入在这个里面是现在啊
现在在这里
但是这个呢
可以写成字迹啊
这里写成字迹
这直接的话
他就是一个那什么
因为有限个词和就是直接
那就是就是那种
那这个
这个应该我觉得应该是
这个到这个
要到中和
这个这个存在
在利用之后的这里有没有这种性质啊
然后再
看第二个正法
第二个正法呢哎
就是书上提供的那个正法
但书上那个提供的正法呢
呃是美国研究生教材 GTM4 当中
呃提供这个正方
但这个正方呢
仔细推销下
来呢他是是不对的啊为什么不对
我们来看
呃他是这样建立的
那个他利用了这个直击
直击的性质看上去表面上看是对的
实际上他那个
呃等一下我们可以分析下来
他那样随意建立那个音色
他并不能构成一个呃
阿贝尔群之间的同态啊
那么我们假设 a 是阿贝尔群啊你如果
假设这个是他的生成原集啊不要群啊
作为 z z z 模
他总会有一个生成圆集对吧
啊如果是有限级的时候就比较好办
因为有限级的时候那么有限生成啊
不要全部没有接过电给对吧
那么这个啊他可以写成 z a
这个每个 a 都是自由人啊
然后这个生成员之间先任性无关的
那么你的因为家乡各处的有限个
然后的话呢
哎我们只要考察每一个 z a
这到他是不是有限度啊
那么考察每个 z a 的时候呢
因为你考察一个乘车员的时候
呃
那可能是有线接
可能是无线接的两种情况
我跟你说啊
拜去对吧
如果是有线接那么假设他是 m 接
m 接的话呢
哎我这个 z a
就把它 a 生成的这个循环群呢
把它的生生成元呢
对到这个 m 分之 1 在这个是
这是 Al Bia 群对吧 Al Bia 群
然后这个 m 分之 1
在这个群里面的这个周期的话
跟 m 的这个接触的话是对起来的
因为他这个 MV 的这个
n 分之 1 就等于 1
那就他就跑到 0 去了啊就是被伤掉了
对这个 n 分之 1
它的结跟 a 的结是是一致的
那么你这样的话呢
在生成元上对应起来啊
一致的话就可以建立一个
呃这个达标群同态
当然你也可以建立只要是呃他的
他的接跟他的接有有互相整治的关系
然后那我 1/2 也可以
那么我就是说呃那么
我这个接触就不用这么大了对吧
你如果按的是是偶数的话啊
那么啊当当他这个这个必须是
必须是后者的结
必须是可以整出前者的结
你才可以做这个啊
不要选同的
但是呢我们是为了要把它嵌进去对吧
所以我们这个要搞的两个结一样大
一样的
当你也可以签到这个
见到这个
2M 分之一 2M 分之一就是他的这个接呢
他的这个接呢是就是后前者的这个接
你要保持是单的群同在的话
那么呃这个接数要呃要整数
负责的这个接数啊
当你你我们这个这个切入
我们当能够做到恰恰好的签进去
那当然是最好
那么选安分之 1 就直接了当
那这个无线接呢
啊
无线接是将你一个分量是搞不定的啊
因为这个里面 q 上吊
这里面的元素都是有线接
你随便拿一个推理员出来啊
他都是有陷阱
因为根据一个例数是两个 7 月
整数的相除对吧
然后的话
而且可以保证这个
因为商的话可以取代表员
那是分子小于分母
那么这样的话
那么
啊你他都是有线接的呀
所以你这个无线接的话呢
哎我就要靠这
个啊就要搞一个无线序列的来来搞他
有无限序列的话
每个分量上给定一个元素
他都是有音节的
然后哎
你可以让这个接触明显看出来不一样
但是这种这种缺乏就是
1 一个一个区吧
这样整个这个无限序列
那他没有每个分量上没有公共的接触
他是一个无限减对吧
所以整体体现出来这个元素是无限减
所以这个就跟 a 的结就匹配啊
那你可以用十进制也可以啊
我这里 1/10 啊 10 的平方分之一啊
10 的这个 DN 次项的话
就 10 的 n 次方分之一
那按十进制这个小数来来来配对
那也可以
那就那就更直
那就这个这个对应就更更自然了
那玩意因为 q 我们是时间制的对吧
然后我我搞有理数随便取过来
这个这个这个
当这个有理数要搞个无限序的
要无限序
所以这这里的话这个拍的话呢
这个是对
这种音质就一定是区
至少要区
嗯这个时候呢
但是呢如果 m 的是无限生成的话
那么这个问题就大了啊这个问题啊
无限深层
我们没有好的这个结构定理
不像有限深层啊
不要群的话呢
他有资格分解一定可以分解到啊
循环群的这个资格分解
那么这个的话呢就是说啊无限多个
但是没考虑 a 里面一个元素
这个大这个
这个 m 档应该是大量的
这个这个要小 m 打一个大的
然后
取消注意一下
然后然后这个盒子一个
虽然这个集合上写这个盒是
一个无限盒
但是你每取一个元素的话
它是落在一个有限盒里
那么
所以这个考察里面
每一个抓取这个大 a
里面每一个元素的话
他的分布的话
一定是跟这个有限的加项有关哎
那么这个有限的假象这个 a
包括 a 生成的这个啊外群
他实际上都是落在有限个生成员的啊
虽然可能不是值得假象
但是我们一定可以通
过对这个生成员的选择
使得他落在有限个循环膜里面对吧
所以这个呢
就实际上你要做到这个的话
实际上就要用
我们前面讲的这个长按极限
然后我这个长期限的话我可以哎这个
这个我可以不断的不断的不断的
这个放大啊
放大这个家乡的个数
然后实际上呢
每一个每一每一个阶段的话
他实际上都是有现象
有现象的话我就可以可以
用有限生成啊外群定理的话
可以造成一个资格啊
那么那么这样的话
实际上他这个按照这个序列
生成员的不断增加
然后啊这个
他每一个呃
确定的部分都是有很有限很
但是呢你可以造成一个包含关系啊
包含关系的话呢
哎这个是超万盈率他就有有有
那个包含的一个上链他有几大元对吧
人家严格的证明
所以这一个无限生成的时候
就要用这个选择工龄
或者呢是正向极限
我们后面要讲的这个代数上的这个啊
正向极限和逆向极限
呃后面我们会讲这个概念
所以这个呢就是
你感觉就跟你有一点不太
模糊啊不太好像吃的准
那么这个证明的话就是说
他要借助于这个呃
呃选择公理的一个依赖
才能把这个事实呢
啊整清楚
当然你这样一个正法的话
呃你是把这个每个生成员都
欠进去的一种方式
都看看明白了啊
那么
最后的话呢
就是啊如果他是每个字和下象
他是可以牵在这里啊
然后呢这个纸盒
这个是纸盒
但是这个纸盒呢
一定是包含在纸巾上啊
这样这样看
这样看
这是对有限生成的
在无限的生成的时候呢
就是说啊你这个
这个就必须要从 1 里来
来对这个不断增加的这个资和家乡
他有一个包含关系的一个上界啊
封闭那么我们注
但是这个就跟我们如果你是用选择
不是用第一种方法选择 q 啊
那么选择这个 q 商标类
前面我们看到例子都是这个
内设字母对吧
或者可除可除 r 的群
那么实际上的话呢
这个第二种构造
可以让我们想清楚一件什么事情呢
就为什么这个尔贝尔群
都可以嵌
入到一个所谓的可除尔贝尔群
那么实际上的话
这个可出性
可出性内饰 z 模跟可出性是呃
实际上可出性的话
就是说你环里面这个系数呃
r x 等于 y
这个啊确定这个 y 确定
然后要确定这个模里面有这个 x
x y 都是模里面的
那么你这个前面的 x
前面的系数随便点
在环里面随便点
随便点的话他都存在减
那就是这个是所谓的
可触性这个可触性就像这个啊
这个 q 作为内膜的这种可做性
但是他有一个
因为他是无限的 q
我们前面讲过
q 是无限生成的作为内膜对吧
但是你随便连
他不要很多元素
他三个元素他都是瑞幸
无关的
都是一个一个一个非灵尤里数
他都是呃
瑞幸无关的都是瑞
瑞自由元
但是你两个拿出来他就是瑞幸相关
所以他这种啊无限生存
他就不能有效的做成一种资格
他实际上我们学
数学分析里面学有理数的时候
就有理数是稠密的
这种稠密性在代数上的话
就没法没有办法用一种语
代数的语言来描述他
但是呢它是一种可除性对吧
它整数环 z 它没有可除性
但是啊 q 就有可除性
这种可除性呢表现为一种呃
这个
在这个这个这个证明的过程当中呢
实际上可以体会一下啊
我们假设 a 是可出 200 群的 a
取一个小 a 属于大 a
然后他生成的这个呃循环群
他应该说是真包含
如果他有个接啊他他肯定有个接对吧
他如果是一个有线接的
那么他一定是真包含
在这里要加个有线接
他一定争霸会在这样一个东西
那么这个元素呢他的结就
他除了
n 是以后
得到 a 然后 a 的话再加上它的结
所以这个元素生成元的结会更大
m a 的 a 的结
对吧
所以这个 n 是个大一的一个正整数
那也就是说除可除这个 AV
群的话如同尤里数加群一样
啊他的这个生成元接触
可以被任意次去放大啊
比如说这样一个区别哎
他生是一个啊白裙
但是我在可以这样除一除
然后这个还是因为他是这个元素
还是这个可除啊白裙里面的元素
所以的话呢
哎他你考虑他的生成员的话
那很显然这个这个
循环群会比这个循环群来大
他就不断的在放大
你除了 m 平方他也在放大哎
这个而且而且而且是没有极限的啊
一直可以上去
这换颜值的话
所以循环膜都包含在啊
无限长的子膜链当中
这个子膜链他就不稳定啊不稳定
这也就是说非诺特性质啊
这因此呃也因此呢
呃也也就有这个所谓内侧包的概念
任何一个膜啊有内侧包的概念
因为为什么呢
因为我们前面正过一个命题啊
就是说
如果一个膜包含了一个内侧膜的话
那他应该呢
啊我们用内侧膜的这个性质啊
这个时间现在放在最后了
放在最后这一节最后的叫做
呃内二是内侧膜
如果这个短针和裂是
是是分裂的啊
就是说我这个 i 是嵌在这个 b 里面啊
这个是短针和裂啊
这个时候
爱的内侧的话
就给这个短针和裂造成它的分裂
分裂性
分裂线的话
当中一项就表现为
首尾两项的这个直核啊
那么这个直核的话呢
你这个这个 i
这个内侧啊
这个
啊这个
at 的话那么
这个可以造成这个
这个这个这个这个这个序列式分裂
就是
i 是类似
然后这个 b 是 i 词和上这个
词和上它的商模
这个商模实际上
呃也可以作为 b 的一个政策
电比四点四点五啊这个
点四点五
点四点五
然后看一下 4 点四点
就这个
啊对这个
因为一串膜啊这个
给你 10 点 10 点
我觉得一串摩托直接的时候
每个分量是是是是那啥的
然后还挣了一个
还挣了一个应该是
应该是刚才添进来的那
个添进来的这个应该是
应该是这个吧
呃我们这里这个 z
z 的话它这个
对对 z 的话
z 的话当然是
他这个是
他这个他这个分量是是是稳定的
z 是 note
所以所以这个
一组内存模式之后
它还是是内存
内侧包的话呢
就是包含这个内膜的一个
一个最小的一个呃
一个内侧膜
一个内侧膜
啊那么那么好这个
我们这里再看一下
再继续看一下这里
在这里
那么呃
根据上述这个论段的话
实际上我们没有办法去建立
因为正是这样一个不断的深练
无法稳定他一直要包含上去
所以你这个对这个我们这个呃
这个 g t m 4
或者陈志杰老师说上的这个命题
呃他说取定一个新成员
我要建立一个阿白群同泰啊
然后
你对 a 生成员可以指定一个项
那么我们可以按上面这个
呃有线接无线接这个去指定对吧
指定了以后好
你是指定的但是呢
但是呢因为你这个之外的元素呢
在这个 a 生成的之外
的元素怎么定义这个群状态呢
因为这个东西
使得他能不能包含在他的科鲁里面呢
啊
这个实际上是做不到啊做不到的因为
这个这个越来越大
而且
因为这个元素他按揭以后就就得到他
所以他呃这个这个元素的话
就这个是在这个这
他是是是在这个 a 减 a
a 里面 a 减这个 a 里面
对他的这个
如果是他是属于和的话
那就这个东西就等于零的
等于零的话你就因为这个是周期元
所以他 PK 是败 AA 等于
就跟我们一开始的定义就矛盾
这个跟我们指定矛盾
所以你
你实际上是得不到一个满足这条件
所以这个
他即使是把说把他这个 a
欠到每一个呃
这个比如说是内什么内什么
他是这样他就
并不能用这个
内什么的直击的那个性质来
得到一个提升啊
因为每个生成员
当然你可以建立一个群众带
但是这个生成员之外
这个循环子群之外的那些元素
因为这群
太这个之外的元素还是有关联的啊
那么所以呢他就是说
哎你说啊
你说这个之外里面
我再去找一个类似的建立
那么他跟他之间
那那那那那那那交接的话
要可能会就就就就要出问题啊
你这个
这个就你就
不可能做成一个
这个
这个你这个至少这个这个通太满
这个东西的这个性质就得不到啊
他那个那个定点是就就就
啊是用的这个
签到签到里面然后
他的一个他那个证明的方法
呢就是说我考虑这个里面生成员
我这个生成员然后他生成一个
然后在这个之外我再去申请生成员
这些生成员然后再去做做对
再做对然后你这个实际上
你这个这个生成员
另外一个生成员在这里面取的
你你指定过去以后
跟他这个指定过去以后
他是这样他都有
呃通过通过这种处理的话他可以
呃他可以有公共交啊这个
这个这个里面就就
就就你这个不能很好的这个匹配球
这个里面会出矛盾
对对这种性质的话哎
另外一个注
那这就是如同这个 q 是无限生成的啊
这个
这就是如同 q 呢是无限生成的 iPad 群
为什么
没有有限生成 iPad 群的结构定点啊
这个这这对无限生成 iPad 群
他没有一个呃
像有限生成 iPad 群一样
写成这一个循环群
循环类的资格啊
那么他就是存在这种像这个啊
俄罗斯套娃一样啊
一个套一个而且无纸巾的套上去
一个欠套的这种啊
所以那那那这个
所以代数语言没法描述这个
q 的这种成语型啊
所以这里我们就类比这个 q 或者是
q 商调 z
设计了这个所谓内设性的这个概念
这就是可以
这个你可以领悟跟揣度这个内设
这么也就是可除啊
不要去那为什么他不断的可除了
你从这个
从这个这个这个序列的这样这个
这个包含这个
啊这个特有的
特点里面
那你可以
可以可以可以想象一下内侧
内侧膜或者可除外边群
该有的这个模样是什么样子
就是实际
上他是不断的存在这种欠套啊
啊若刚刚背出以后
又得到你这个一个一个低阶的升级
啊然后的话
内色内膜的特点
等价的可以体现在特殊性上
所以这个为什么
就是说前面我们那个命题
就是先正这一个啊不要全可以
迁入到一个可刷的群也就是内设定
对吧啊等前面我们有个等价的客房
可除可除这个主题项的长官上的这个
模跟这个内设的模式是一样
所以这个所谓可出现可出现
就是因为从这个这个这个这个不断的
因为他那个 r
r 倍的 x 等于 y 啊
y 时间给点 r 任意给
所以这个都有解
所以这个就是说你像这个就是就是
就是说这个东西都有解对吧
这种这种生存源他不断的可以被
被这个倍数去加大他的磷化值
加大了加大他的磷化值
樱花指的这个这个结
所以这个
这就这就是呃
从这里你可以去琢磨
这个抽象的这概念之间
啊他是想做的一个什么事情
你你你学这个抽象的这个东西就要
去琢磨
那实际上我们这一个可除耳败群啊
如果说可除耳败群的话呢
我们可以证明呢这个啊这个
玩到这个
这个这个这个 CTR 群啊这周围啊 z
加快群同态
还有这个内设计模
这个内设计模
这个这个就就是
上节课我们讲过
然后这个过程它是一样
那么我们这里呢就是说我们把这个陈
老师的
那那个里面的有一部呢就简化了
实际上呢看法还是一样的啊
那么就直接
直接的话就是说把 m 可以嵌
嵌入到这个呃
这个
就是考虑这个机环啊
原可以自由魔道 m 的这个
啊不是考虑他的呃
这个只要考虑这个啊钙群同态啊
全体那这个是一个嵌入
这个嵌入呢
哎然后这个上面的左
因为这个有所综合性啊
所综合性所以
他当你 m
所综合性的句话
他就是说是斜变汉字
就是说 m 到 d 如果是一个嵌进去的话
他呃啊第一个位置固定他后面还是
他还是保持左正的
所以还是保持一个嵌啊
所以这个就就只能放大到这里
the d 呢是可熟
阿根廷的话我们前面讲了他是
内设这个啊这个这个是内设
内设
就是这个内设
所以这样的话呢
我们任何一个按摩这个环不一定
不需要交换啊
这不交换的按摩都给嵌入到这个
不交换的啊啊
不交换的还要还都可以
他的任何模的都可以切入一个内存啊
都可以切入内存
就内存不存在的话呢我们就啊就
就
就这个在
在一堆的这个嵌入里面
在一堆的嵌入里面一定有最小的啊
你如果迁进去的话
他就一定是造成一个植和分解
你看你迁进去是一个植和分解对吧
那你如果这个呃
我说这个内色膜啊
这个内色膜如果有更大的
这个 b 也是内色膜
那么那么
那么这两个值和加项也是内色膜
对吧那么这个
你这个这个我们实际上
实际上我们就就就就
这这个有内色包的感觉
说任何一个膜可以嵌到内色膜
实际上可以嵌到一个最小的
这个内色膜
来个最小的
呃
那么这个这个的话呢就是说
验证它的单色
这个单色好验证根据这个定义好验证
然后这个 r m 同太
也是直接根据这个这个 home z
r 上面一个一个一个模
这个这个定义
摩羯座我们前面定义这个
在在这里定义
这里定义
这个前面定一个
打在这里定
这个怎么去构思
你看这个作用在这个这个这个这个
f 是属于它
然后啊作用它
然后把它绑在一起
然后点作用在 f 上
然后在这个还是还是这个里面
那个元素是什么呢
它作用在这个上面的
是规定把这个提到 a 的右侧
因为 a 的话是 r 里面的元素
r 也是 a 里面
所以 r 也是 r 里面小 r 也是 r 里面
所以都是环里面元素
你可以所以搬到右边的成没关系
然后成了以后呢
还是 r 里面的一个元素制定到 a
所以这个啊最后这个效果的这个
r app 的定义呢
就是这样一个借用 APP
跟 r 这样一个一个一个
可以验证它是构成一个 DRAM 这个
哎这个这里我们就
应该说呢
就比那个那里啊陈志杰的书呢少一部
原来呢就是因为我们多一部呢
就是 m 可以同构的看成这个
这个 z 的地方换成
r
因为这个
通过于这个 RNC1 自由模到 m 的
这个所有的这个 r m 同态啊
这个跟 m 是同构的啊
那么这个的话再把这个 r 呢
呃这个缩小到这个 r b 群的情况啊
那么这个这个集合是放大
然后他这个转转 m 结构
所以这个本质上还是一样
但是我们可以简化一个
简化一个直接
所以这个证明的长度就变小
啊这个内射膜我们就
再给大家巩固一下啊
这样的话
后射膜内射膜这样呃
这个任何一个膜都可以嵌入到
一个最小的一个内侧膜
这个内侧膜就是这个膜的内侧包啊
你牵到更大的内侧膜就造成的这一种
这个如果 b 也是内侧的
然后那么就造成这个 b 是写成
它的字和啊
然后变更大的是他的职合的话
那就要造成 c 是类似的所以的话
那就没有必要搞那么大
对这个有内色包
极小的这个内色膜去清理啊
那头色盖
头色盖因为任何膜都可以作为
队友的概念的话
当你这个任何膜
都可以迁到内色膜里面去
而且可以迁到一个最小的内层
膜里面去
那么这个这个用这个箭头反向的话呢
嗯那就是说
任何一个膜
本来就是可以作为
除色膜的一个同带向
那实际上呢有一个涂色盖
涂色盖
有任何一个膜都可以用一个
最小的这个涂色膜
把它给盖
啊涂色膜
你可以有很多当做一个涂色盖啊
然后这个 to the GAI 的概念
啊我们前面
后面再考虑再把
那么今天的话剩下来的时间
因为我们不敢放掉很多课啊
这个放掉很多课
到后面可能讲成交代数就不够了
啊我们这一个这门课关键的话
要落在最后一张
要
鉴定完这个啊
这个前面是魔
然后呃一些一些队友对象
那么今天的话你要讲这个
呃膜之间的这一种元素
啊或者相量空间的里面的相量
以前的话相量空间里面只涉及到这种
或者膜论里面环上的膜
都涉及到这个元素之间的线性一致
布载了一个环的作用
然后呢他是做线性的
啊啊拜群吗
可以做加法运算
线性组合运算
那现在呢
就是说项量之间
能不能做一种乘法运算
做一种乘法乘法我们也叫做计运算
乘计乘计
那在学这个解析几何的时候
呃大家是学过这个像样的外机对吧
那个呃 v 项量跟 u 项量做外界的时候
那么调换次序他啊插个符号这个
这个项量做外界的话跟 3 个项量
如果啊他这个
两个项量的外界
他是跟这个项量不贡献的啊
这个形成一个立体的
嗯在学这个 o y g 的时候
或者先行单独的时候
实际上是
求他的这个体积对吧
大家都都很记得
那这是一种向量之间的一种运算
那么今天我们呢要介绍的呢就是说
向量之间呢
我们比如说假设我们有一种啊
啊圈层这种沉积运算
你从两个预算的向量空间出发
那么都是有限为的
因为遇上的相连空间可以谈就
是自由自由模了啊
自由模他有字
或者就是字就是尾数对吧
呃
那么就是我们遇上相当空间
这星星代数里面这个概念啊
然后两个有纤维的
如果有一个 u 是 m v v
是 m v 那我们是不是可以
利用 u 的一组 g m 的机箱量
v 一组这个 m 的机箱量
那么做一种扩大的这个
项量之间的乘法运算
然后使得呢
这个空间的尾数呢
是两个这个空间的尾数的成绩啊
那就有没有一种这种圈运算
把两个相量空间做一种成败运算
一种计运算
然后使得他拥有一个什么尾数呢啊
来自于这个 u 的尾数
跟 v 的尾数的成绩
那就是互互为倍率啊那么
那么你从一组基础发
那很自然的
你要拼成这个 m 乘 n 个机箱量
那么很简单
就是这个元素跟这个元素
把它绑定一起
绑定一起
绑定一起就是我给他圈在一起啊
圈在一起
然后其他的项链就是他的星星组合
对吧
那么这个这个要必须要构成
达到这个尾数 m n 的话
就必须要构成一种线性无关的项目
那是一主题啊
那么你张三可能是取了 u 的这一组机
啊 v 的这一组小
然后可能李四来做这个事情
他取的机跟你不一样啊
学的机那就是这两组机之间
因为同一个商量空间
还有这个
这个互相表达的这个肯定矩阵 a
来表达这个过度矩阵啊
那机之间的过度矩阵然后
那么这个你是做这个事情的话
那他也想把这个 u i 一撇
圈上
这个 v 接一撇作为他那个空间的基啊
那这两种空间
的基之间
是不是可以通过这个 a
b 这个矩阵来过渡呢
那么就是说啊
就是说实际上我们可以这个 u i 撇
实际上可以用这个展开
用这个项链带进去啊
用这个项链带进去这里
学校这里写的写的不对啊
这个 i s 应该是 s i
否则的话
不太不得不不太讲究这个
这个是航程链这个
这个这个接替这个位置也要换一下
这个吸收不容易
这个前后秩序都要
都要都要关照的
你这个写着他的先进组合啊这个
那你这样的话
好像这个前后这个指标次数是无关的
但是你如果用这个用这个机
把机上排成一行
然后矩阵排成一列
那么你就实际上在这里就要有个习惯
那就要知道 i 是放在固定的链
然后这个这个指标的话呢
就是说这个指标是对对行
行数在
行数在求和
但是不是这样
必须在行数上
这个
这样写才才对
否则的话你就就体现出来这个数字
数字有问题啊
然然后的话呢
当然你必须就是说哎
这个这个系数这个系数
那这里有个全程
然后这个全程是关于这个求和
这个两边求和实际上不需要分配
纯配你必须要把它提出来绑到一起
变成这个
玉里面系数然后让项链项链绑在一起
那实际上这 1 个这边有加法这边
有加法两两头有加法
关于这个圈子实际上就是乘法
关于左右要满足 1 个分配率
实际上就是说呢
就是说关于加法的时候
如果是 2 个的话
那么你这里面固定 1 个
那么他就要分配啊
分配给他写开
然后如果是这边是一个的时候
然后这个这个加分的就也要分配
然后这个可能他可能因为先进组合
他有系数啊
系数的时候呢
就这个这个必须就是说要提取出来
提取出来
那如果系数出现在第二个这个项链
这个因子后面的话呢
哎也可以同样提取在同一个位置
然后哎实际上这个这个里面
你这一个啊 u i 一撇
圈上 v j 一撇
等于这个数字的先行组合 u s
圈上 v t 啊这个先行组合的话
实际上你用到了这样 4 条啊
运算规律啊
那么这个就可以提升为我们呃
这个这个呃
那那说明这个大的项链空间
跟 g 的选择无关啊
跟 g 的选择无关
实际上呢
还可以就是说你这个和这个
这个这个这种圈机
u 跟 v 之间圈机
然后任何项链都可以写成这个啊
机缘的线性组合
那么啊然后
然后你替换一组机的话
也可以写成一组新机
绑定了以后的线性组合
那么这一种这种这种这种鸡的替换
或者是把任何元素
写成这种鸡的现任组合的时候
用上实际上都是呃
仔细分析一下就用到这 4 条规律啊
4 条公里实际上就是说他
呃这个是这样我们也把
这个叫做香料之间的
最早的也叫 Clonic 啊
Clonic 是一个数学家啊
可以满足上面 4 条性质
或者是运算公里的这个基的运算
我们用另外一个记号啊
这个坑因为他也
这个系数必须要可以
可以跟这个圈运算
可以你看交换次数可以啊
当然这里好像你看不出来交换
但是第二个因子就交换到前面去了
对吧所以这个要要要要
实际上这个系数呢他是这样有个跨越
跨越这个圈然后通通过来
实际上是相当于有个通道啊
他允许这个数量在两头之间的游走啊
所以这个张
我们就把它写成这个张亮景啊
写成张亮景
并成为这个 UK 上相连空间
u 和 v 的这一个商量级空间
啊这里学校给我加一下
或者逗号或者叫做 Clounic g
这是 Clounic g 呢就是以前的一个说法啊
那么实际上我们从如果从一个自由
自由模出发啊
这个 r 如果呃 k 如果是不仅是 e
那么那么我实际上呢
呃也可以这么做那
那你现在还是可以看成是越
那自由自由 k 模的话
那当然就是说啊还是相连空间的
那么这一组相连空间的话
你当你这个这部机是一个二元队
二元队这个两个项链
是分别取自于右跟 v
那么这一个二元对
抵抗二级里面的二元对的话
呃这个这个这个学校
你这里不要写成圆括号
这个写成圆括号去掉
那个逗号去掉
用个叉 g 实际上这一个元素
的话这一对 you dot 呃 you 逗号啊 Com
然后 me 这个原封号
这个是属于 u 跟 v 的这个差级的
卡级啊属于点卡级
但是点卡级里面
这个相量空间虽然是有限为的
但是相量如果欲机遇是无限欲的话
那这个里面的相量是无限个对
一般来说在
无线域的时候那那这个空间非常大
所以就无线无线
无线无线
那么这样的话呢
这样的话你这个距离我们要求的 m
m m 为这个相连空间还还遥远的很
这个这个是无限为的对吧
就变成是介绍你以他为基
这个空间扩的太大了
并不是我们所要求哎
但是你如果这一对元素因为这里面上
这里面就是圈集
设计到一对元素
在做一种一种成本运算
啊就是这一对元素的时候
呃当你就是我对比这里的 1
前面有两个后面有一个
然后呃跟这个跟这个的差啊
差下来的话
因为是自由模
所以他是系数是 1 倍的
这是-1 倍
-1 倍当然是在在这个域里面的系数
限定组合是在自由模里面
所以这个元素也在自由模里
然后这个元素呢
也也在自由模里面
因为这个 r 是属于这个 k 的对吧
这个这个差呢也是在自由哎
然后你这些元素形式的话
你就生成一个自由自由自由
自由自由
那这个字又怎么是这样的话
这四条的话
等价实际上这里是等价
这个不仅仅是推出
然后反过来推也是对啊
就是你这个这里取的少
一点啊取两个加项
两个加项或者一个加项两个加项
两个加项一个加项
那么就得到这一点
然后一个加上一个加上一个取一倍
一个取 r
那么就得到这个
要么这个取 1
这个取这个 s 就得到这个
所以这个这个是两个是互推的
就是说那这都从这个线性组合
当然你这边有的话
这边这个我会对各家乡各处做归纳啊
然后的话
啊这一个这一个的话呢是这样
是由这边推过来
当倒过去推也是也是可以的
所以这边是一个等价
所以也等价也这个东西是在 f 的啊
那他可以生成一个子加群
因为这肯定是一个增值群啊
子加群然后这样一商的话
一商的话
那么这个同带项的话就就就贯通了
就是说这一个元素
这个都有商的代表员
像就等于这一个商的代表员
加上这个商的代表员
那不就是就是我们这一个这个这个
这个第一个式子表达的含义吗啊
第二个式子在上下来他这个同台线
那就是这样就这个这个含义啊
第三个式子
第四个字分别跟这个对齐啊
那么你如果你这个 g 这个
这个里面这个商
商还是个按摩商
这个按摩就表现为
呃这个马上就从无限为变成有限为啊
这个为什么呢
就是哎这个因为这个你这个这个
系数可以游走了以后啊
啊本来的话你这个一倍的啊
如果是逗号逗开的话
一倍的啊
跟我二倍的呃
呃u
u v
跟我二倍的 u 到呃
逗号 v 这两
这两对元素在这个自由魔里面是
无关的各占一位
现在你把它贯通了
贯通的而且不止一个
这个这个 r 倍 k r 在这个域里面跑
所以
所以这个只只我这个这个这个 u 的话
我只要取一个机元素
那么跟他成一个倍数的这种项链的话
那整个这个数量的话
你看他这个在第一个分量的
这个他可以游走出去了
所以就这一个机项量跟这个机
跟这个机项量的啊倍是是是成倍数的
然后这一个的话跟这个成倍数的
所以所以左右系数通过这个
通过这一个两边相等就
可以游走这个系数
跟游走这个线性相关的话
就从无限多个变成变成有限个啊
对还有这个加法啊
那么这个合在一起考虑的话
实际上这个尾数马上就降到有限尾
m 乘按尾
然后
然后这个这个要要要要
要要要要空一个空一个空一个这个
那么这个这个性质这个性质
那么实际上呢
就是你看系数给到第一个分量
那同在向我们这个 18 切换成这个
所谓一个乘法加一个圈把它包一包
然后作为这个呃
这个商模里面的运算结果
那么它运算结果三个呢就要混合一次
那在原相
原自由模 f 这里面
空间里面他是互相区分的啊
是互相独立的线性
线性无关的相连
现在你跟他一商的话
这三个元素是等同于 1 的元素
那这个尾数就就
就一下子就就从无限位就
降了多少的数量级降
下来啊
然后这个也是啊这个也是这个就哎
所以这个张亮记这个运算
就是我们刚才那个圈级的运算呃
这个
我们从这样一个线性代数的一个直观
然后给你一个抽象的这个
张亮界的一个刻画
并把这个东西呢
上升为我们下面要定义的这个公里
定义的这个公里
那么这个哎
这个就是其实很简单
你这魔力里面的元素做线性组合
做线性组合
然后这种元素让他做做乘法
然后碰到线性组合
加号呢大家同时往外提
然后系数同时往外提啊
提出来以后
就是说剩下的那个生成圆给他做张亮
那么这一个呢就是说呃
左右分配率来自于这个啊
双线性性质啊
然后这个哎
这个东西你看这个东西相等
啊当然就简单把它这个
啊这个插了以后啊
再落在这个商标的这个
里面啊
当然就是说你如果这个这个啊
这个这个没有给我改这个啊
等于这个 10 数域这个双写啊
大双写
呃当你是
在这个通道是时速域的时候
根号是时速
然后这一个
这个因为根号可以看成根号乘 1
所以你可以把 1 留在这个右边
然后让根号通过这个
因为这里就相当于是
这个张亮吃鸡之间
这个通道的大小就相当于一个水
水闸一样的啊
我要让多少水可以流过来
那么啊这个是有理数呃是无理数
根号啊随时数它就可以流动过来
流动过来它抵消了就变成 0
但你如果是有理数据
这个 q 要双写
有理数据有理数
据的更好
不是有理数据
那他就两边就不能贯通
就不能游走到左侧
游走到右侧右侧游到左左侧
所以这个就是个非典啊
所以这个这个这个张亮记
这个当中的这个通道的大小被决定了
这个元素啊是看上去都是减法
形式上一样
实际上最后的效果不一样啊
所以这个这个大家要注意
所以呢就是两边这个做织机的时候
他就相连空间
这个学校这里要把我改过来
这个 u 跟这个 v 是两个空间做 declar 级
做 declar 级
declar 级里面的元素对
去做 g 的话
那当然
而且是自由基对吧
那么这个 f 是无限制的啊
无限制
那你这个 k 如果是有理数据
那么我这个是可列可列无限
你如果是上升到 10 数域
那么我是连续统的这个无限无限
所以这个这个这个这个要放心
那么这个这个这个这个呃
对这个那么这个张亮器啊
就是不仅这个
这个分配率成立
而且左右这个系数给贯通啊
贯通
这就像暗度陈仓一样啊
本来这个这个
两个房屋之间他没有通道啊
挖个地道过去
一点
就变成两家变一家了
那么这个数四点五点三啊
做张亮记取决于通道的大小啊
这个啊呢
哎这个这个怎么会写一个 2
这一呢
啊 e 在什么
哎相连空间的转联
这是一种我们新遇到的一种
扩展的一种运转啊
那么那是交换环的时候也可以
取代这个机遇 k 啊类似的定义啊
啊
原来是 k 先行空间啊
那我们定义这应该是 r 呢
这个 r 先行空间的上
呃也不能限行空间啊啊模啊
如果交换的时候
这个 k 限行空间必须要写成啊模
啊模的重量级
你可以定交换环上的两个膜的
如果是非交换环呢
哎这个前面我们说过交换环的时候
这个左磨右磨
这个这个数量这个非常有讲究
因为你这个呃先行代数的时候
左右这个一个相量的倍数放在左边
右边是一样
但是你如果这个膜的话呢
哎放在这个这个贯通的话
那你从你从你这个这个张靓机啊
这个张靓机这个你看这个这个系数
从这个 r 是放在
胃的这个左侧
左侧跟他这边接近的
应该游走过来是应该到这个右的
这个右侧来你怎么让他跳过来等于
放在这个左侧来啊
再进一步再跳
跳过来跳到这个之外
实际上这个这个方向性是有讲究的
在非交换的时候
这一个游走过来就必须是右按摩啊
你要让他这个左按摩
右按摩要提过来的话
那那那那那就会出问题这个
对对非转换的时候
我们后面会提到这个商量机的定义
他必须要对商双模啊左右双模
因为这个 a can't b over r
在环 r 上
对 b 来说它 r 是左侧作用
对 a 来说是 r 是右侧数量作用
所以这个的话
哎两个膜做张亮记
如果是非转换的话
必须是呃
右右右耳膜里面取一个膜 a
然后再取一个左耳
膜然后他们之间做张亮记
做完张亮记以后呢
是一个打败群不是不是啊
这个
那么这个这个如果是交换的话呢
我们就直接就是呃
遇上相对空间的定义
就就就直接好翻过来
翻过来的话
我们就形成这样一个
公里化的一个定义
那么
交换上的这个膜啊交换啊上的这个膜
或者啊膜换成里面两个对象
那么是以这个集合啊
a 叉 b 你这个你取消你这里没有写成
a 叉 b 的话
这个就让人家感到就有突兀了
一下子过来怎么计划的不一样
这个这个地方这个地方
虽然写在下次表
这个咱们也是比较讲究的
那么这个
就是以这个抵抗
级里面的这个元素为基
的自由吗
那么这一般说呢
是一个啊无限制的自由
无限制自由
呃当你这个呃
因为这个
这个
a 跟 b 都是负载了这个 r 的一个作用
除非你这个 a b 也是一个有限极
被赋予一个 r 模式
有限极啊可是一般的话都是无限
那么这个当还如果是有限还这个
Z6 那么只有有限的
那当然也无所谓
那当然的话是
反正是以 DECA 级的元素为基
这自由然后的话呢
哎来回由下列元素生成的纸膜啊
就是这 4 条
刚才那 4 条让数量游走起来啊
然后然后做伤
做伤了以后伤下来这个伤空间
我们这确定因为两个因子有关啊
两个音字有关
然后跟 r 里面这个通道大小有关
然后呃 a 跟 b
的这个张亮琴
所以说叫 tense blue
打开 tense blue 张亮琴
那么 g f 中的元素 a b 的这个培集
就是商商空间商模里面
商海外群里面
他的培集呢就集成 a pencil or r 上的等 b
有时候呢这个 r 大家知道呢
有时候呢然后可以省略啊
实际上呢
就是 a
跟 b 这一个抵抗级里面的元素啊
a 叉 b 里面的这个元素元素对
再加上这个 k
那么他的 0 元的话呢
也是 0 逗号 0 然后这样一对 00 然后加上 k
然后我们可以减去成 0
或者零一 8 啊减去成 0 好
那四点五点四的这个柱呢
就是因为这个元素对是 v 啊
这里怎么又冒出个 v 来
v 的升升级
of the reason
a 叉 v 的脏乱器
的生成元
是是他的生成元器这个这个不是 VR
因为 a 叉 b 是 f
至少是张亮 g f
对这个是 f
前后那个
然后呃
a tense b 啊
o r 上的这个 tense 这个元素的话
是这些生成元的线性组合
对吧这个生成圆这个就写成这个 a
a 这个呃
然后再加个加个配气撇
那也就是说这个里面的元素呃
一般形式长成这个样子
他的线性做
而且是有线
有线
但是这个 r 你可以给进去
当然你还可以写个等式
r 可以游走到这个 b b i 的前面 r i
这个都是允许的在交换环的
时候都是允许
那么因此的话呃
后面我们总可以假定呢
呃这个这个当中的元素呢
都有这种这种样子啊
但一般的话呢不止一项啊
它是一个有现象 AI 天使 Bi 啊
天使起来有现象的说
从上面这个双线性这个关系
呃可以看出来表达是呢
是不唯一的啊
这种不为 1 的话啊这个
呃
当这个
对就是因为这个数量可以游走
像
这这个 0 它可以写成这个减这个是吧
那么因为形式上你是这么写的
但塑料是可以让他游走
那呃
甚至可以有 a b 都不是为 0 的时候
它商量就会等于 0 的情况发生啊这个
a b 不为 0 啊
张亮记为 0
然后你们去
去做个例子
去做个例子为什么就是这
这里有一点提示啊这里有一点提示
但是
这个还不是那个那个主播的样子啊
不是不是 a 不为 0 b 不为 0
那实际上是可以举例子的
就是说你 a b 都不为 0 啊
当然后你这个
比如说 z
pencil 上这个 Z2
对吧
你这边的 z 里面的啊
我通过这个
通道是 z 的话
那可以游走过来
但游走过来这
怎说碰到这边的这个呃
Z2 Z2 的话他就是只含有零一 8 跟 118 啊
他这个环的特征是二倍的东西都等于
所以你这个二游走过来的话啊
他就等于零了
对吧你可以取一个 2CANCER 这边的 118 啊
那么就是说每一个都是背景
但探索起来啊
但通道这个这个这个你可以举这个
例子
那么这个
呃
四点五点五四点五点五这个柱径呢
就是交换上这个膜的张亮剂
我们满足双线异性啊不
张亮剂
商量计对这个双线性
这个时间
就允许了这个数量在这个当中游走
然后求和的话有左右分配点啊
这个就是说
从这个张亮机的性质可以看出来
他实际上呢
我们有一个一般的一个电影
就是说刚才这个做自由膜的时候
是以这个抵抗力机里面的元素队去做
机
做基
然后章程以他为基元素去做这个
环的的环的一个生成一个
循环膜啊
这些循环膜结合起来都带个自由膜
对吧
然后呢
啊来得到张良杰
张良杰是一个商对象
是一个商对象
所以这个商对象的话呢
实际上我们后面的话
在范畴阿莫范畴交换的阿莫范畴里面
呃
另外有一个有人握手性子的一个刻画
摸索性质的一个包
实际上他就满足这 4 条公里
这 4 条公里实际上就左侧
右侧的一个双线引擎
然后你走这个这个
这个我右侧 b 固定一个元素
左侧做加法啊
然后一 3 你可以看到这个 b
b 是固定在右侧的
然后左侧我做加法跟做倍数运算
这就是线性运算
线性运算它是啊关于加法分配
关于数量是啊
倍数对吧
那这个这个也是这个 24 也是这个 a
第一个张亮
张亮基因子固定
a 固定然后 b 呢它是 b 加 b plan
然后它是分配开来
然后如果数量的话数量是提提取出来
所以这个呢
就表现为张亮剂关于两侧的这个因子
有一个双线性型
当你这个双线性是因为你这个 a
如果是一个 a 膜
b 是一个 a 膜
这个这样的话
这个要本来这个抵抗耳脊两侧
它是有双线运行
就是说 BE 固定的话这个元素提出来啊
双线元素可以提出来啊
你里面求和可以变成外面求啊
呃
啊啊不不不不这个这还不能提出来
这个不能提出
那个这个
这个双线性是说 a 上面有个 m 结构
他一个线性线
线性运算结构
b 上面有一个啊
线性运算结构
当他们用这个
因为两侧的两两侧的我们叫双线一起
但是呢啊 X 一贯通的话就变成一种
单侧的线性
这个最后这个
因为你这里的数量
这里的数量第一个给第一个因子
实际上我可以给通通道的话
可以给到第二个因子
实际上的话
大家可以都同提出同一个倍数啊
对这就这种线性性的话
就是允许这个张亮肌通道贯通了以后
就是让他可以流动起来
会变成一种
那这个线性就是一侧的线性
这个就是你看 a
张亮 b 然后括号括起来的一个 r 倍
你看这个 r 背呢
可以随便给他一个因子
他效果是一样的
所以这这里当然是个 a
他是 b 的一个 r 背
那么就是这已经是
单从现行线单从
对贯通之前是一种啊
a 叉 b 上是一个双线线线规律要满足
那么这个张连接的性质可以看出来
这样一个音色
它是双线性音
音色啊什么叫双线线音色啊
就是这这 4 条满足啊
这 4 条满足
那一般环上两个膜
一般环的话有交换环和非交换环
那就是说一般的话可能是非交换环
那就是说你两个环
做商量去怎么做
那就是那要考虑阿贝群里面
我首先是阿贝群
那么要这个写啊
写在左边就是左耳膜啊
这个 s 写在右侧
那么就是右耳膜
所以这个这个啊外群是一个 RS 膜
或者叫 RS 双膜
应该加个双字 RS 双膜
这指这个左按摩
它 a 是左按摩同时也是右按摩
而且这个哎当你做结合率考虑的时候
这个
呃 s 是另外一个环里面的元素
小 s 是大 s 里面的元素
然后 a 是膜啊不要填里面膜的元素
然后你这个把它括号括起来
就是先做右侧的膜运算
模拟算做完以后得到还是 a 里面
再跟这个 r 做左侧的一个
啊 r 模的这个运算
那么这个要求满足焦虑
那么先做右侧还是先做左侧
左侧这个 r 膜结构
然后再去做右侧这个 s 膜结构
这个这个要求必须要满足
然后就是这个
左左 r 膜跟双啊右 r 膜这两个
这个双膜结构
左侧的 m 结构
跟右侧的这个 s 膜结构呢
啊要有一个相融
否则的话呢
你到底这个结合率啊
作用效果结合率是不是
呃先作用后作用那如果
呃你如果不等
的话那么这个运算规律就太复杂了
给我们就是双双母啊
双母这里有写双重母
这样是是双重母啊
那我们就就都统一一下
这里漏了一个双啊这个就这个
这个简化一点就是双母啊
呃这个不要写成减号啊
这里这里
这里写成
这个就是这个这个
这个多了要打在啊啊的位置
SS 的位置各打一对到
这样这样的话这个
这铺子号就不是减号
所以这个左侧的 a 是一个啊半裙
右下角啊
左下角写个啊就是代表他是左侧的啊
右下角的一个 s 呢是环 s 环
然后他说明 a 呢有一个 s 模作用
右侧 s 模
是一个双重模啊
双模
那么这个 b 的话呢
就要求如果能够做张亮机的话啊
这个 b 是做按摩
啊这个 c 呢是是 u s 模啊
然后你看啊这个怎么做张亮结
啊这里又写的不对
然后这个注最好跟这个做
底下做张亮机这个呃匹配起来
然后你这个 a r
那这这个是环上的这个右 r 膜
然后 b 呢是环上的这个左 b 膜啊
左 b 膜啊啊
b 呢是左按摩啊
然后的话呢哎
c 呢是一个啊半群
然后
这一对模虽然是左右
那么把他的卡机匹配起来
形成一组啊半群的配对啊
然后这个啊
环的这个作用是从当中插进去作用的
然后
b 在右侧的话哎
这个从左侧作用上去哎
a 在这个左侧
这个环的数量是从右侧作用上所
以这个这个游走的这个数量
是介于 a 跟 b 之间的啊
这个是这样一个方向
你看这个这个第三个你这个啊
是右侧作用在 a 上
然后来
他靠近他的要形成一个通道游走的话
当然右侧的话移到这里的话就是左侧
对这个自然而然的就是说
这个障碍镜要存在的话呢
啊这个准线形式
为什么叫准线形式呢
因为这个啊
贝尔群 c 上面他只有加法运算
他
没有负载一个魔运算没有负载一个
如果你这个 a 是一个双模
b 也是个双模
然后当中的话
这个他 a 的右侧这个环
跟 b 的左侧环是一样的
那这个时候就允许做张亮姐
OVA 上的张亮姐
然后这个张文静完了以后
你得到的这个 a tense b o r 的话
那对 a 来说它有一个
另外一个摩羯哥左侧摩羯哥
然后对比来说
又有一个右侧的这个某个摩羯啊
另外一个
这样的话
就使得他张亮进来有也有一个双目镜
那么一般的话你这个如果
只要求 a 的右侧的环
跟 b 的左侧的环是同一个环
那么这个时候可以给他们
做自己啊做
抵抗的基础上再做啊这个
这个贯通这个
这个这个逗号贯通了以后
就被人张亮起来
那么这个这个是
其实呢我们对膜的话呢我们
研究这个交换环上的这个
因为交换环的话就
呃涉及到就是因为
因为你这个交换的话
我左磨结构跟右磨结构就是一样
啊前面我们讲过一开始就讲
所以这样的话呢
就实际上左 a 模就可以看成右 a 模
然后可以跟这个左 b 模去做转换器
所以这个我们这个我们就是
这模的转换器的话
我们呃如果他呃
后面的性质的讨论的都特殊到这个
交换环上的
交换环上的你会处理的话
实际上啊
非交换环的话要允许做张靓机
他左右这个通道的
这个必须是同一个环啊
这个这个牢记了你就不会发生错误
对定义这一个东西呢还是商群啊
然后商群这个张靓机
那张靓机完了以后呢
哎你如果
你这个环不是交换的
那 a 是右右侧的
b 是左侧的
那么做了张亮机以后
他就只能是一个啊
交换群的商群
自由群商调一个
四四种运算啊双线运算
都满足的这个公理化要求啊
公理化要求
然后的话
啊那么这个
这个这个这个就是这个
这个我们就说两个模的张亮集
一般环上的这个张亮集
是是这样一个到阿贝群的一个一个
一个
商量计的最后的结果得到一个 r
这个上面就
当中的这个 r
m 作用都已经被商量记
数量贯通以后就不显示出来
整个 a 天者 b 上左侧也没有东西能够
r 不能作用
右侧 r 也不能作用对吧
啊除非你是儿子交换
那么因为
b 这个这个左按摩就是右按摩
所以这个时候你这个对 b 来说可以
可以右侧有个按摩结构啊
这个对 a
来说啊这个
右侧按摩实际上可以很多的看人左侧
这样的话整个 a 看着 o b 的话
可以还可以这个负载一个啊
左按摩这个那是这个时候呢
就是当他是交换的时候
那不是交换环的时候
你这一个只能张亮记出来
只能是一个商品
那就不能谈这个啊
在这个 a 探测 o r b 啊
o r 上的这个探测 b
然后这个之间的一个负载
一个环的作用啊
这个就没法负载
你这个这个他的培训呢
还是继承这个样子的
这个这个东西还是记录一点原因
啊如果你这个环
是一个双重膜
是 SR 双膜啊
那么 k 中还包含
所以你这个 s
黑中的元素
因为你这个呃 s
你这个这个左侧给他一个 s 模啊
s 模然后那你这个
这个还有这个有这个关系对吧
你这个所以对这个
那么这个时候你如果 a 是一个双侧膜
他左侧还允许一个 s 作用的话
实际上就应该有个第 4 条
第 4 条这个规律啊
第四条这个规律
就是
啊第四条就是体现为这第三条
因为你这个给他 s
这个 r 属于 s
s 乘以这个元素
他是等于给给到第一个因子上
给到第一个因子
所以这个
所以这样还有还有这个吧
另外一条线
这三条之外还有这一条
这要空格空一下
呃注四点五点九的话呢
就是说 a tense b o r 的话呢是有全体型炉
这里要空格空一下多了要打折开
或者你加个斜杠空格
我说挤在一起
那 a 开始 o r b 的话呢
那么
啊这个元素它的元素是生成
那就这个这种元素的有限啊对
但是
并不是全部的元素都可以写成这个
元素而不写成有线盒
一般的话必须要写成有线盒
你写成一个加项
有时候它合并不起来这个 a i
b i 然后
那可能合不成
呃左侧一个 a
右侧一个 b
当左侧可以写成一些 AI 的星星组合
b b 可以写成右侧一个
因为他如果有线生成的话
你这个星星组合
星星组合的话用张亮晶双线打开
都变成这个样子
现在有线星星组合
但有线线组合
如果你是这个被打开的有线线组合
你可以回的去
变成一个元素产生另外一个元素
但是并不是说所有的元素都可以
统一的写成
呃一个单项式
单项式的
就是两个元素的
障碍所以这个是做不到
他只能是做成这个有限的
因为根据
自由模这个商模的话
是讲这个
元素的存在性就只能是这个样子
对这个表示法不为
就是因为数量他可以游走啊
呃
并且可能出现 a can't b 变成这个 a e can't b
这个这个这两个都不等
这都是一块
而且如果这个 a 不等于 0 b b 等于 0 那好
那这个这个肯定就是说
这个是零零模
零模的话他提供的自由模里面
啊这个这个零模的话你可以
呃可以看成管
理的元素是 0
作用在 0 上对吧
所以这个这个 0 的话
一旦在这个数量之间游走的话
那就是这样就变成
呃这里考虑 z m 也要双写
q 也要是有理数也要双写啊
这个只要空格
然后 z m 这个 o
r r 也要双写
如果是有理数的话这个
考虑这个这个啊是实数啊
实数有理数
然后有理数可以贯通到这边来
呃那么考虑这个什么意思呢
考虑这个 m
m 大于 2 m 大于 2 就是说 m 大于 2
这个归零
这个归零
这个你这个这个
他就是说想说这个
第一个是这个等于 0
还不能这么说等于 0
那只能说
就是说这里面的表示办法可以不回啊
表示表示法不回
因为
你这个 z m
m 等于 2 m 等于 2 只有 00018118
所以这个这个元素已经表示不一了
是吧非利元只有一个对
你如果是三开始的话
那他飞行员有 118218
然后你如果是 218 的话呢
那这个我可以写成二倍的 2 乘
这个 1182*1182 是在这个时速域里面
然后可以游走到这边
所以我就可以实际上是
你这个如果是 218 贪色这边是 1
有理数的 1
那就可以写成这个 118
贪色这个有理数的 2
所以这个啊这个明显的这个左右两个
然后做 4 点五点十
4 点 5:10 的话
那就一般还
就是这个一般还就是成本不交换的话
那上面的这个模的张亮记的话
这个准线性关系啊这
个在这个当中是成立这个双加性
双加性这是阿派群的
赋予的这个
性质因为左侧右侧都有啊
外群结构有加法结构
三年级关于这个加加法是
分配的
然后这个数量这个之间的游走
只能允许在这个游走
他就这个这个啊如果
这个是非交换的话
这个啊就不能提到 a
他的 b 的括号原括号外面的啊
就不能不能是这个
他只能说在允许在两侧之间游走
呃这个是要注意的
这个点对交换环的时候要注意的啊
那下面总的讨论
呃假定呢啊是交换环啊交换环的话呢
我这个做张亮记的时候啊
上链接以后
他因为是交换
他有既有这个 a TNT
b o r 的话既有左左 a 膜左 r 膜结构
又有啊右 r 膜结构
这个左 r 膜结构最后是混合一致的
那么好
那么这个我们呢就是说这样的话呢
他有个什么好处呢
就可以这样的话
我们就可以在模范筹里面考虑事情啊
否则的话
你这个那就很啰嗦
这个范畴
这个按摩按摩他
你不是转换的话
这个必须是一个
a 开始比较成立的话
那 a 必须在右耳膜里面取对象
然后 b 呢必须在左耳膜里面取对象
那就不是一个范畴对吧
不是一个范畴
我们现在希望呢
是在一个范畴里面做事情
所以呢呃考虑张靓机的一个呃呃
另外一个一个万有性质的一个定义啊
半性质万有性质
这样啊半就是有人握手
有人握手就是万有宇宙的宇
宇宙的意思就是啥都有啊
这个
那么这个
那么这个这个的话呢
就可以我们可以在
左耳膜范畴里面考虑这个事情
那 a b c 的话都是左耳膜啊
耳膜就是比如说左耳膜
那么这个映射呢是双线性的双线性的
啊只要一个方向性颜色这个
那么这个贪色的话
刚才呢这个这个这个
a 跟 b 之间的抵抗级
这两个模的抵抗级呢
可以有一个 i
一个典范的嵌在这里啊
这个当然是表现为这个上面
以他的元素对为基的
这样一个自由模
这个一般的话
环是无限环的话
那这个他是是无限制的啊
自由模自由模他是这
这个商对性商量器
实际上是一个商对性
他是一个什么商对象呢
就是要满足双线性运算的这种双对性
对吧满足双线性运算的这种双对
双线性要求被满足的这样一种
呃一种乘法乘法结构
一种乘法结构
就数量可以自由的通过来通过去
然后的话
这个这个运算
关于左侧的加法跟右侧的加法
都是满分配的
那么这个就是双线性运算
双线性运算
那双线运算他说存在尾 1 的
这个你如果是另外给一个 c 啊
这个 c
嗯任意的这个 a b 如果事先给定 c 呢
是任意的啊
c 是任意的只要这个 a 叉 b 呢
这个 f 到 c 也是双线性的啊
然后这一个 2 的话
肯定是这个对象的意思
这个对象我们已经定义
完了
那么也知道他是一个双线性的对吧
有个典范的刚才说的这个音色
也是一个双线性音色啊
这个这个音色是个双线性
典范的双线性音色
因为这个张靓机运算
他满足这个左右分配的数量
可以贯通啊
那如果你这个到另外一个 c
c 也是这个左耳膜里面的一个对象
那么就是这个就是 f 就表现为这个
这个抵抗力及到这个啊
任何一个别的膜之间的酸性因子
那么这个对象
这双线径印式里面
呃这个 i 也有双线印式的
这个也有双线形式
为什么从这个对象就一定存在一个
这个
由这个张靓机这个对象指向这个
c 的这一个
而不是倒过来啊使得这个图交换
那实际上呢这个这个他指向他
啊
实际上你你回顾这个东西的构成的话
他是由他为抵抗二级的元素对为基
做成的这个
循环膜止核
然后做 3
对吧啊 3 的 3 的恰好这这四条 4 条规律
这四条这个双线性的这个规律
所以他没有删掉更多的东西
没有删掉更多的关系
而这个双线性
不管你是 i 的双线性还是 f 的双线性
啊爱的双线性
实际上就是这个探索的双线性对吧
那么
那么这个这个这个这个实际上的话呢
他都满足这个左右分配率数量
可以游走
在这个前提之下
我自由谋我伤掉的是这 4 条性质
而这个其他的双线性
可能因为你这个膜 c 的取法的不自由
呃他有额外的一些
关系所以就造成了
呃这个对象到这个对象呢
有因为这个是满足上限性的最低要求
这个呢这个 f
c 因为一个确定的一个 c 母结构啊
母结构所以虽然他说 f 已经是双线性
可能他这个 f 呢还带有了
因为 c 的这个结构确定的
他可能带有其他的一些关系
所以
所以这个就是说他的可能跟他的可能
呃到底这个谁的可能大
就是他的可能是最小的啊
他的可能呢
呃是包含在这个
包含了他的可能
所以的话呢
就是说这个双线性可能
因为 c 有具体的磨结构的要求
可能除了双线性之外
他还有额外的关系
所以这个可能肯定要
一般要大于这个可能啊
所以他就是说这是满足双线性里面
张靓机满足双线性要求里面
最低的要求
那 4 条啊
所以这个可能的大小就是那 4 条
所以这个双线性的话
那 4 条的话是最低的要求
那么就是从这个到这个的话
就是应该是由这个对象指向这个对象
那么这个这个就是我们这一个啊
这个为什么这种装亮剂等
在
那就是存在唯一
这个是存在唯一
存在唯一的这种
有人物质性质来刻画这个对象
我们说在这个范畴当中
你最好啊对阿莫犯错
阿莫犯错当中你说呃这个
最好写成阿莫的
阿莫的话
你这个如果还存在另外一个对象
他也满足
c 还是任意的
但是如果我有个大 m
但满足他这个哎他这个从这个 m
到任何对象都可以指向
那就是存在唯一
那么因为存在唯一
所以我这一个对象
跟我这个 m 的形成一个同构
因为我 m 在作为他有具有那个死性质
a TNT b o r 上也具有有那个死性质
那么他之间就存在一个
当你当你考虑 m 有万有性质的时候
那你这个 m 就到这个 a tense b 就可以
呃有一个一个箭头
然后当你把这个 a tense b o
r上
作为一个有能握手万有对象的时候
呃啊
到这个 m
作为这个范数里面
任何一个对象的一个特殊
特殊元素的时候
那么他指向 m 有一个啊有一个要求
那么这样子也是一个拼图
一个拼图的话就实际上是 m
到到他再指向 m
然后这样一个拼成一个图
那么很显然 m 到 m 是一个矮单体
矮单体的话只有这个只有只有
跟这个合起来的话那只有只只有这个
一个意思是吧
所以底下也是哎
底下那个这个 m 指向他也是一个
那么这个一个两个拼图的话就
就使得你这个
这个 a 探测 b O8R
跟我这个 m
如果拥有跟 a 探测 b 一样的这一个呃
关于双线性要求的一种有能
或者性质的话
他们之间就是互相是同度
所以这样的话呢
张靓机的话呢
我们就有了这样一个利用万有性质
在交还的这个范畴里边
我只要两个对象
a 跟 b 给定 a 跟 b 的确定的这个张靓机
因为张靓机
他就必须要满足双性性
这个运算的要求
在一堆这个大家都满足我 AB 之间呃
有这个双线性要求这种性质被满足的
哎一堆对象里面
那他是老大啊
他是老大因为他的他都可以由他发出
发出一箭头或者映射到别的对象上去
只要那个对象
对方的那个对象他有拥有这个双线性
那就一定可以我指向你啊
所以他是属于一个源头的一个对象
他指向一个源头的对象的话
如果你这个直播就是满色的话呢
实际上他就这个 c 的话就可以
根据摩托太的话
实际上他还可以由他
做商量记做商来得到这个 c
所以这个为什么呃这个
箭头发出去的这一种
这个发出去的这个颜色
跟我们前面考虑这个 r m 范数里面
对象的一组对象的这个值和啊
那么也是这个资格也是对象发出去的
所以都是
有有能握手性质来刻画的这种对象
所以这个呢就是说当你考虑
交换上的一个模的群体啊
这个模范组
在这个群落里面
我这个确定两个选定的模
啊这两个模拟
可以考虑
他抵抗二级
上定义的所有到其他对象的双线映
射
啊大家如果都满足双性要求的
我就那一对在那一对对象里面
那么 a tense b over 啊
他是啊他是大家的主线啊
他是具有这个家长的地位啊
这个啊地位最大
有的陌生性质啊其他的对象
嗯你如果跟我拥有同
样的这个包括的这个呃
性质的话
那么我们彼此地位是相当的一样
那么是互相是同够的
那么这个这个就是这种观念啊
这种观念的话我们就
你学一门新的数学
不断的要有一些新的
这个学科的特点的不同
不一样的东西啊
思考的方式啊
包括语言的这一种
他的表述啊这个呃
一个一个一个
一个语言特征都可能是不一样
大家要初学者这个
虽然学了大学 4 年这个数学
有了一定的这个数学修养啊
如果你还继续自学过
那么在有经验的导师指导下
提前学过研究生的一些课程
有一定的自学能力
你就啊
就会体会到
各个学科之间的这个不一样啊
你这也是一种不一样啊
不一样的话呢就是说
那么哎我们要习惯于刚才呢
就是这个构造的办法来定义
然后他满足公理的要求
然后现在的话
在一群对象里面
拥有这种公理化的这个双线性
所谓双线性这个要求的这种啊
双线性应设啊
这个在在 1 群这个里面都拥有这个 a 叉
b
然后的话题到到另外一个只要这个呃
这个 1 群的这个 c
啊只要从是从 a
这个一个模 a
跟另外一个模式做的抗级
这个上面当然他啊没有什么这个
按摩机构啊
他每一个每一个分量都有按摩机构
但是这个不要跟纸盒搞起来啊
那么呃那么这个两个模的给康尔奇
到这个任何一个模
他只要是给双线性运射
那么那么这个这一堆对象
里面啊他说有个老大啊
就是 a 开始 b 好吧好吧啊
那么他就是满足双线性要求
恰到好处的那 4 条啊
一条不多一条不少啊
这个就恰恰好 4 条 4 条
你这个这个
当你这个
所以你这个有了握手性质的策划
就是 c 是任意变
那 f 的话要满足我这个这个
要求的属性这个属性方向性
认识这个要求
然后在一堆的这个 c 里面我
存在尾音啊这个对
这个张亮记这个运算
就是满足双线性要求的那种
啊这个老大这个老大呢
哎他除了拥有这个之外的话呢
啊他啊不拥有
再更多的对他有更多的约束条件
你如果再再对他有进一步的约束条件
那就是作为他的啊子孙后代啊
然后的话他就可以由他发出箭头啊
从从那向去投满投满你那个对象
然后由由这个对象
然后伤掉一些东西来得到
这个这个就是我们这个啊从这一个
简单的这个几句话你放在这里
你如果不去琢磨他的一种
提升这种数学直觉
那你永远的话就是只能停留
停留在被这个定义而不知道的含义啊
所以这个接受一个新的事物啊
接受一种用有的握手性质
或者对队友的与有的握手性质
可以有的握手性质来定义一种
在一群里面
在一个群众里面来界定
某个对象的这个地位啊
他的地位是唯一确定的
然后的话呢
这是我们的一个一个一个观念
一个提高设备啊
一个一个一个一个关系学的角度
来来确定他
那这就是模范族的一个特点啊
那么这个
那么这个接下来就是正这个事情对吧
由于这个集合 a 叉 b 的话
是自由模的
构成自由模 f 的基啊
元素对是他的基啊
呃是 g 还不并不是他的 f
自由模全体对吧
是 g 的话
那还把这个基做先进组合
才能得到自由对
根据自由模的这个有理握手性质的话
他就拥有了什么呢
啊这个
可以唯一有导出自由膜到这个 c
上面的这个
阿莫同台啊
由于 f 是双线性的
这个 f 也没有加多了啊
这一看的话就没有加多了
就是这个数学符号都要加多了这个
前一个学生这个
老是犯这个错
那个就变成这个这个这个
这个字母英文这个字母里面不达到了
就变成英文那个这个
上下文的这种
这个就不是数学符号
这个数学符号打出多了的话
他就是这种
弯弯的比较光滑的这种
啊由于 f 是双线性应色
因此这个
这个商调的这个核啊
这个商量性的核的这个生成员呢
都是啊对 f 一般都会硬到顶
因为因为大家满足线性形色
星星夜色的话
这个里面 k 里面的元素
就是发现星要求的那些
原相在自由魔里面的原相啊
所以他这个当你是查 f 游导的那
那肯定的话
有双线是游导的自然满足啊
把可乐自由魔里面可乐 k 的这个呃
这个这个子墨
会里面的元素都用到里带到
呃所以
说存存在这个唯一的存在唯一的这个
所以你这个因为他是包含
就是说两个可能啊
这个这个 k 的话就是这个爱的可能
对
两个都是由同一个集合到另外两个
发出的这个到两个耳麦群发出的这个
然后他的这个可能跟他的可能
那么他的可能大啊
他的可能大
他的可能小
然后这个就可以引发他到他
因为他的可能大
他等分下来他的分数就少
他的可能小等分出来分数多
分数多的可以往分数少的去
去做做做对应得到的是是硬是
那么就存在唯一的这个 f e 吧
所以这个
这个这个就根据这个就哎就有了
这个就是我们前面这个映射
为什么这个箭头到底是谁指向谁
这个就是看可能
比较这个由他出发这个坑了大家
坑了大家的话
这个作为那边过来的自由摩托山
这个作为自由自由摩托山的话
那么
那么他自然的话
那么这个这个
这个你就可以知道
从自由模发出去的两个东西
它啊发生了一个科罗的大小
就可以看出
这个 Fe 八的方向性是 c 指向
那么
啊是的这个图是交换
存在尾音啊存在尾音
这个假设 m 是 r 模
然后带有双线星星射箭
双线星星射箭使得对
这个 m 呢也具有这个双线性
下面要正常呃也有这个万有限制
从 m 这个也发出去
也存在唯一
那么这个就是我说的这个
他就是要要通过这个
商量机被这个性质确定到相差
一个通过
在代数里面我们说互相同购的对象呢
我们看的是同一个啊
所以这个这个必须要通过
因为他 m 也拥有这个优能握手性质啊
这个 a 他的 b o r 也拥有这个双线
所以这个他必须要通过
实际上就通过两个
这个我说的这个拼图
一个拼图就是你这个
这个 m 可以发出
然后他到他然后他到 c
这个 m 可以发出进度
然后他
也可以发出进度对吧
当我这个位置是一个 c 可以任意取
c 可以任意取我这个把这个
c 的位置用 a 弹射 b
因为 a 弹射 b
也是阿姆里面的一个对象
所以可以替换在这里
然后的话
所以这个对象跟他这个对象就有一个
那就是就有一个
这个把 m 放在 c 的位置
然后这个看着有点握手的话那么那么
那么他到他就存在这个
然后他如果把他把这个看成 c
这个看成 m 的话就他到他有一个开啊
就在这个图角
那对对对这个图你再做两个拼图
做两个拼图哎这个
啊这两个拼图他没画出来
没话说那么这个这个性质的话
就是跟 identity 是一样的
跟 identity 的话合成起来是一样的
所以他就说因为
呃同一个对象的话
他这个那肯定就是说你这个一个拼读
然后他指向 m
然后这里也是借 m 到 m 的话
那当然只有 ADT 的 m
然后满足借到借对吧
你这个啊这个这个这个这个这个这个
另外一个就是说你这个
把这个
把这个拼图在这这里再拼一下啊
就这个 a a 摊的 b 这样往这里拼一下
然后最后是
a 叉 b 跑到 a 摊的 b
然后再跑到 a 摊的 b
a 摊的 b 到 a 摊的 b 的话呢是 a
然后这边是 a 这边是 a
那么就是就是这个
但是这个这个可以由 admit 提供
那根据存在为异性大家都可以消掉
消掉然后这个 TA 等于 admit 的
以及 TA 等于 admit
然后
说明这个 Fi 跟 k 呢都是系单用门啊
就是通过
你这个手法
前面在织合织机的时候已经
反复用过拼图的这个手法
呃注 5 点
我们这两个注
看完就啊就就就就就今天就结束啊
这个等于说
商量器具有啊双线性应色的
泛性质啊万有性质
本质上呢
是由自由对象的这个万有性质啊
遗传过来的啊
呃而 k 呢
的构成呢
恰好呢反映了 r 双性性的这个呃
最低的要求
这个 k 的构成恰好反反映了 r 双性性
你你学校帮我
再加一点
不是反应这个双线音色
双线音色的满足的最低要求
有那些关系啊
你一个啊双性音色可能很满足更多的
更多的其他的性质条件
但是那个跟双性性音色无关啊
那么那
所以那就是额外的多出来的啊
多少人对这个 k 的构成呢恰好了
反映 r 双线性啊
双线性应双线性是哎
作为这个这个
双线映射的这个最低要求
那么 4 点五点十二利用这个定理的话
可以给出张亮记的等价定义啊
所以这个等价定义怎么给呢
所以就是刚刚刚才那条定理
就是说这个定理就说明了
全体 a 圈子 b 上的双线性应试组成的
范畴
的对象当中
这个呢就一定要这种对象
这个这个组成的范畴总是不对
组成的范畴
的对象就是那些对象 c 属于他
然后他可以在定义在
a 叉 b 上的这个双线运射
那么这个就是实际上就是那些对象 c
啊那些犯愁对象 c
就是 a 叉 b 到 c
有双性音色的那种
那一类对象全部取过来
那个构成这个 m 范畴
跟 a b 有关的
跟双星星
密切关联的那那那那一类对象
那是构成一个指犯愁啊
这个话要这样讲到位
这这句话没有讲到位
到时候学校爸爸给
他是他的犯对象就是那个指犯愁
啊就是那个那个 c
那种对象 c 必须要定义在 a b 上
必须要存在那个双线性映射这个要求
在这一堆那种
放心
这要求都满足的那那一堆对象里面
这个呃 a
跟 b 的比卡机到 a
探测 b o r 上的这个对象
这个对象当然也满足放心要求
那是满足放
心性 4 条里面的这个最低要求
对吧啊
所以他呢是一个万有对象是一个
是一个是一个
其他对象都可以由他派生存
就像这种摄影模的这种呃
性质一样
其他模都可以作为摄影模的铜拍像
那么那些戏都可以作为
这个 a 摊子 b 的这个
这个这个这个这个铜头像的
那么今天的话我们就先讲到这啊
那个下一次我们再继续
今天也过了时间啊啊
大家回去好好体会一下啊
把这个涂色膜绿色膜我们补充的
然后这个张靓机的这样一个哎
以前是没有这样一个直观的
从销量空间这个尾数扩大
互相扩大一个倍数这样一个概念来
以后就直接就上来就是做对卡其
这个做做完对卡其满足 4 条啊
然后定义自由模做商啊然然后你可能
一一点都不知道
最后脑子里面一点概念都没有
那么那特殊到这个
如果是遇上的有限位销量空间的话
那你就马上就知道
这个张亮记忆是一个多大的一个东西
对吧然后再通过一些
这里举出来的一些板栗
这个元素
表达不为 1 呃
有的是 0
有的是非 0
那么你可以体会到这个张靓机
他的一个给你的一种新的运算
嗯构建在这种
这种感性认识
在你的脑子里面要构建起来
最后的话要落实到啊这个
在犯错里面来考虑
有有的握手
万有性是来这个对象之间的这种
满足关系的这种多寡
来体现这个对象的一个存在性啊
商量级可以体现为一个
啊万有对象啊万有对象
有的说有的握手对象
这个都是我们
呃呃
一开始我们这个张亮记
是给你一个具体的构造啊
满足这个双
线要求啊然后在这一堆性质里面
他是满足这一堆要求最低的一个
一个一个对象
所以呢他具有万有性啊
有万有性
那么这个是我们张链接
那张链接后面有一些满足几个率啊
这个等等满足交换率啊等等
在 m 范畴里满足自己在交交换
交换环的时候
m 环的时候他会满足这些
一些运算规律
好吧大家大家再去往前自学一下
然后去把这个题目后面啊题目对
在城市学的书上去找一点题目
去做一做啊
那如果你这个在课堂上领悟我们这个
充分领悟我们这个概念的话
然后你可以去看一些相关的
这个外文书啊
这个啊罗特曼的这个这个这个呃
从调代数理论他是怎么讲
有那本书他写的很厚
我们这个书
因为课时主线 18 周
可能还要期中考
然后还要放掉一周
那么已经放掉过一周
那么呃
这个实际的教学次数会比较少
时间关系
这个很多内容应该教的内容呢
这个没法涵盖进去
对这个
我们这里是提供大家一个
比较充足的一个
基本要求啊
那么还要靠大家要
呃自学起来去通过做题目啊去领会
啊那么今天就讲到这里啊
啊大家有什么问题
啊
没什么问题我们就结束共享啊
今天啊有 30 个人来这个
啊 30 个不到我刚才是不是要