近世代数理论基础37：共轭元和共轭子域

2019-03-15 本文已影响2人溺于恐

共轭元和共轭子域

共轭元

定义：设 $E/F$ 为伽罗瓦扩张, $\alpha\in E$ , $\forall 同构\sigma\in Gal(E/F)$ ,元 $\sigma(\alpha)$ 称为 $\alpha$ 在F上的共轭元

例：

1. $\C=\Q(i),Gal(\C/\R)$ 由恒等映射及由 $i\mapsto -i$ 所决定的同构组成

$\forall a+bi(a,b\in R)\in \C$ 有两个共轭元 $a+bi$ 及 $a-bi$

2.令 $G=Gal(E/F)$ , $\alpha\in E$ ,以 $H_\alpha$ 表示G中使 $\alpha$ 固定不变的子群,即 $\forall \sigma\in H_\alpha$ ,有 $\sigma(\alpha)=\alpha$

$\forall \tau_1,\tau_2\in G$ ,若 $\tau_1(\alpha)=\tau_2(\alpha)$ ,则 $\tau_2^{-1}\tau_1(\alpha)=\alpha$

即 $\tau_2^{-1}\tau_1\in H_\alpha$ ,故 $\tau_1,\tau_2$ 属于 $H_\alpha$ 在G中的同一陪集

反之,当 $\tau_1,\tau_2$ 属于 $H_\alpha$ 的同一陪集, $\tau_1(\alpha)=\tau_2(\alpha)$

故 $\alpha$ 在F上的共轭元个数等于 $H_\alpha$ 在G中的陪集个数,即 $|G/H_\alpha|$

设 $\alpha_1=\alpha,\alpha_2,\cdots,\alpha_s$ 为 $\alpha$ 在F上所有互异的共轭元,其中 $s=|G/H_\alpha|$

令 $f(x)=(x-\alpha_1)(x-\alpha_2)\cdots(x-\alpha_s)$ , $\forall \tau\in G$ ,将 $\alpha$ 的共轭元映射为 $\alpha$ 的共轭元

故 $\tau$ 作用在集合 $\{\alpha_1,\alpha_2,\cdots,\alpha_s\}$ 上是一个置换, $f(x)$ 的系数为 $\alpha_1,\alpha_2,\cdots,\alpha_s$ 的初等对称多项式

故将 $\tau$ 作用在 $f(x)$ 的系数上得到 $\tau f(x)=f(x)$

$f(x)$ 的系数属于G的固定子域F,即 $f(x)$ 是F上的多项式,且为不可约多项式

否则,若 $f(x)=f_1(x)g_1(x)$ ,其中 $f_1(x)$ 为F上的不可约多项式, $g_1(x)$ 为F上次数 $\ge 1$ 的多项式

设 $\alpha_i$ 是 $f_1(x)$ 的根, $\alpha_j$ 是 $g_1(x)$ 的根, $\alpha_i,\alpha_j$ 共轭,故 $\exists \tau\in G$ ,使 $\tau(\alpha_j)=\alpha_i$

$g_1(\alpha_j)=0$ ,故 $0=\tau(g_1(\alpha_j))=g_1(\tau(\alpha_j))=g_1(\alpha_i)$

即 $\alpha_i$ 同时也是 $g_1(x)$ 的根,则 $f_1(x)|g_1(x)$ ,故 $f_1^2(x)|f(x)$

但 $f(x)$ 无重根,矛盾

故 $f(x)$ 为 $\alpha$ 在F上的极小多项式

计算E中元在F上的极小多项式： $f(x)=(x-\alpha_1)(x-\alpha_2)\cdots(x-\alpha_s)$

3.计算 $\sqrt{6}+\sqrt{10}+\sqrt{15}$ 在 $\Q$ 上的极小多项式, $Gal(\Q(\sqrt{2},\sqrt{3},\sqrt{5}/\Q))$ 由8个相对 $\Q$ 的自同构组成

