设[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]是一个无零因子环且每个加法子群都是[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]的右理想，证明[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]或与[tex=1.071x1.286]DZ7X6Hat4w0CSAjsS6ByJA==[/tex]（[tex=0.571x1.0]+NxxLnTh2HAHOCSSr6dlEg==[/tex]素数）同构，或与[tex=0.714x1.0]oaXPjenEQATpEhakjoja5g==[/tex]的一个子环同构。
举一反三
- 试证整环[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]中含幺元[tex=0.5x1.0]oYgVDn+QZqcDCRxqEZwM2A==[/tex]的最小子环必与[tex=1.071x1.286]DZ7X6Hat4w0CSAjsS6ByJA==[/tex]([tex=0.571x1.0]+NxxLnTh2HAHOCSSr6dlEg==[/tex]为素数)或 [tex=0.714x1.0]oaXPjenEQATpEhakjoja5g==[/tex]同构(前一情形称[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]的特征为[tex=0.571x1.0]+NxxLnTh2HAHOCSSr6dlEg==[/tex]，后一情形称[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]的特征为0)。
- 设[tex=0.786x1.286]yokTf2U2Z7kNGUXMm22GjQ==[/tex]是一个无零因子环且[tex=0.786x1.286]yokTf2U2Z7kNGUXMm22GjQ==[/tex]的每个加法子群都是[tex=0.786x1.286]yokTf2U2Z7kNGUXMm22GjQ==[/tex]的左理想，证明[tex=0.786x1.286]yokTf2U2Z7kNGUXMm22GjQ==[/tex]或与[tex=1.071x1.286]o47uln10KUnmSfJmS1m2kSpHLMLBfvRFmO/jeuKxjYc=[/tex]（[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]素数）同构，或与[tex=0.714x1.0]oaXPjenEQATpEhakjoja5g==[/tex]的一个子环同构。
- 设[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]是无零因子环且只有有限个元素，证明[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]是域。
- 设[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]的同构.
- 证明命题 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]