域
域
域的定义
代数系统 <F, +, ·> 是域，若满足：
-
<F, +>是阿贝尔群 -
<F - {θ}, ·>是阿贝尔群 -
乘法对加法可分配
等价定义
- 整环
- |F|>1,且是群
域与整环的关系
-
域 ⇒ 整环
-
有限整环 ⇒ 域
本博客所有文章除特别声明外，均采用 CC BY-NC-SA 4.0 许可协议。转载请注明来源 笺札！
相关推荐
2025-10-24
10.24 日常 | 在群论与细雨之间
今天是周五，终于迎来了一个没有实验的周末，光是想到这一点，就让人心生欢喜。 白天的课程依旧紧凑。离散数学的进度触及了“群”这一抽象而优美的概念；数据库系统继续深入 SQL 语言的肌理；下午的数据挖掘课则推进到了贝叶斯模型。知识如潮水般涌来，我需要复习的内容，似乎也像秋天的叶子，越积越厚了。 晚上，一边吃饭，一边看了 T1 和 100T 的比赛。屏幕上的激烈交锋，仿佛在无声地陈述着那句经典：“如果未来是你的，证明给我看。”那种对胜利的纯粹渴望与极致专注，无论在哪个领域，都同样动人。 随后，是独属于我的宁静时刻——继续阅读《瓦尔登湖》。今晚的几段话，格外应和我的心境。 梭罗写道： “很多时候我不愿思考，也不愿劳动，只想好好地享受当前的良辰美景。我热爱生活中的闲暇时光。有时候，在夏天的早晨，依照习惯洗过澡之后，我就坐在阳光明媚的门口，从日出坐到正午，沉浸于幻想之中。” 在这样一个被知识和任务填满的周五，读到这样的句子，像是一种温柔的赦免。它提醒我，“无所事事”并非虚度，而是对生命本身最真诚的致敬。 他接着说道： “只要我们总是真正地去生活……那么沉闷乏味将和我们无缘。只要紧紧地跟...
2025-11-15
代数系统
代数系统 定义 一个非空集合A，连同若干个定义在该集合上的运算f1,f2,...fnf_1,f_2,...f_nf1,f2,...fn,所组成的系统成为一个代数系统，简称代数，记为<A,f1,f2,...,fn><A,f_1,f_2,...,f_n><A,f1,f2,...,fn> 组成 - 载体（一个非空集合A） - 定义在载体上的运算 - 运算满足一定的公理和性质 - 代数常元 代数运算 设A,B是非空集合，f是AnA^nAn到B的一个映射。则称f为集合AnA^nAn到B的一个n元代数运算，简称运算，n称为运算的阶 封闭性 设f是从AnA^nAn到B的一个n元运算，若B⊂AB\subset AB⊂A，则称该n元运算在集合A上是封闭的。 特别地，设f是从A到B的映射，则称f是一个 在A上封闭的一元运算。设f是从A2A^2A2到B的映射， 则称f是一个在A上的封闭的二元运算。 代数常元 幺元 左幺元 设*是定义在集合A上的一个二元运算， 若存在元素e，对于A中的每一个元素x，都有 e∗x=xe* x=xe∗x=x ...
2025-11-18
半群与独异点
半群 定义 一个代数系统<S,*>,其中S是非空集合，∗*∗是S上一个二元运算，如果满足： 运算∗是可结合的，即∀x,y,z∈S运算*是可结合的，即 \forall x,y,z \in S运算∗是可结合的，即∀x,y,z∈S,有 (x∗y)∗z=x∗(y∗z)(x*y)*z =x*(y*z) (x∗y)∗z=x∗(y∗z) 则称<S,∗><S,*><S,∗>为半群 注意： <S,∗><S,*><S,∗>是代数系统，满足封闭性 满足结合律 子半群 设 (S, *) 是一个半群，如果 T 是 S 的一个非空子集，并且 T 在运算 * 下封闭（即对于任意 a, b ∈ T，有 a * b ∈ T），则 (T, *) 称为 (S, *) 的一个子半群 交换半群 如果半群 (S, *) 的运算 * 满足交换律，即对于任意 a, b ∈ S，都有 a * b = b * a，则称这个半群为交换半群（或阿贝尔半群）。 幂等元存在性 定理 在有限半群中，每个元素都有幂等幂。也就是说，对于任意元素a...
2025-11-17
同态
同态 同态定义 设A=<S,∗,△,k><S, *, △, k><S,∗,△,k>和A’=<S’,∗’,△’,k’><S’, *’, △’, k’><S’,∗’,△’,k’>是两个具有相同构成的代数系统，f是从S到S’的一个映射， 且对任意a,b∈S满足： $$\begin{aligned} f&(a*b) = f(a) *’ f(b) \ f&(△a) = △’f(a) \ f&(k) = k’ \end{aligned} $$则称f为由A到A’的一个同态映射，简称同态。A 同态于A’,记作A~A’。 同态象 设f是从A=<S,∗,△,k>A=<S, *, △, k>A=<S,∗,△,k>到A’=<S’,∗’,△’,k’>A’=<S’, *’, △’, k’>A’=<S’,∗’,△’,k’>的一 个同态映射，称<f(S),∗’,△’,k’><f(S), *’, △’, k’><...
2025-11-17
同余关系
同余关系 运算上的同余 设A=<S,∗,Δ>A=<S,*,Δ>A=<S,∗,Δ>是一个代数系统，~是载体S上的等价关系，∀a,b,c∈S\forall a,b,c \in S∀a,b,c∈S. 当ab时，若ΔaΔb，则等价关系在一元运算Δ下是可保持的，称是关于运算Δ同余关系 当ab和cd时，若有a∗c b∗da*c~b*da∗c b∗d,则等价关系在二元运算$*$是可保持的，称是关于运算∗*∗同余关系 注意： A是代数系统，满足封闭性 ~是等价关系 代数系统上的同余 设A=<S,∗,Δ>A=<S,*,Δ>A=<S,∗,Δ>是一个代数系统，是载体S上的等价关系，若在A上的所有运算下都是可保持的，则称~为代数系统A上的同余关系 定理 设g是从代数系统A=<S,∗,△,k>A=<S,*, △,k>A=<S,∗,△,k>到A’=<S’,∗’,△’,k’>A’=<S’,*’, △’,k’>A’=<S’,∗’,△’,k’>的一个同态映射，...
2025-11-18
商代数
商代数 定义 设A=<S,∗,Δ,K>A=<S,*,Δ,K>A=<S,∗,Δ,K>是一个代数系统，是A上的同余关系，A关于的商代数A/~=<S/ ,∗′,Δ′,[K]>=<S/~,*',Δ',[K]>=<S/ ,∗′,Δ′,[K]>.其中 Δ‘[a]=[Δa] $$$$ [a]*'[b]=[a*b] 注意： A是代数系统 ~是代数系统上的同余关系 S/~是集合的集合