$\sigma_1(\sqrt{2})=\sqrt{2},\sigma_1(\sqrt{3})=\sqrt{3},\sigma_1(\sqrt{5})=\sqrt{5}$

$\sigma_2(\sqrt{2})=\sqrt{2},\sigma_2(\sqrt{3})=\sqrt{3},\sigma_2(\sqrt{5})=-\sqrt{5}$

$\sigma_3(\sqrt{2})=\sqrt{2},\sigma_3(\sqrt{3})=-\sqrt{3},\sigma_3(\sqrt{5})=\sqrt{5}$

$\sigma_4(\sqrt{2})=\sqrt{2},\sigma_4(\sqrt{3})=-\sqrt{3},\sigma_4(\sqrt{5})=-\sqrt{5}$

$\sigma_5(\sqrt{2})=-\sqrt{2},\sigma_5(\sqrt{3})=\sqrt{3},\sigma_5(\sqrt{5})=\sqrt{5}$

$\sigma_6(\sqrt{2})=-\sqrt{2},\sigma_6(\sqrt{3})=\sqrt{3},\sigma_6(\sqrt{5})=-\sqrt{5}$

$\sigma_7(\sqrt{2})=-\sqrt{2},\sigma_7(\sqrt{3})=-\sqrt{3},\sigma_7(\sqrt{5})=\sqrt{5}$

$\sigma_8(\sqrt{2})=-\sqrt{2},\sigma_8(\sqrt{3})=-\sqrt{3},\sigma_8(\sqrt{5})=-\sqrt{5}$

故 $\sigma_1(\sqrt{6}+\sqrt{10}+\sqrt{15})=\sigma_8(\sqrt{6}+\sqrt{10}+\sqrt{15})=\sqrt{6}+\sqrt{10}+\sqrt{15}$

$\sigma_2(\sqrt{6}+\sqrt{10}+\sqrt{15})=\sigma_7(\sqrt{6}+\sqrt{10}+\sqrt{15})=\sqrt{6}-\sqrt{10}-\sqrt{15}$

$\sigma_3(\sqrt{6}+\sqrt{10}+\sqrt{15})=\sigma_6(\sqrt{6}+\sqrt{10}+\sqrt{15})=-\sqrt{6}+\sqrt{10}-\sqrt{15}$

$\sigma_4(\sqrt{6}+\sqrt{10}+\sqrt{15})=\sigma_5(\sqrt{6}+\sqrt{10}+\sqrt{15})=-\sqrt{6}-\sqrt{10}+\sqrt{15}$

$\sqrt{6}+\sqrt{10}+\sqrt{15}$ 在 $\Q$ 上的极小多项式为

$(x-(\sqrt{6}+\sqrt{10}+\sqrt{15}))(x-(\sqrt{6}-\sqrt{10}-\sqrt{15}))\\\cdot(x-(-\sqrt{6}+\sqrt{10}-\sqrt{15}))(x-(-\sqrt{6}-\sqrt{10}+\sqrt{15}))$

$=(x^2-2\sqrt{6}x+6-(\sqrt{10}+\sqrt{15})^2)(x^2+2\sqrt{6}x+6-(\sqrt{10}-\sqrt{15})^2)$

$=(x^2-2\sqrt{6}x-19-10\sqrt{6})(x^2+2\sqrt{6}x-19+10\sqrt{6})$

$=x^4-62x^2-240x-239$

高斯公式

设p为素数,g为模p的原根,记 $\zeta=\zeta_p$ , $\zeta_v=\zeta^{g^v}(1\le v\lt p-1)$

设 $ef=p-1$ ,分圆域 $\Q(\zeta)$ 的(f项)周期为 $\eta_v=\zeta_v+\zeta_{v+e}+\cdots+\zeta_{v+(f-1)e}(v=0,1,\cdots,e-1)$

已知 $Gal(\Q(\zeta/\Q))$ 是由同构 $\sigma:\zeta\to \zeta^g$ 生成的p-1阶循环群,且 $\sigma(\zeta_v)=\zeta^{g^v\cdot g}=\zeta_{v+1}$

