03 2021 档案
摘要：戴德金整环 前一章研究了$\dim D = 0$的诺特环即阿廷环。本章研究一种$\dim D = 1$的诺特环：戴德金整环，它是主理想整环(PID)概念的夸张。戴德金整环被定义为满足$\dim D = 1$的诺特整闭整环。我们知道诺特环上的理想都有准素分解，而戴德金整环的理想不仅有唯一的准素分解，还
阅读全文
摘要：克鲁尔维数 环$A$的最长素理想链$p_0\subsetneq p_1 \subsetneq \dots \subsetneq p_n$，我们定义克鲁尔维数$\dim A = n$，以及素理想的高度$h(p_i) = i$。对于多项式环，我们有以下性质： 对于一般的环$A$， \(1 + \dim
阅读全文
摘要：整性 整性的概念是域论中代数元以及代数扩张的概念推广。设有两个环$A,B$满足$A\subset B$，如果$b\in B$是首一多项式$P(x) \in A[x]$的根，那么就成$b$是$A$的整元。$b_1, \dots, b_n$是$A$上的整元，当且仅当$A[b_1, \dots, b_n]
阅读全文
摘要：准素分解 把复杂的理想分解成简单理想之交是研究环结构的一种方法。例如，对于整数环的理想$n\mathbb$，如果$n$是不同素数的乘积，那么我们就可以分解成素理想的交 \(30\mathbb{Z} = 2\mathbb{Z}\cap 3\mathbb{Z}\cap 5\mathbb{Z}\) 但$n
阅读全文
摘要：分式环与分式模 我们知道从整环$A$出发可以构造$A$的分式域，其方法是选取$a\in A, s \in A-{0}$构造等价类 \((a, s) \equiv (b, t) \Leftrightarrow at - bs = 0\) 那么从一般环出发怎样构造分式环呢？其方法是从$A$的乘闭子集$S
阅读全文
摘要：正合序列 对于一串$A$模同态， \(\cdots \stackrel{f_{n-2}}{\longrightarrow} M_{n-1} \stackrel{f_{n-1}}{\longrightarrow} M_n \stackrel{f_{n}}{\longrightarrow} M_{n+1
阅读全文
摘要：在交换环的各种例子中，最典型的是多项式环$A[x]$和幂级数环$A[[x]]$。 多项式环$A[x]$是由$f(x) = a_0 + a_1x + \dots + a_nx^n$组成的环，它的性质包括： $f$在$A$可逆 $\Leftrightarrow a_0$在$A$中可逆，且$a_1,\do
阅读全文
摘要：五次以上方程无求根公式的证明框架 一般方程$f(x)=xn - t_1x + \dots + (-1)n t_n=0$有求根公式，意味着在$f(x)$在$F = \mathbb(t_1, \dots, t_n)$上的分裂域$E$上存在$F$的根塔，也即存在域扩张链 \(F=F_1\subseteq
阅读全文
摘要：本章的重点是三个等价的定理，它们被用来证明$e$的超越性： 林德曼-魏尔斯特拉斯定理 如果$u_1,\dots,u_n$是两两不同的代数数，则$\exp(u_1),\dots,\exp(u_n)\(在\)\mathbb$上线性无关。 广义林德曼-魏尔斯特拉斯定理 如果$u_1,\dots,u_n$是
阅读全文
摘要：模p法 对于多项式$f(x)\(，我们经常要求其在\)\mathbb\(上的伽罗瓦群\)\text(f(x),\mathbb)$。模$p$法告诉我们，我们可以通过求$f(x)$在$p$元域上的伽罗瓦群$\text(f(x),\mathbb_p)\(得到\)\text(f(x),\mathbb)$的信
阅读全文
摘要：在伽罗瓦群的各种性质中，可迁性是最重要的一类性质，因为它所对应的是不可约多项式的分裂域，而这是我们最经常遇到的一种情形。$S_p$的可迁子群有以下性质： 定理 $G$是$S_p$可解的可迁子群，则 \(|G| = pm 其中 m | (p-1)\) $G$的任意两个$m$阶子群之交为${1}$ 性质
阅读全文
摘要：4次不可约多项式的伽罗瓦群 考虑$F$上的4次不可约多项式$f(x)$。 当$\text(F) \neq 2$时，$f(x)$无重根。假设根为$r_1,r_2,r_3,r_4$，我们定义$$\alpha = r_1r_2+r_3r_4, \beta = r_1r_3 + r_2r_4,\gamma
阅读全文
摘要：伽罗瓦理论基本定理建立起的域扩张和群之间的一一对应，共轭中间域对应共轭子群，正规扩张对应正规子群，不可约多项式的分裂域对应可迁子群。利用伽罗瓦理论基本定理，我们可以把域问题转化为群问题解决，例如： $E/F$是有限伽罗瓦扩张。\(\text{Gal}(E/F) = A_n, n \geq 4\)，则
阅读全文
摘要：本章最重要的定理是以下4个命题等价 (i) $E/F$是有限伽罗瓦扩张 (ii) $E$是$F$上可分多项式在$F$上的分裂域 (iii) $E/F$是有限扩张且$|\text(E/F)| = [E:F]$ (iv) $G = \text(E/F)\(是有限群且\)\text(G) = F$ 该定理
阅读全文
浙公网安备 33010602011771号