设 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 是有单位元的环. 证明: 环 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的可逆元全体 [tex=2.286x1.357]VSrq2EBbjY/lzOCsf2jcIg==[/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]的同构.
- 设[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]是有限环, 假设[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]没有零因子, 证明: [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]是除环.
- 设 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 是有单位元 [tex=3.143x1.357]BwybrwuFYErsCAQCXkFyKQ==[/tex] 的环, 证明 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 中的可逆元不可能是零因子.
- 设 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 是有单位元的有限交换环. 证明: [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的每一个素理想都是 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的极大理想.
- 设[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]是一个环，并且[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]对于加法来说作成一个循环群，证明[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]是一个交换环。