• 2022-10-24
    设[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]是唯一分解整环,[tex=2.0x1.071]cEfxtcWLM4J1W7/FE7wQ7Q==[/tex]且 [tex=2.357x1.286]NmWLUlTOILHDfw7uqfi4DQ==[/tex], 证明:[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 仅有有限多个主理想包含[tex=0.857x0.786]01kq8KmHly+rFzDvW3W5pw==[/tex]
  • 证明 根据命题 [tex=1.286x1.0]G7cRgICnJgLqV/MyROsJ1A==[/tex], 对与任意的[tex=5.643x1.357]Pjy+3RCF2JEvqsFcoi+HikPwHdEVOL5zZ8qCuSJFlsA=[/tex]当且仅当[tex=0.429x1.0]Q2fWySASH/4Xf2eu85OwAQ==[/tex]是[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]的因子; [tex=3.214x1.357]a4/QxJZtYRAIMF5ELInRlA==[/tex]当且仅当[tex=0.429x1.0]Q2fWySASH/4Xf2eu85OwAQ==[/tex]与[tex=0.5x0.786]hycNLgozeED/VkKdun7zdA==[/tex]相伴. 由于[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]是唯一分解整环, 因此[tex=0.571x0.786]HXNXn3AXpwdIpZt8+6oCEw==[/tex]仅有有限多个不同因子 (相伴的真因子看成同一个真因子). 所以[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]仅有有限多个主理想包含[tex=0.857x0.786]01kq8KmHly+rFzDvW3W5pw==[/tex]

    举一反三

    内容

    • 0

      设 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 是有单位元的有限交换环. 证明: [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的每一个素理想都是 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的极大理想.

    • 1

      设[tex=0.5x1.214]gNOHIx2AGu3qP//Yn7oxrg==[/tex]是环[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]到环[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]的同构, 证明: [tex=1.571x1.429]WwcGTNxNgqKGUcObs50zWg==[/tex]是环[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]到环[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]的同构. 

    • 2

      设[tex=0.5x1.214]gNOHIx2AGu3qP//Yn7oxrg==[/tex]是环[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]到环[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]的同态, 证明:[tex=2.929x1.357]7sm0+A17+tx/lVOuO5S85F70wS+QwHOEHbE76/O5U/A=[/tex]是[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]的理想.

    • 3

      设 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 为环, [tex=1.786x1.214]6tfK8Xu5VII5Cof0ldCDJw==[/tex] 是 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的两个理想,则 [tex=2.071x1.143]FGBbsKfBrmsAUpq686lM7Q==[/tex] 也是 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的理想, 且[tex=13.071x1.571]XuAP5pRnpiOzK6W1JU+4iGIcUJwy+lBPPYAw+otff+OMazqOwTbIAA1mh7Znww+F[/tex]。

    • 4

      设 [tex=4.357x1.357]tgXzZuo5eIYlIaH5Xnk01IgEw5opxn064OzrnH8nMWQ72+2IbzFVXopclkoWekA+[/tex], 求环 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的中心 [tex=0.714x1.0]YiLkHgl7MlxE+QjUplQUKA==[/tex], 且证明 [tex=0.714x1.0]YiLkHgl7MlxE+QjUplQUKA==[/tex] 不是 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的理想。