• 2022-06-14
    设 [tex=0.857x1.0]PvQ1rNj9zmhWbdNmDhnQhA==[/tex] 是欧几里得整环, [tex=0.571x0.786]G/buLKOLYVDEKMZ76t752w==[/tex] 为 [tex=0.857x1.0]PvQ1rNj9zmhWbdNmDhnQhA==[/tex] 的欧几里得映射, 满足[tex=6.857x1.357]jaRyfuXSn+supTNYYNjZbHFcbLOCnzLXyPOYUbEI3hIeumMiJwDT7oHIQpeYuf+T[/tex] 对任意 [tex=6.857x1.214]4h74qloXtaOFcmEAvNP+JelPGwDsh1WlPlKYGc5xIqw=[/tex]证明:(1) [tex=2.071x1.071]3tI+8XI1BkPQORI4hflE3A==[/tex] 是单位当且仅当 [tex=4.786x1.357]aBNEuq0fe1wM/q0NtNOx1976Zw8ictvWI5ukwUeOgJE=[/tex](2) 如果存在 [tex=5.071x1.357]MUBOqhgSidNbIiPGutca8XciMnPJBCxQOnHxy9Cn2io=[/tex] 使对 [tex=0.857x1.0]PvQ1rNj9zmhWbdNmDhnQhA==[/tex] 的任一非零元 [tex=0.857x1.0]dX7rm7LvksHgaJBSn5HPlg==[/tex] 都有 [tex=3.571x1.357]AoeaJsS4KlxLDjbmHifpAQ==[/tex] 则 [tex=0.857x1.0]PvQ1rNj9zmhWbdNmDhnQhA==[/tex] 是域;(3) 如果 [tex=6.286x1.214]Tme6/tq0IPS+BjHaQ3B4gPkWfoNe27NJ6uqIVmfx+Jk=[/tex] 则 [tex=4.5x1.357]ZCL2+eXKCBQ6PBY5dmKY/uwkbVzI/qZK98mwB22Esfk=[/tex]. 
  • 举一反三