• 2022-06-19
    设[tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex]是一个域,证明:在域[tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex]上的一元多项式环[tex=1.786x1.357]DpXALeWBl8+QhoNGSoieqQ==[/tex]中,有带余除法。
  • 解:与数域[tex=0.857x1.0]eMszuSG5by5UfRZVROYp5A==[/tex]上一元多项式环[tex=2.0x1.357]s5rkuaa09tHVOqNEBnxxWg==[/tex]中的带余除法的证明一样。

    举一反三

    内容

    • 0

      设 [tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex] 是特征为 [tex=0.571x1.0]FGGpnaR8m8C48rN8O0c7aw==[/tex] 的域, [tex=7.643x1.357]btud4JFbMuvgYfQLcEnwE5avp8UnpnuLTNhSRnnni64=[/tex] 证明 : [tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/tex] 在 [tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex] 中不可约或 [tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/tex] 在 [tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex] 中分裂. 

    • 1

      设[tex=4.857x1.214]wRbY2rsX3hsnG7bWPPLOLdOPUOps7uf9XLNyeCrKtV8=[/tex]是域[tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex]上不可离元. 证明:若[tex=4.857x1.357]3yFPsW2/nDLpcI2p6eAw/NpaPOeugO+V4WWwp6IBo7s=[/tex],则 [tex=0.929x1.0]NcHr2jMtiiHYOWdCIwFGZg==[/tex]也是[tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex]上的不可离元.

    • 2

      证明:域[tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex]上多项式环[tex=1.857x1.286]MfKiV4Wjx6/Of8KLR+g5Kg==[/tex]的每个理想都是主理想.

    • 3

      设[tex=0.643x0.786]cnVwa8IjZzNSEmAUXJ8VCQ==[/tex]是域[tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex]的某扩域中的元, 并且[tex=2.357x1.143]meoHEFKwdSrtRtTICAF4Uw==[/tex]是[tex=0.643x0.786]cnVwa8IjZzNSEmAUXJ8VCQ==[/tex]在[tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex]上的极小多项式. 对于[tex=2.357x1.357]n8GQc38XvmGZfZ5nwx3wAA==[/tex], 求[tex=1.286x1.0]8Xn41q6UqA3xYbffChrL0Q==[/tex]在域[tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex]上的极小多项式.

    • 4

      设[tex=1.857x1.357]VHvV9DduV1/OkZRTTw1+mg==[/tex]是域[tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex]上首系数为[tex=0.5x1.0]oYgVDn+QZqcDCRxqEZwM2A==[/tex]的多项式,且在某扩域中有根 [tex=0.929x0.786]ZAiG7AJu8kc6lTV9euHRkQ==[/tex]证明:若[tex=1.857x1.357]VHvV9DduV1/OkZRTTw1+mg==[/tex]在[tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex]上不可约,则[tex=1.857x1.357]VHvV9DduV1/OkZRTTw1+mg==[/tex]是[tex=0.643x0.786]hlJJ6/DUY+n2/FE6M2JdRA==[/tex]在[tex=0.786x1.286]BlkXDnmzWHxe4M6E9LlofQ==[/tex]上的最小多项式.