扫二维码下载作业帮
3亿+用户的选择
下载作业帮安装包
扫二维码下载作业帮
3亿+用户的选择
前面1——12题只求答案,下面第二题要写过程.
作业帮用户
扫二维码下载作业帮
3亿+用户的选择
第一题：容易验证跟192不互素的数都是零因子.所以要找0到191里面比与192互素的数的个数.192=2^6*3,只要把2和3的倍数剔除就好了吧.应该是形如6k+1,6k+5的数.所以是192÷6×2=64个第二题：首先x^5-y^2在ker里面,希望证明（x^5-y^2）=Kerf任意u属于kerf,u=∑cij*x^i*y^j,先按y降幂排列,而且可以把y^2“换成”x^5,比如y^3=y(y^2-x^5)+yx^5=yx^5.P(x)所以u=G(x,y)*(x^5-y^2)+y*P(x)+Q(x),PQ多项式u属于Kerf,所以y=t^5,x=t^2后上式等于0,但是y*P(x）的t的次数都是5+2k的形式,Q（x）的t的次数都是2k的形式,线性无关所以f(u)=0当且仅当f(P)=f(Q)=0,于是u属于x^5-y^2生成的主理想所以kerf=(x^5-y^2)三：m∈Z/n,且m∈nilradical I,则m^k=0,则m^k=p^e*t,t属于Z,则p|m^k,则p|m,所以（p）包含I反之,任意m∈（p）,则m=pq,则m^e=p^e*q^e≡0（mod n）,所以反包含成立所以I=(I)四：首先2(2x+3)-(4x-3)=9属于I=(4x-3,2x+3),引进9=0之后发现4x-3已经被2x+3和9生成了,也就是说这个环就是Z[x]/(2x+3,9)因为x-3=9x-4(2x+3)+9,所以x-3属于I,而且I=（x-3,9）,好了,终于有个monic的多项式了于是每个元素都化成(x-3)p(x)+k,于是只有0~8这9个元素五:第五题有点超过我的知识了,我现在上的抽代还在讲环,这个貌似跟hilbert零点定理有关,我看artin的书看过,不是掌握的很好,我试试……C[x,y]/(@@,@@)里的极大理想应该和包含I=（y^2-x^3-1,y-x）的C[x,y]的极大理想有1-1对应而C[x,y]的极大理想都是[x-a,y-b]的形式,其中a,b属于C（请看Artin第十章第7还是第8节,挺难证的）设I=（x-a,y-b）=(y^2-x^3-1,y-x)因为y-x-b+a和y-x都属于I,如果a-b不是0,那么I里面就有一个非零复数（是unit）,则I=C【x,y】,与极大理想定义矛盾.所以a=b于是就是x=y=a要满足y^2-x^3-1=0的方程,应该有3个解于是答案是3六：辗转相除应该可以做：记g.c.d=dx^20-1-x^8(x^12+1)=-x^8-1x^12+1-x^4(x^8+1)=1-x^4x^8+1-x^4(x^4-1)=1+x^4x^4+1-(x^4-1)=2所以d|2,而2不行,所以d=1七.不是很明白,题目意思是说in Z / 2(x)吗?还是Z/(2) [x]不过应该都不难八.救命,module也只是粗浅看过,知道阿贝尔群结构定理,但是课内还没学到……不懂九.同样不懂诺特环……十.其实就是把4和3分拆,4=4=3+1=2+2=2+1+1=1+1+1+1；3=3=2+1=1+1+1.数数就会发现有5*3个可能十一.囧,到域了……u=sqrt(-3)+sqrt(3)=sqrt(3)(1+i),u^2=3*2i=6i,u^4=-36所以u在Q中的极小多项式f(x)整除x^4+36=(x^2+6)(x^2-6)发现上述2个2次式代入u=根号（-3）+根号3之后都不成立,所以f=x^4+36十二.直接套卡当公式吧……我不算了原来你说的第二题在这里!我还以为是上面那道……ORZ.final 2:等价于要证可以通过有限次二次扩域,扩出x^4-x^2-1的根而x^4-x^2-1=[(x^2)-(1+sqrt(5))/2][(x^2)-(1-sqrt(5))/2]于是只要构造二次扩域的链：Q＜L1=Q（sqrt(5)）＜L2=L1(根号（(1+sqrt(5))/2）)＜L3=L2（根号(1-sqrt(5))/2）然后4个根都在L3里面了!好啦!求加分……累死了
为您推荐：
其他类似问题
扫描下载二维码中国考研网
& 其他新闻与资讯
沈阳建筑大学2018年离散数学考研初试大纲
2018年硕士研究生考试初试离散数学科目考试大纲
一、考查目标
离散数学是现代数学的一个重要分支，是计算机科学中基础理论的核心课程。考核的内容是计算机专业需要的重要基础部分，包括：
1. 数理逻辑部分，要求掌握命题及其表示法、连接词、重言式与蕴含式、对偶与范式、推理证明、谓词逻辑等;
2. 集合论部分，要求掌握关系及其表示、复合关系和逆关系、集合的划分和覆盖、等价关系与等价类、特征函数与模糊子集、可数集与不可数集等;
3. 代数结构部分，要求掌握群、环和域、阿贝尔群和循环群、置换群、陪集与拉格朗日定理、同态与同构等;
4. 布尔代数部分，要求掌握格、布尔代数、布尔表达式等;
5. 图论部分，要求掌握图的基本概念、路与回路、图的矩阵表示、欧拉图与汉密尔顿图、平面图、树等;
二、考核形式与试卷结构
(一)试卷满分及考试时间
满分为150分，考试时间为3小时。
(二)答题方式
答题方式为闭卷、笔试。
(三)试卷内容结构
客观题，包括判断题、填空题、选择填空题。主观题，包括计算题和证明题。其中：
数理逻辑和集合论部分(65分)
代数结构和布尔代数部分(50分)
图论部分(35分)
(四)试卷题型结构
客观题40分，计算题和证明题110分。
选择、判断和填空题(30分)
简答题(10分)
计算题(70分)
证明题(40分)
三、考查内容及要求
(一)数理逻辑
1. 命题逻辑
2. 谓词逻辑
(二)集合论
1. 集合与关系
(三)代数系统
1. 代数结构
2. 格与布尔代数
四、考试用具说明
考试时仅需要携带黑色笔。
限时优惠：￥1480
限时优惠：￥1980
限时优惠：￥2080
限时优惠：￥1480当前位置： >>
范畴论是抽象地处理数学结构以及结构之间联系的一门数学理论。 范畴论 有些人开玩笑地称之 为“一般化的抽象废话”。范畴论出现在很多数学分支中，以及理论计算机科学和数学 物理的一些领域。目录[隐藏]
1 背景 2 历史注记 3 范畴 o 3.1 定义 o 3.2 范畴举例 o 3.3 态射分类 4 函子 5 自然和自然同构 o 5.1 定义 o 5.2 举例 6 泛结构，极限和上极限 7 等价范畴 8 进一步的概念和结果 9 范畴分类 10 参考书目 11 外部链接[编辑] 背景所谓一个范畴 范畴就是试图抓住一类数学对象(比如群论中的群)的本质的数学结构。 传统的 范畴 作法是要集中注意力于这些数学对象(比如群)本身， 范畴论的作法则是要强调数学对象 间保持对象结构不变的态射。 以群论为例， 保持对象结构不变的映射就是所谓的群同态。 不同的范畴可以用函子相联系。函子是一般化了的函数。函子把一个范畴中的对象和另 一个范畴中的对象联系起来， 同时把前一个范畴中的态射和后一个范畴中的态射也联系 起来。许多时候一些“自然构造”，比如拓扑空间的基本群，可以用函子来表达。更进 一步，这些构造“自然的发生联系”。这就引出了自然变换的概念。所谓自然变换，就 是把一个函子映射为另一个函子。数学中经常会遇到“自然同构”，自然同构的两个数 学对象(本质上)是正则相关的。自然同构的概念可以精确的描述这一现象。[编辑] 历史注记范畴，函子和自然变换是由塞缪尔艾伦伯格和桑德斯麦克兰恩在 1945 年引进的。 这些概念最初出现在拓扑学，尤其是代数拓扑学里，在同态（具有几何直观）转化成同调论（公理化方法）的过程中起了重要作用。乌拉姆说，在 1930 年代的后期，波兰学 派中曾出现类似的想法。 艾伦堡和麦克兰说，他们的目的在于理解自然映射；为此，必须定义函子；为了定义函 子，就自然地要引进范畴。 同调代数由于计算上的需要而使用范畴论，这对范畴论起到了推进作用；此后范畴论又 在代数几何的公理化过程中得到发展。代数几何与罗素-怀特海德的关于数学统一性基 础的观点相抵触。 广义范畴论-更容纳了语意灵活性和高阶逻辑等多种新特征的泛代数随后产生，现在被运用到数学的所有分支。 特殊范畴拓扑斯甚至可以代替公理集合论作为数学的基础。 然而范畴论对这些范围广泛 的基础应用还是有争议的； 但作为构造性数学的基础或注释， 范畴论被研究的相当透彻。 尽管如此，可以说，尤其是公理集合论，至今仍然是数学家们的通用语言，并没有被范 畴论的注释所取代。将范畴论引入大学程度的教学（在《伯克霍夫-麦克兰》和《麦克 兰-伯克霍夫》这两本抽象代数的教科书的区别上可以印证）还是遭到了相当的反对。 范畴逻辑是直觉逻辑中类型论的一个被明确定义的分支， 在计算机学科的函数式编程和 域理论中均有应用，并且都是在笛卡尔闭范畴中对λ演算的非句法性描述。至少，用范 畴论可以精确地描述在这些相关的领域里什么是共同的（在抽象的意义上）。[编辑] 范畴[编辑] 定义一个“范畴”包括下列 3 个组成部分
一个“对象”的类 对于任何两个对象 A 和 B， 存在一个从 A 到 B 的态射集合 Mor(A,B)。 如果 f 属于 Mor(A,B)，则记为 f : A → B （有些作者将态射集记为 Hom(A,B) ） 对于任何三个对象 A， B 和 C，存在一个二元运算 Mor(A,B) × Mor(B,C) → Mor(A,C)，称此为“复合态射”；由 f : A → B 和 g : B → C 复合而成， 记为 gf、g o f，或者 gf（有些作者将此记为 fg ）。以上组成部分若满足如下两条公理，则称为范畴： （结合性）如果有 f : A → B， g : B → C 和 h : C → D，则 h(gf) = (hg)f； （等价性）对任意对象 X，存在一个态射 idX : X → X，称为“X 的恒等态射”， 使得对任何态射 f : A → B，都有 idBf = f = fidA。 id从以上公理出发可以得到，一个对象的恒等态射是唯一的。有些作者将对象本身用恒等 态射来定义，这在本质上是相同的。如果对象的类确实是个集合，那么这种范畴就被称为“小范畴”。许多重要的范畴不是 “小范畴” 小范畴。 范畴中的态射有时又称为“箭头”，这种叫法来自于交换图。 “箭头”[编辑] 范畴举例每一范畴都由其对象，态射，和复合态射来表述。为了方便起见，以下的“函数”即是 指态射，不再一一说明。
Set 是所有集合和它们彼此之间的全函数构成的范畴 Ord 是所有预序集和其间的单调函数构成的范畴 Mag 是所有广群和其间的同态映射构成的范畴 Med 是所有对换广群和其间的同态映射构成的范畴 Grp 是所有群和其间的群同态构成的范畴 Ab 是所有阿贝尔群和其间的群同态构成的范畴 VectK 是所有体 K（K 固定）上的向量空间和其间的 K-线性映射构成的范畴 Top 是所有拓扑空间和其间的连续函数构成的范畴 Met 是所有测度空间和其间的测地映射构成的范畴 Uni 是所有一致空间和其间的一致连续函数构成的范畴 任何偏序集 (P, ≤) 构成一个小范畴，其对象是 P 的元素，其态射是从 x 指 向 y 的箭头，其中 x ≤ y。 任何以单一对象 x （x 为任意固定集合）为基础的独异点构成一个小范畴。独 异点的任意元素通过二元运算给出一个从 x 到 x 的映射，所有这些映射恰好 是范畴的所有态射；范畴的复合态射也正好是独异点的二元运算。事实上，范 畴可以看成独异点的推广；关于独异点的定义和定理有一些可以推广到范畴。 任何有向图对应于一个小范畴：其对象是图的顶点，其态射是图的路径，其复 合态射是路径的连接。称此范畴为有向图的“自由范畴”。 设 I 是个集合，“I 上的离散范畴”是一个小范畴，以 I 的元素为对象，以 I 的恒等映射为其唯一的态射。 任何范畴 C 可以在另一种看法下成为一个新的范畴：它具有相同的对象，然而 所有态射都是反方向的。称此为“对偶”或者“反范畴”，记作 Cop （op 来自 英文的 opposite）。 设 C 和 D 是范畴，则它们的“直积范畴”C × D 被定义为：其对象为取自 C 的一个对象和取自 D 的一个对象的有序对，其态射亦为取自 C 的一个态射和 取自 D 的一个态射的有序对，其复合态射则由其分量分别复合。[编辑] 态射分类态射 f : A → B 称为单态射，如果 fg1 = fg2 ，则有 g1 = g2 ，此关系对所有态射 g1 ， g2 : X → A 成立。
满态射，如果 g1f = g2f ， 则有 g1 = g2 ，此关系对所有态射 g1 ， g2 : B → X 成立。 同构，如果存在逆态射 g : B → A 使得 fg = idB 并且 gf = idA。 自同构，如果 f 是同构态射，并且有 A = B 。 自同态，如果 A = B 。映射之间的关系（比如 fg = h ）在大多数情形下可用更直观的交换图来表示，在此图 中对象被表示成顶点，态射被表示为箭头。[编辑] 函子函子是范畴之间保持结构的映射。它们可以被看成以所有（小）范畴为成员的范畴中的 态射。 一个从范畴 C 到范畴 D 的（协变）函子 F 被定义为： 对 C 中任意对象 X ，都有一个 D 中相应的对象 F(X) 与其对应； 对 C 中任意态射 f : X → Y ，都有一个 D 中相应的态射 F(f) : F(X) → F(Y) 与其对应；并使下列性质成立： 对 C 中任意的对象 X ，都有 F(idX) = idF(X) 。 对 C 中任意两个态射 f : X → Y 和 g : Y → Z，都有 F(g
F(f) 。一个从范畴 C 到范畴 D 的反变函子 F 不同于函子的地方仅在于将 D 中的映射箭头 倒过来。比如说 f : X → Y 是 C 中任一态射，则有 F(f) : F(Y) → F(X) 。定义反 变函子的最简捷的方法是作为 C 的反范畴 Cop 到 D 上的函子。 有关函子的具体例子和性质请详见函子条目。[编辑] 自然和自然同构详细请见自然变换条目。 一个“自然变换”是两个函子之间的一个关系。函子通常用来描述“自然构造”，而自 然变换则用来描述两个构造之间的 “自然同态” 有时候， 。 两个截然不同的构造具有 “相 同的”结果；这正可以用两个函子之间的自然关系来表述。[编辑] 定义如果 F 和 G 是从范畴 C 到范畴 D 的（协变）函子，则从 F 到 G 的一个自然变换对 于 C 中的任何对象 X ， 都有一个 D 中相应的态射 ηX : F(X) → G(X) ， 使得对 C 中 的任何态射 f : X → Y ，都有 ηY
F(f) = G(f)
ηX ；这也就是说下列图表是 可交换的：两个函子 F 和 G 称为“自然同构”，如果存在一从 F 到 G 的自然变换，使得对所有 C 中的对象 X ， ηX 是一个同构。[编辑] 举例设 K 是体， V 是 K 上的任意向量空间，则有从向量空间到其二重对偶的一个“自然” 内射型线性映射 V → V** 。这些映射在以下意义上是“自然”的：二重对偶运算是一 个函子，这些映射正好构成了从恒等函子到二重对偶函子的自然变换。如果向量空间的 维数是有限的， 我们就得到一个自然同构； “有限向量空间自然同构于其二重对偶” 因为 。 考虑阿贝尔群及其同态构成的范畴 Ab 。对任意阿贝尔群 X 、 Y 和 Z ，我们得到群 同构 Mor(X, Mor(Y, Z)) → Mor(X Y, Z) 。 这些同构是“自然”的，因为它们定义了两个函子间的一种自然变换： Abop × Abop × Ab → Ab 。[编辑] 泛结构，极限和上极限 泛结构，详见条目：泛性质，极限 (范畴论) 运用范畴论的语言，许多数学研究领域都可以归结成一些恰当的范畴，例如所有集合的 范畴，所有群的范畴，所有拓扑的范畴，等等。这些范畴里的确有一些“特殊的”对象， 例如空集或者两个拓扑的直积。然而，在范畴的定义里，对象是原子性的，那就是说， 我们无法知道一个对象到底是集合，是拓扑，还是其它抽象概念。有必要定义特殊对象 而不涉及对象的内在结构，这是一个挑战。那么到底怎样不用元素而定义空集，不用开 集而定义拓扑积呢？解决这个问题的途径是借用对象和对象之间的关系， 而这些关系由相应范畴中的态射给 出。现在问题转化为寻找泛性质，这些泛性质可以唯一地决定我们所感兴趣的对象。事 实上，为数众多的重要结构都可用纯范畴论的方法来描述。在定义泛性质时，我们要用 到一个非常关键的概念：范畴性“极限”和其“上极限”。[编辑] 等价范畴详见条目：范畴的等价，范畴同构 人们很自然地要问，在什么样的情形下，两个范畴“在本质上是相同”的，换一句话来 说，对其中一个范畴成立的定理，可以既定地转换成另一个范畴的定理。用来描述这种 情形的主要方法是“范畴的等价性”，由函子给出。范畴的等价性在数学中有很多的应 用。[编辑] 进一步的概念和结果范畴和函子的定义只是范畴代数中最基本的部分。除此之外的重要部分如下列所述。基 本上是以阅读顺序排列，尽管它们彼此之间有着内在的联系。 函子范畴 DC 以从 C 到 D 的函子为对象，以这些函子间的自然映射为泛射。米 田引理刻划了函子范畴中可表示的函子，是范畴论最著名的基本结果之一。 对偶原则：范畴论中，每一陈述，定理，或定义都有其“对偶”，实质上可以 通过“反转所有箭头”来得到。如果一个陈述在范畴 C 中成立，那么它的对偶 将在其对偶范畴 Cop 中成立。这一对偶性在范畴论的任何层次都是普适的，由 于它经常不是很清晰，对偶性的应用可以揭示惊人的关联性。 伴随函子：两个映射方向相反的函子对称为伴随函子，随着结合的顺序不同， 分别为左伴随和右伴随。通常来自于由泛性质所定义的结构；也可以作为泛性 质的一种更加抽象和更加强有力的看法。[编辑] 范畴分类 在许多范畴中，态射集合 Mor(A,B) 不仅仅是集合，实际上是阿贝尔群，态射 的复合具有群结构，也就是说是双线性的。这种范畴被称为预加性的。如果这 种范畴还具有所有有限的积和上积，则称为加性范畴。如果所有具有一个核和 一个上核，那么所有满射都是上核，所有单射都是核，我们称此为阿贝尔范畴。 阿贝尔范畴的一个典型的例子是阿贝尔群所组成的范畴。 一个范畴被称为是完备的，如果所有极限存在。集合，阿贝尔群和拓扑空间的 范畴是完备的。 一个范畴被称为是笛卡儿闭性的，如果它具有有限直积，并且一个定义在有限 乘积上的态射总是可以表示成定义在其中一个因子上的态射。一个拓扑斯是一种特殊的笛卡儿闭范畴，在其中可表述（公理化）所有的数学 结构（就象传统上使用集合论可以表示所有数学结构）。一个拓扑斯也可以用 来表述一个逻辑理论。 一个群胚是这样一种范畴，其中每一个映射都是一个同构。群胚是群、群作用 和等价关系的推广。[编辑] 参考书目 Adámek, Jií, Herrlich, Horst, & Strecker, George E. (1990). Abstract and Concrete Categories. Originally publ. John Wiley & Sons. ISBN 0-471-60922-6. (now free on-line edition) Barr, Michael, & Wells, Charles (2002). Toposes, Triples and Theories. (revised and corrected free online version of Grundlehren der mathematischen Wissenschaften (278). Springer-Verlag,1983) Borceux, Francis (1994). Handbook of Categorical Algebra.. Vols. 50-52 of Encyclopedia of Mathematics and its Applications. Cambridge: Cambridge University Press. Lawvere, William, & Schanuel, Steve. (1997). Conceptual Mathematics: A First Introduction to Categories. Cambridge: Cambridge University Press. Mac Lane, Saunders (1998). Categories for the Working Mathematician (2nd ed.). Graduate Texts in Mathematics 5. Springer. ISBN 0-387-98403-8.
中国区际刑法范畴论_职业规划_求职/职场_实用文档。中国区际刑法范畴论 关键词: 区际刑法;跨境犯罪;刑事管辖权冲突;刑事司法协助 内容提要: 当今 中国 客观地...关系范畴:直言,假言,选言 (多种的其中之一) 模态范畴:或然,实然,必然 从范畴论出发可以得到:(从逻辑知识转入到认识,从概念转入到对象) 范畴表 (主)量的范畴:...关键词:范畴本质;自组织性;非平衡态;非线性;后现代 0.引言 从亚里士多德的十大范畴论到康德的范畴概念的先天论,再到黑格尔视范畴为理念发展 过程的重要环节, ...关于犯罪论的体系有范畴论和目的论之分, 以行为为起点的重在对行为本身 进行论理建立的犯罪论体系是范畴论, 而以构成要件为起点以法益保护为目的而 建立的犯罪...(逆反心理) ③受众理论:个人差异论、社会范畴论、社会关系论、文化规范论、社会参与论、信息平衡 论 ④受众心理选择机制:使用与满足理论;选择性理论;遵从性心理 ...根据亚里士多德的“范畴论” ,回答存在是什么即是回答实体是什么。 . 错误 . 正确 标准答案: 13. “智者”在雅典城邦无权参与政治活动,但哲学家能。 . 错误 ...社会唯名论与社会唯实论_法学_高等教育_教育专区。社会学 社会唯名论 一、简介 ...「亚里士多德范畴论之导言」一书里,提出了有关 「类」与「种」的本质问题,...110.2150 格论 j.. 110.2155 泛代数理论 k.. 110.2160 范畴论 l.. 110.2165 同调代数 m.. 110.2170 代数 K 理论 n.. 110.2175 微分代数 o.. 110...教学 内容 中国历代画论:中国画本质特征论;中国画起源发展论;中国画创作论;中国画作 品构成论;中国画范畴论;中国画风格流派论;中国画评赏论;中外绘画比较论。 ...波菲利认为这个问题不是《范畴论》的内容,同时也感觉 到问题的复杂性,所以没有进一步展开。 二、实在论:抽象存在问题 亚里士多德在分析个别事物和一般形式之间的关系...
All rights reserved Powered by
copyright &copyright 。文档资料库内容来自网络，如有侵犯请联系客服。(CleanRobot.A)
(CleanRobot.A)
第三方登录：}