故 $\sigma(\eta_v)=\zeta_{v+1}+\zeta_{v+1+e}+\cdots+\zeta_{v+1+(f-1)e}=\eta_{v+1}$

$(\eta_e=\eta_0)$ , $\eta_0,\eta_1,\cdots,\eta_{e-1}$ 互为共轭元,它们在 $\Q$ 上的极小多项式为 $(x-\eta_0)(x-\eta_1)\cdots(x-\eta_{e-1})$

定义 $\eta^{(r)}=\zeta^r+\zeta^{rg^e}+\cdots+\zeta^{rg^{e(f-1)}}$

$=\sum\limits_{i=0}^{f-1}\zeta^{rg^{ie}}=\sum\limits_{i\;mod\;f}\zeta^{rg^{ie}}(0\le r\le p-1)$

其中 $i\;mod\;f$ 表示i跑遍 $\Z/f\Z$ , $\eta^{(r)}$ 即为出现了 $\zeta^r$ 的那个 $\eta_v$

故 $\eta^{(r)}\cdot\eta^{(s)}=\sum\limits_{i\;mod\;f}\sum\limits_{j\;mod\;f}\zeta^{rg^{ie}+sg^{je}}$

$=\sum\limits_{i\;mod\;f}\sum\limits_{j’\;mod\;f}\zeta^{rg^{ie}+sg^{(j’+i)e}}$

$=\sum\limits_{j’\;mod\;f}\sum\limits_{i\;mod\;f}\zeta^{(r+sg^{j’e})g^{ie}}$

$=\sum\limits_{j\;mod\;f}\eta^{r+sg^{je}}$

在最后一个等式中将 $j’\;mod\;f$ 改成 $j\;mod\;f$ ,简称高斯公式

可用于计算 $\eta^r\cdot \eta^s$

例：取p=17,g=3,e=2,

(8项)周期

$\eta_0=\zeta+\zeta^{-8}+\zeta^{-4}+\zeta^{-2}+\zeta^{-1}+\zeta^8+\zeta^4+\zeta^2$

$\eta_1=\zeta^3+\zeta^{-7}+\zeta^5+\zeta^{-6}+\zeta^{-3}+\zeta^7+\zeta^{-5}+\zeta^6$

它们互为共轭元

显然, $\eta_0=\eta^{(1)},\eta_1=\eta^{(3)}$

$\eta_0\eta_2=\eta^{(1)}\eta^{(3)}=\sum\limits_{j=0}^7\zeta^{(3+g^{2j})}$

$=\eta^{(4)}+\eta^{(-5)}+\eta^{(-1)}+\eta^{(1)}+\eta^{(2)}+\eta^{(-6)}+\eta^{(7)}+\eta^{(5)}$

$=4\eta_0+4\eta_1=-4$

故 $\eta_0(\eta_1)$ 在 $\Q$ 上的极小多项式为 $x^2+x-4$

共轭子域

定义：设 $E/F$ 为伽罗瓦扩张, $F\subset K\subset E$ , $\forall \sigma\in Gal(E/F)$ , $\sigma(K)$ 称为K在F上的共轭子域

设 $E/F$ 为伽罗瓦扩张, $\forall \alpha\in E$ ,令 $H_\alpha$ 表示 $G=Gal(E/F)$ 中使 $\alpha$ 固定不变的同构所成的子群,则 $H_\alpha=Gal(E/F(\alpha))$

$\forall \tau\in G$ ,若 $\sigma’\in G$ 使 $\sigma’(\tau(\alpha))=\tau(\alpha)$ ,则 $\tau^{-1}\sigma’\tau(\alpha)=\alpha$

故 $\tau^{-1}\sigma’\tau\in H_\alpha$ ,即 $\sigma’\in \tau H_\alpha\tau^{-1}$ ,反之亦然

