>> 欢迎您,客人登录 按这里注册 忘记密码 在线 搜索 论坛风格  帮助  插件   


>>> 数学分析,奇异积分,几何,代数,微分方程,群与环,数论
Elinkage数学论坛基础数学 [返回] → 浏览:Galois 理论:纯证明, 完整证明   Mark Dickinson 标记论坛所有内容为已读 

 目前论坛总在线 23 人,本主题共有 1 人浏览。其中注册用户 0 人,访客 1 人。  [关闭详细列表]
发表一个新主题 回复贴子 开启一个新投票 ◆此帖被阅读 40 次◆  浏览上一篇主题  刷新本主题  树形显示贴子 浏览下一篇主题
 * 贴子主题: Galois 理论:纯证明, 完整证明   Mark Dickinson 不分页显示此帖  保存该页为文件  本贴有问题,发送短消息报告给版主  加入个人收藏&关注本贴  显示可打印的版本  把本贴打包邮递  把本贴加入收藏夹  发送本页面给朋友   
 elim 
 头衔: 论坛版主

 

等级: 新手上路
信息: 该用户目前在线 此人为版主
威望: +5 积分: 0
现金: 167145 雷傲元
存款: 没开户
贷款: 没贷款
来自: 保密 blank
发帖: 2389
精华: 0
资料:  
在线: 50天22时26分21秒
注册: 2010/12/07 06:27am
造访: 2021/01/27 03:35am
消息 查看 搜索 好友 引用 回复贴子回复 只看我 [楼 主]
  Thread Contentsm%9


发贴时间2021/01/08 04:59am IP: 已设置保密[本文共39字节]  
 elim 
 头衔: 论坛版主

 

等级: 新手上路
信息: 该用户目前在线 此人为版主
威望: +5 积分: 0
现金: 167145 雷傲元
存款: 没开户
贷款: 没贷款
来自: 保密 blank
发帖: 2389
精华: 0
资料:  
在线: 50天22时26分21秒
注册: 2010/12/07 06:27am
造访: 2021/01/27 03:35am
消息 查看 搜索 好友 引用 回复贴子回复 只看我 [第 2 楼]
  1.记号与约定V
设$\;\sigma:F\to E\,$是(交换)域同态,一般可将$\,F\,$等同于$\sigma(F)\,$视作w:"^cM
$\,E\,$的子域(称$E$为$F$的扩域).以$\,E/F\,$表示这一域扩张关系.此C-fH
时$E$是域$\underset{\,}{\,}F$上的向量空间.其维数$[K:F]$也叫扩张$E/F$的度.]"-~P
命题2.3(Tower Law)对域扩张$\,K/E,\;E/F,\;K/F,\;$扩张$E/F$l
有限当且仅当扩张$\small\,K/E,\,E/F\,$皆有限:$[K:F]{\small=}[K:E][E:F].$Y
证:若$K/F$有限,$\small\exists D=\{k_1,\ldots,k_l\}\subset K\,$使$\small\,E\subset F[k_1,\ldots,k_l]=K.$^2
$\therefore\;K/E,\,E/F$的基可表为$D$关于$F$的线性组合.其维数均有限.67R
$\quad$设有限集$S\,\subset E,\,T\subset K$依次是$K/E,E/F$的基,不难验证Do@\\b
$\quad ST$是$\underset{\,}{\,}K/F$的基._{R>J
引理 2.4 对域扩张$K/F$,若$\,F\subset E\subset K,\,E\,$是$F$关于$K$的加^
法乘法封闭,则$E$是$F$上的向量空间.若其维数有限,则$E$是$K$bK%g=
的子域,$E/F$是有限度域扩张."CEzV
证:由所论封闭性及$F\subset E\,$知$E$是$F$上的向量空间.对任一fJ'Rc
$\quad\alpha\in E-\{0\},\,M_{\alpha}:\beta\mapsto\alpha.\beta\,$是$F$上$\,E\,$到自身的线性单射]O
$\quad$若$\,E\,$是$\,F\,$上的有限维向量空间,则$\,M_{\alpha}\,$是满射.有某$\,\gamma\in E$TQ!inr
$\quad$使$\,M_{\alpha}\gamma=\alpha\gamma=1\in F\subset E.\underset{\,}{\,}$所以$E\,$是$K$的子域.^


发贴时间2021/01/08 09:21am IP: 已设置保密[本文共1252字节]  

 该主题只有一页

快速回复主题: Galois 理论:纯证明, 完整证明   Mark Dickinson
您目前的身份是: 客人 ,要使用其他用户身份,请输入用户名和密码。未注册客人请输入网名,密码留空。
输入用户名和密码: 用户名: 没有注册? 密码: 忘记密码?
上传附件或图片 (最大容量 10000KB)
目前附件:(如不需要某个附件,只需删除内容中的相应 [UploadFile ...] 标签即可) [删除]
选项

使用 LeoBBS 标签?
显示您的签名?
有回复时使用邮件通知您?

使用字体转换?

    快速引用第 楼层的回复
 顶端 加到"个人收藏夹" 主题管理总固顶 取消总固顶 区固顶 取消区固顶 固顶 取消固顶 提升 沉底
加重 取消加重 精华 取消精华 锁定 解锁 删除 删除回复 移动


© 中文版权所有: 雷傲科技
程序版权所有: 雷傲超级论坛  版本: LeoBBS X Build051231
 

本论坛言论纯属发表者个人意见,与 Elinkage数学论坛 立场无关