• 2022-05-27
    证明:包含域[tex=1.071x1.286]bM7qNVIctMbDn6oefl1jzg==[/tex]的每个有限域都是[tex=1.071x1.286]bM7qNVIctMbDn6oefl1jzg==[/tex]的单扩域.
  • 证:不妨设[tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex]是任一个包含[tex=1.071x1.286]bM7qNVIctMbDn6oefl1jzg==[/tex]的有限域,由下题结论可知乘群[tex=1.214x1.071]plYiOGqsi2x51lvGPTzTvw==[/tex]是循环群. 令[tex=3.429x1.357]oUN1Wh2aUu00NvuFtxpD+lMrJTBGbr1P+Sysul7rEcc=[/tex],所以[p=align:center][tex=10.714x1.357]c3HTDGXK7O11xtvJV8T9eESTf4/M4Ll54BaW7hjPNE2jTNjc5BvSIztlqgMFvNtnLva8NmiQmNsrtpm/HaZOdNeQZtCILKD5FvmSEjnFiqc=[/tex]因此[tex=3.929x1.357]v6kA3HWcjAjuDW5C4ZmycQtrdoygW2UW11JaIBTRGog=[/tex]为[tex=1.071x1.286]bM7qNVIctMbDn6oefl1jzg==[/tex]的单扩域.

    内容

    • 0

      证明,有理数域[tex=0.857x1.0]WBOxEEx6dPfNM3eGriw9WQ==[/tex]上多项式 [tex=2.286x1.357]sp9dySalToVvVo68uJ+aWw==[/tex] 的分裂域是一个单扩域[tex=2.357x1.357]A2Zflt9k8vIus35U/ivdXg==[/tex]其中 [tex=0.643x0.786]hlJJ6/DUY+n2/FE6M2JdRA==[/tex]是 [tex=2.286x1.357]sp9dySalToVvVo68uJ+aWw==[/tex] 的一个根.

    • 1

      证明[tex=5.214x1.5]so+aUUJjMAVzC0SaFc2IOd3gFB7+GqVhy8ULYOrOIdds00WRM4SbIUlWBP9Ns+AM[/tex]这个域对它所包含的素域是单代数扩张。

    • 2

      设 [tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex] 是有限域, 则 [tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex] 有一个同构于 [tex=1.071x1.286]o47uln10KUnmSfJmS1m2kSpHLMLBfvRFmO/jeuKxjYc=[/tex] 的素子域 [tex=1.143x1.0]RJKRNsUdTBDg78oiJ8PTTA==[/tex] 从而 [tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex] 是 [tex=0.857x1.0]FfIhW8W8Jb8XV2jfmtoNZA==[/tex] 上的有限维向量空间. 由此证明: 存在正整数 [tex=0.929x1.0]4YXOg6rmHsFEwpxRSup8Rw==[/tex] 使得 [tex=3.214x1.357]rNRxYHjQdO7YkZT6AAmseg==[/tex]

    • 3

      设[tex=1.857x1.357]QPi3lZKJ+q/B5QY5cuDuQg==[/tex]是系数属于域[tex=1.071x1.286]Yf9vilsri8269WAMogYgOQ==[/tex]([tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]为素数)的一个多项式, 证明[p=align:center][tex=5.929x1.357]Ny0A5/F+eAq0do7xYJbhJFg93F1cOmaZyx83cJIoRCU=[/tex].

    • 4

      设[tex=0.786x1.0]I/kNMtd8YcgkWCrgriW/hA==[/tex] 是域 [tex=0.857x1.0]WBOxEEx6dPfNM3eGriw9WQ==[/tex]的代数扩域,且 [tex=0.857x1.0]WBOxEEx6dPfNM3eGriw9WQ==[/tex] 上每一多项式[tex=2.143x1.357]rByUrHVBTQB2C43DbY7ymQ==[/tex]在 [tex=0.857x1.0]WBOxEEx6dPfNM3eGriw9WQ==[/tex] 上的分裂域都是[tex=0.786x1.0]I/kNMtd8YcgkWCrgriW/hA==[/tex]的子域,证明: [tex=0.786x1.0]I/kNMtd8YcgkWCrgriW/hA==[/tex] 是代数闭域.