设 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 是一个交换环. [tex=2.929x1.357]wNZYyFzs1adFMqSe7mkJQQ==[/tex] 表示 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 上的全体 [tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex] 阶方阵的集合. 与数域的情况一样可定义[tex=2.929x1.357]wNZYyFzs1adFMqSe7mkJQQ==[/tex] 中的矩阵的加法和乘法运算. 证明: [tex=2.929x1.357]wNZYyFzs1adFMqSe7mkJQQ==[/tex] 关于这两种运算构成一个环.
举一反三
- 设[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]是有单位元1的交换环，[tex=2.929x1.357]wNZYyFzs1adFMqSe7mkJQQ==[/tex]是[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]上[tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex]阶全阵环. [tex=5.714x1.357]b6x3UNsP/4RKtwWNsu9AsdyZ1gShonJONjXXZHDCNbo=[/tex] 证明[p=align:center][tex=9.714x1.286]yH0ulBrKXaGdnyIfiicOUMjyicceCdry3FxYqsokbx/jtaCNvHc1Md8nI7J0Mbfh[/tex]其中[tex=0.786x1.0]I/kNMtd8YcgkWCrgriW/hA==[/tex]是[tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex]阶单位矩阵.
- 设[tex=0.5x1.214]gNOHIx2AGu3qP//Yn7oxrg==[/tex]是环[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]到环[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]的同态, 证明:[tex=2.929x1.357]7sm0+A17+tx/lVOuO5S85F70wS+QwHOEHbE76/O5U/A=[/tex]是[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]的理想.
- 设[tex=2.786x1.357]FjXX3zhvxUYhb/kCMCOvZw==[/tex] 是一个加群. 定义 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 上的乘法运算为[p=align:center][tex=8.929x1.214]mwVSR6rB8ETCmgrBOZBfKC4aHESn61kUbnYwMS+t5bgAmPHK5UFN6E/t4QuDSXF/[/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=22.714x1.357]Ox9qLjqRljsr8zy3ePvBrDWTtOx362qRNDpflc+WVBVHtZHYW94HuuaDOWU0hPrFuE/UpoO4Zl/X3hnab7I6R6G7hpXA61s5I/pCzHhVS96KZtqvem5DAON9NJVsKPqDNNIOQC4Vq7VmLOdy4jC3kQ==[/tex]是系数在 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]上的一元多项式的集合. 按通常多项式的加法和乘法定义[tex=1.929x1.357]d5PlggfPq7IWhxnCFu/8ng==[/tex] 中的加法和乘法. 证明 [tex=2.5x1.357]jLtTNY8xgtIxCzUe7Pl3VQ==[/tex]按这样规定的运算构成一个交换环.