证明 : 每个无单位元的环[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex]都可嵌入(即在同构意义下包含在）一个有单位元的环中.
举一反三
- 设[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex]是有单位元的整环. 证明:若 [tex=4.571x1.0]e9dgkRD4ubLrCzzjIX5OfX7A5Q7gBBke5x+UKJII8/0=[/tex], 则[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex] 有子环与[tex=0.714x1.0]A/RYZa+bKKYYpjzBS/r5ng==[/tex]同构.
- 设[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex]是有单位元的整环. 证明:若 [tex=4.071x1.214]e9dgkRD4ubLrCzzjIX5OfYTkN9P1upXqByi+BV+G+gI=[/tex]([tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex] 是素数 ), 则[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex]有子环与 [tex=1.071x1.286]Yf9vilsri8269WAMogYgOQ==[/tex]同构.
- 设[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex]是有単位元1[tex=2.214x1.286]LdfxmbZO/dkwxLsA+hGMZA==[/tex]的环，证明：[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex]中的可逆元不可能是零因子。
- 证明定理：设 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 是一个有单位元的环, [tex=0.571x0.786]ZKO2xs0EgSemzoH7MSmYTA==[/tex] 是 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 上的一个未定元.(1) [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的零元 0 就是[tex=1.929x1.357]d5PlggfPq7IWhxnCFu/8ng==[/tex]的零元 (即零多项式);(2) [tex=1.929x1.357]d5PlggfPq7IWhxnCFu/8ng==[/tex] 是有单位元的环，且 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的单位元就是 [tex=1.929x1.357]d5PlggfPq7IWhxnCFu/8ng==[/tex] 的单位元;(3) 如果 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 是无零因子环, 则 [tex=1.929x1.357]d5PlggfPq7IWhxnCFu/8ng==[/tex] 也是无零因子环, 且 [tex=1.929x1.357]d5PlggfPq7IWhxnCFu/8ng==[/tex] 的单位就是[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]的单位;(4) 如果 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 是交换环，则 [tex=1.929x1.357]d5PlggfPq7IWhxnCFu/8ng==[/tex] 也是交换环;
- 设环[tex=3.5x1.286]9nlEIvQxLeNuWoevFsUZE039BKqeYdh1Ja/Kg/QP+Hk=[/tex]有左单位元 [tex=0.786x0.786]smkeai0+myg9f5pS0Q47qg==[/tex]证明：如果[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]无右零因子，则 [tex=0.5x0.786]rCTQ93hYjIOF3vc8FasIqg==[/tex] 是环[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]的单位元.