设[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]是交换环,[tex=0.786x1.286]dSWbQCTjdbLxKy7q0ps2gg==[/tex]是[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]的真理想, 证明:[tex=0.786x1.286]dSWbQCTjdbLxKy7q0ps2gg==[/tex]是[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]的素理想[tex=1.0x0.643]bMRrINhuwlMbjrHDeWypogdkWGb3ojVpD4vc6TFnQGs=[/tex]对[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]的任意两个理想[tex=1.5x1.214]VxtvWlgGBBypyenN8OD8Wg==[/tex], 若[tex=3.214x1.143]r0gdMMVbhunOvZjSkrcJzIrCJSAJFiKR6HwUg4NdQgA=[/tex], 则[tex=2.429x1.143]CuoaCTRreE/K8xH3y+k5DA==[/tex] 或[tex=2.571x1.143]alHbRNAWdZhUaTe2OV1x1Q==[/tex], 其中[tex=7.143x1.357]/sdFt/Rx0yiw1+5ifdUZZkUer1fPa78enyOW8Wm9MbKrhUZ/lM+r366kqmrC04mP[/tex]
设[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]是交换环,[tex=0.786x1.286]dSWbQCTjdbLxKy7q0ps2gg==[/tex]是[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]的真理想, 证明:[tex=0.786x1.286]dSWbQCTjdbLxKy7q0ps2gg==[/tex]是[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]的素理想[tex=1.0x0.643]bMRrINhuwlMbjrHDeWypogdkWGb3ojVpD4vc6TFnQGs=[/tex]对[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]的任意两个理想[tex=1.5x1.214]VxtvWlgGBBypyenN8OD8Wg==[/tex], 若[tex=3.214x1.143]r0gdMMVbhunOvZjSkrcJzIrCJSAJFiKR6HwUg4NdQgA=[/tex], 则[tex=2.429x1.143]CuoaCTRreE/K8xH3y+k5DA==[/tex] 或[tex=2.571x1.143]alHbRNAWdZhUaTe2OV1x1Q==[/tex], 其中[tex=7.143x1.357]/sdFt/Rx0yiw1+5ifdUZZkUer1fPa78enyOW8Wm9MbKrhUZ/lM+r366kqmrC04mP[/tex]
1