故 $G$ 中使 $\tau(\alpha)$ 固定不变的子群为 $\tau H_\alpha\tau^{-1}$ ,是子域 $F(\tau(\alpha))$ 所对应的G中的子群,即 $Gal(E/F(\tau(\alpha)))$

$F(\alpha)$ 为F的正规扩张,当且仅当 $\alpha$ 在F上的任一共轭元都在 $F(\alpha)$ 中,即 $\forall \tau\in G$ ,有 $F(\alpha)=F(\tau(\alpha))$

故 $H_\alpha=\tau H_\alpha\tau^{-1}$ ,即 $H_\alpha$ 是G的正规子群

定理：设 $E/F$ 为伽罗瓦扩张, $F\subset K\subset E$ ,则 $K/F$ 为伽罗瓦扩张,当且仅当 $H=Gal(E/K)$ 是 $G=Gal(E/F)$ 的正规子群,此时 $Gal(K/F)$ 与商群 $G/H$ 同构

证明：

$\exists \alpha\in E,使K=F(\alpha)$

$K是F的可分扩张$

$\therefore 当且仅当K为F的正规扩张时,K/F是伽罗瓦扩张$

$\therefore H=H_\alpha是G的正规子群\Leftrightarrow K/F是伽罗瓦扩张$

$设K/F是伽罗瓦扩张$

$则K是F的正规扩张$

$\forall x\in G,将K映为自身,在K上的限制就是Gal(K/F)中的元$

$是G到Gal(K/F)的一个同态映射,核是H$

$\therefore Gal(K/F)与商群G/H同构\qquad\mathcal{Q.E.D}$

设 $E/F$ 是伽罗瓦扩张,当 $Gal(E/F)$ 为交换群时, $E/F$ 称为交换扩张,此时 $Gal(E/F)$ 的任一子群都是正规子群,故 $E/F$ 的任一中间域都是F的伽罗瓦扩张,显然 $\Q(\zeta_n)/\Q$ 和 $F_{q^n}/F_q$ 都是交换扩张

定理：设 $E/F$ 为伽罗瓦扩张,当且仅当 $E$ 为 $F$ 上的一个可分多项式的分裂域

证明：

$设E/F为伽罗瓦扩张,即E是F的有限可分正规扩张$

$\exists \alpha\in E,使E=F(\alpha),\alpha在F上可分$

$\therefore \alpha在F上的极小多项式f(x)为可分多项式$

$\because E是F的正规扩张$

$\therefore E是f(x)在F上的分裂域$

$反之,设f(x)为F上的可分多项式$

$E为f(x)在F上的分裂域$

$下证E为F的可分扩张$

$取\overline{E}=E,记G=Gal(E/F)$

$\because f(x)无重根$

$\therefore |G|=[E:F]$

$设F\subset K\subset E,K为G的固定子域$

$则G\subset Gal(E/K)$

$\therefore [E:F]=|G|\le |Gal(E/K)|\le [E:K]$

$\therefore K=F,即G的固定子域为F$

$\forall \alpha\in E,在G的作用下,\alpha共有\alpha_1,\alpha_2,\cdots,\alpha_s个不同的共轭元$

$易证f(x)=(x-\alpha_1)(x-\alpha_2)\cdots(x-\alpha_s)即\alpha在F上的极小多项式$

$\therefore \alpha在F上可分,E为F的可分扩张\qquad\mathcal{Q.E.D}$

推论：若 $\alpha$ 在F上可分,则 $F(\alpha)$ 是F的可分扩张,即 $F(\alpha)$ 中任一元都在F上可分

证明：

$设\alpha在F上的极小多项式为f(x)$

$则f(x)是F上的可分多项式$

$记E为f(x)在F上的分裂域$

$显然F\subset F(\alpha)\subset E$

$\therefore E/F是伽罗瓦扩张$

$\therefore F(\alpha)是F的可分扩张\qquad\mathcal{Q.E.D}$

近世代数理论基础37：共轭元和共轭子域

共轭元和共轭子域

共轭元

高斯公式

共轭子域

猜你喜欢

热点阅读