举一反三
- 证明命题 3. 7.注 命题 3. 7 如下:设 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]是一个环,[tex=0.5x1.0]3EF1VcotinZAjtQqtSWaxw==[/tex]是[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]的一个理想.(1)若[tex=0.571x1.0]EnSTrJsHc9I00M+IaN7q+w==[/tex]是[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]的一个理想且[tex=2.357x1.143]dFK0pllFt/zWEC+crtFExA==[/tex], 则 [tex=1.5x1.357]DQDKvU4BxJ/UC33T+mY9sw==[/tex] 是[tex=1.714x1.357]ceJTjldMkJXWCHatl5T1Jg==[/tex]的理想;(2)若[tex=0.714x1.0]Hl8mr56J4t0Ek5ZoqbFYYg==[/tex]是[tex=1.714x1.357]sU/Eol/VzF4h4tpIDEJ9Ag==[/tex]的一个理想, 则存在 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]的理想[tex=0.571x1.0]EnSTrJsHc9I00M+IaN7q+w==[/tex], 使[tex=2.357x1.143]dFK0pllFt/zWEC+crtFExA==[/tex]且[tex=3.286x1.357]lODhOYSHJTAF/Tk9pX1cLA==[/tex]
- 设 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 是一个交换环. [tex=1.5x1.214]VxtvWlgGBBypyenN8OD8Wg==[/tex] 是 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的两个理想, 且 [tex=2.643x1.143]jZczHAWaUxFVXussUtQMGYnrAWRbjiAANXBvGlu6xz0=[/tex] 证明: 如果 [tex=1.5x1.357]DQDKvU4BxJ/UC33T+mY9sw==[/tex]是 [tex=1.714x1.357]ceJTjldMkJXWCHatl5T1Jg==[/tex] 的素理想, 则 [tex=0.571x1.0]EnSTrJsHc9I00M+IaN7q+w==[/tex] 是 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的素理想.
- 设 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 为交换环, [tex=0.5x1.0]3EF1VcotinZAjtQqtSWaxw==[/tex] 是 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的非零理想, [tex=0.571x1.0]EnSTrJsHc9I00M+IaN7q+w==[/tex] 是 [tex=0.5x1.0]3EF1VcotinZAjtQqtSWaxw==[/tex] 的素理想. 证明: [tex=0.571x1.0]EnSTrJsHc9I00M+IaN7q+w==[/tex] 是 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的理想.
- 设 [tex=0.5x1.0]3EF1VcotinZAjtQqtSWaxw==[/tex] 和 [tex=0.571x1.0]EnSTrJsHc9I00M+IaN7q+w==[/tex] 是环 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的理想且满足 [tex=8.429x1.357]d0SviAaQvqe5MwGVEWJq4a0s7W5DbmFNl5qcG4Q0BNI=[/tex] 证明: 环 [tex=3.786x1.571]qyHbwyK3mgaAt+V3+n4qCSn7zLVtDKHO6NC2LNTN6gM=[/tex]
- 试明定理[tex=1.571x1.0]NRAZSenLCh2cmqvlDAuLxg==[/tex]注 定理[tex=1.286x1.0]kKCBHQIleWbqLYAAphuK9A==[/tex]如下:设[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]是一个环, [tex=0.5x1.0]3EF1VcotinZAjtQqtSWaxw==[/tex]是[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]的理想.(1)若[tex=0.571x1.0]EnSTrJsHc9I00M+IaN7q+w==[/tex]是[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]的理想, 则[tex=8.857x1.571]q5W7VvnThRiSAS3Jbiihlk4nznYZovknm27R+wDzbUgy/KB6cLlcqo+RB7WV6+Pt[/tex](2)若[tex=0.571x1.0]EnSTrJsHc9I00M+IaN7q+w==[/tex]是[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的理想,且 [tex=2.357x1.143]hmtyi/PG7j28PFV8+4H81GFH4NHJ9jPZRtfqR3pyO4Q=[/tex], 则 [tex=8.929x1.357]KPfO9KqaoHTPeQJw4n6XBnR8/jev71ZZLhkMVIqcifOI40+aHe2jmxFdBV/vadrB[/tex]
内容
- 0
设[tex=0.643x1.0]jLbabU9pW65GUKemsNBJWw==[/tex]是 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]的子环, [tex=0.5x1.0]3EF1VcotinZAjtQqtSWaxw==[/tex] 是 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的理想, 且[tex=2.714x1.143]qeVx/WneqT6AKFTmS1fp3aWUSBO9UpECh2/YR23omjA=[/tex] 证明:(1) [tex=1.571x1.357]Fm8Px+trZ6+uWLyh/NKRGQ==[/tex] 是 [tex=1.714x1.357]ceJTjldMkJXWCHatl5T1Jg==[/tex] 的子环;(2) 如果 [tex=0.643x1.0]jLbabU9pW65GUKemsNBJWw==[/tex] 是 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的理想, 则 [tex=1.571x1.357]Fm8Px+trZ6+uWLyh/NKRGQ==[/tex] 是 [tex=1.714x1.357]ceJTjldMkJXWCHatl5T1Jg==[/tex] 的理想. [p=align:center][br][/br]
- 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.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]是主理想整环[tex=0.5x1.0]LcdCy2j5rNO7dKCH5QTrlQ==[/tex]，是[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]的理想且 [tex=3.286x1.357]dFTkQ01Y6TZlDUeXGPq6dA==[/tex]，试证：[tex=1.714x1.357]ceJTjldMkJXWCHatl5T1Jg==[/tex]的每个理想都是主理想（问[tex=1.714x1.357]ceJTjldMkJXWCHatl5T1Jg==[/tex]是主理想整环吗）。
- 3
设 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 是有单位元的交换环, [tex=0.5x1.0]3EF1VcotinZAjtQqtSWaxw==[/tex] 是 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的真理想. 证明: 如果 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的每个不在 [tex=0.5x1.0]3EF1VcotinZAjtQqtSWaxw==[/tex] 中的元素都可逆, 则 [tex=0.5x1.0]3EF1VcotinZAjtQqtSWaxw==[/tex] 是 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的唯一的极大理想.
- 4
设[tex=1.5x1.214]VxtvWlgGBBypyenN8OD8Wg==[/tex]是环[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]的理想, 假设[tex=3.357x1.143]GNaN58NEBLI/RNACEeIr9Q==[/tex]且[tex=4.429x1.357]BhYJIYUqbV7rh27v3GsZSprXnk5rSNzS1PUnUJNSjYw=[/tex](此时称[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]是[tex=0.5x1.0]3EF1VcotinZAjtQqtSWaxw==[/tex]和[tex=0.571x1.0]EnSTrJsHc9I00M+IaN7q+w==[/tex]的内直和 ),证明: [tex=4.5x1.571]KfJOO3z2/XNC6y050WO8wtXxdA91le8WQn0kCaAia08=[/tex]