设[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex]为整环, 则[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]为素元当且仅当[tex=1.286x1.357]TP6DNPZ0BXz9dGahH6oH3todNWR8QzFOwyHNRRUu2eE=[/tex]是[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex]的非零素理想.
举一反三
- 设[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex]为整环. 若[tex=1.286x1.357]TP6DNPZ0BXz9dGahH6oH3todNWR8QzFOwyHNRRUu2eE=[/tex]是[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex]的非零极大理想, 则[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]为不可约元.
- 设[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex]是主理想整环, 则[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/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]是有单位元的整环. 证明:若 [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=5.143x1.214]2gPPNnaIkNQoH34iScPRrLxFkfXftWe49txSULc9tDk=[/tex], 其中[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]为素数. 能否将[tex=0.786x1.0]as0RCzgUx1oS48cKHRAVVg==[/tex]嵌到一个无零因子的含幺环[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]中, 使得[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]的特征为[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]?