设 [tex=0.786x1.286]dSWbQCTjdbLxKy7q0ps2gg==[/tex] 是交换环 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的素理想, [tex=6.214x1.214]ntTGV+INANaOxwQM3oA55Q17TF/s8JHXDq/jIRy9LaY=[/tex]是环 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的理想. 证明: 如果 [tex=4.214x3.286]kOt7ABIjJ1TB/tJHGJrFZ3RHhTajJeIAe0yk9mpbDZA=[/tex] 则存在 [tex=5.429x1.357]3e6KkWeOUjrDinTGUupjNWs3ggxaNu/WfiQzizsuExc=[/tex]使 [tex=2.429x1.214]xWDpNOPectl1eprG8UPAkw==[/tex]
设 [tex=0.786x1.286]dSWbQCTjdbLxKy7q0ps2gg==[/tex] 是交换环 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的素理想, [tex=6.214x1.214]ntTGV+INANaOxwQM3oA55Q17TF/s8JHXDq/jIRy9LaY=[/tex]是环 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的理想. 证明: 如果 [tex=4.214x3.286]kOt7ABIjJ1TB/tJHGJrFZ3RHhTajJeIAe0yk9mpbDZA=[/tex] 则存在 [tex=5.429x1.357]3e6KkWeOUjrDinTGUupjNWs3ggxaNu/WfiQzizsuExc=[/tex]使 [tex=2.429x1.214]xWDpNOPectl1eprG8UPAkw==[/tex]
1