·

抽象代数中如何执行归纳法?

发布时间:2024-10-25 17:58:33阅读量:67
学术文章
·
笔记
转载请注明来源
写作类别

我的提问:

我无法理解在这个证明中,归纳法这个步骤是如何进行的。有人能帮帮我吗?感谢!

回答:令$n = deg B$。他们通过对$m = deg A$做归纳法来证明那个陈述。基本情况是$m < n$。如果$m \geq n$,然后他们找到另一个多项式$A'$,在这种情况下,$A' = A - B a_m X^{m - n}$,并且它有比$m$更小的阶数。所以我们可以通过归纳假设来处理它。$A′$的商和余数表达式是用于找到$A$的。

我想有两件事你可能会觉得困扰,以及为什么你没有认出归纳法。首先,基本情况不仅仅是一种情况,而是一堆情况。这里请注意,这是基本的:证明中的归纳步骤仅适用于$m\geq n$。同时注意,在这种情况下,证明$m=1$的工作量并不比证明$m<n$小:对于所有这些情况,这都是一行证明。

你可能会觉得困扰的第二件事是,我们不仅对$m-1$使用归纳假设,对任何阶数严格小于$m$的多项式也使用归纳假设。这被称为完全归纳法强归纳法:在归纳步骤中,你假设的是,命题不多于$m-1$时都是真的,而不仅仅是$m-1$。这在维基百科的“归纳法”页面上得到了很好的解释。

0 人喜欢

评论区

暂无评论,来发布第一条评论吧!

弦圈热门内容

如何构建一个比复数域$\mathbb{C}$还要大的域?

本文我们探讨这个问题:是否存在一种扩张复数域$\mathbb{C}$的方法,使得$\mathbb{C} \subset\mathbb{C}[a]$?或者$\mathbb{C}$是所有域扩张的终点?下面围绕这个问题,我们将提供两种扩张复数域$\mathbb{C}$的方法。方法1:$\mathbb{C}$的笛卡儿积$$P = {\Bbb C}\times{\Bbb C}\times\cdots$$并不是一个域,因为它有零因子:$$(0,1,0,1,\cdots)(1,0,1,0\cdots)=(0,0,0,0,\cdots)。$$但是将零因子商掉,就能得到一个域。令$\mathcal U$为$\Bbb N$上的一个nonprincipal ultrafilter。我们定义$$(a_1,a_2,\cdots)\sim(b_1,b_2,\cdots)$$当$$\{n\in\Bbb N\,\vert\, a_n=b_n\}\in\mathcal U。$$然后商$F = P/\sim$就是一个严格比$\mathbb{C}$大的域,我们称这个域为超积(英语:ultraproduct)。并且嵌入映射$ ...

如果两个对象的余极限同构,那么这两个对象同构?

令$A,B$为特征$p$的交换环。令$\phi_{A}:A\rightarrow A,\phi_{B}:B\rightarrow B$为Frobenius态射,即$p$次方映射。如果我们有 ${\rm{colim}}_{n\in\mathbb{N}}A\cong {\rm{colim}}_{n\in\mathbb{N}}B$,其中transition映射为Frobenius态射,那么我们可以得出$A\cong B$吗?答案:不能。回顾一下,一个$\mathbb{F}_p$-代数$R$是完美的,如果它的Frobenius映射$\varphi : R \ni r \mapsto r^p \in R$是一个同构。Frobenius态射的次方的余极限${\rm{colim}}_{n\in\mathbb{N}}R$是$\mathbb{F}_p$-代数$R$的完美化,并且它这样命名是因为它是完美$\mathbb{F}_p$-代数到$\mathbb{F}_p$-代数的包含映射的左伴随。这使得完美$\mathbb{F}_p$-代数构成了一个$\mathbb{F}_p$-代数的反射子范畴,这意味着在完美 ...

基变换映射$U\times_{X}X\rightarrow U\times_{Y}Y$

我的提问:令$X,Y$是概形。令$X\rightarrow Y,X\rightarrow X, Y\rightarrow Y$为概形态射。为什么态射$U\times_{X}X\rightarrow U\times_{Y}Y$是$X\rightarrow X\times_{Y}Y$通过$U\times_{Y}Y\rightarrow Y$的基变换。这是我尝试的图,其中三角形是交换的。但是我发现$(U\times_{Y}Y)\times_{Y}(X\times_{Y}Y)=U\times_{Y}X\times_{Y}Y=U\times_{Y}X$,即我无法得到想要的$U\times_{X}X$。我这是犯了什么错误?这是问题的上下文,来自朱歆文的论文Affine Grassmannians and the geometric Satake in mixed characteristic (arXiv link):引理 A.2. 对任何代数空间的平展态射$X\to Y$,由$\sigma_X$导出的相对Frobenius态射$X\to X\times_{Y,\sigma_Y}Y$是一个同构。证 ...

高智商与心理疾病仅“一墙之隔”?

“从天才到疯子,仅有一步之遥。”这是英国诗人约翰·德莱顿的一句名言。世界上许多有才华的人都与精神疾病沾边,这让科学家对这个问题很有兴趣。一直以来,他们都想找到一个答案,高智商与心理疾病之间是否存在一定的相关性?最近,克里蒙特学院联盟培泽学院的科学家在心理学期刊Intelligent发表了一项研究成果,他们发现,高智商人群罹患焦虑、抑郁、自闭等症状的比例要高于普通大众。高智商与精神疾病这项研究的样本比较特别,培泽学院的科学家选择了3715名门萨俱乐部成员,测试他们的精神健康。门萨俱乐部是世界顶级智商社团组织,目前它的会员遍及全球100多个国家和地区,人数高达十几万,智商均在130以上。但是,测试结果显示,其中约有20%的会员患有抑郁症和焦虑症,而在普通人群中,这一比例只有10%。不仅如此,他们还发现,门萨会员似乎也更容易患哮喘、过敏和免疫力底下等疾病。他们试图回答一个问题,高智商是否会加剧心理反应进而影响身体的免疫水平?根据《每日邮报》的报道,研究人员的解释是,高智商人群之所以患精神疾病的比例更高,也许是因为他们过于亢奋、敏感,导致情绪失调。而已有的科学研究认为,心理问题可能引发身体的炎 ...