设[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 是无零因子的环,[tex=0.643x1.0]jLbabU9pW65GUKemsNBJWw==[/tex] 是 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的子环, 且 [tex=3.286x1.357]Pd1PDhcqZGZ+SPuTqEqZBQ==[/tex] 证明: 当 [tex=0.643x1.0]jLbabU9pW65GUKemsNBJWw==[/tex] 有单位元时, [tex=0.643x1.0]jLbabU9pW65GUKemsNBJWw==[/tex] 的单位元就是 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/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=0.643x1.0]jLbabU9pW65GUKemsNBJWw==[/tex]是 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]的子环, [tex=0.5x1.0]3EF1VcotinZAjtQqtSWaxw==[/tex] 是 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的理想, 且[tex=2.714x1.143]qeVx/WneqT6AKFTmS1fp3aWUSBO9UpECh2/YR23omjA=[/tex] 证明:(1) [tex=1.571x1.357]Fm8Px+trZ6+uWLyh/NKRGQ==[/tex] 是 [tex=1.714x1.357]ceJTjldMkJXWCHatl5T1Jg==[/tex] 的子环;(2) 如果 [tex=0.643x1.0]jLbabU9pW65GUKemsNBJWw==[/tex] 是 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的理想, 则 [tex=1.571x1.357]Fm8Px+trZ6+uWLyh/NKRGQ==[/tex] 是 [tex=1.714x1.357]ceJTjldMkJXWCHatl5T1Jg==[/tex] 的理想. [p=align:center][br][/br]
- 设[tex=4.071x1.214]OdIv3R0UbgCQt7Xf7buuJA==[/tex]为偏序集,在[tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex]上定义新的关系[tex=0.643x1.0]jLbabU9pW65GUKemsNBJWw==[/tex] 如下: [tex=9.286x1.214]G1J5E2OMqjHUKbCq4aIVQBFQOTeQX5ZAiO9qyJL5f9obtlpJDBhTTznmUQvBw1+ELlqj2gVN1GCOj3rRznd5ag==[/tex] 称[tex=0.643x1.0]jLbabU9pW65GUKemsNBJWw==[/tex]为 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]的对偶关系.[br][/br]如果[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]是整数集合上的小于等于关系,那么[tex=0.643x1.0]jLbabU9pW65GUKemsNBJWw==[/tex] 是什么关系? 如果[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]是正整数集合上的整除关系,那么 [tex=0.643x1.0]jLbabU9pW65GUKemsNBJWw==[/tex] 是什么关系?
- 已知 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 是有理数环,[tex=11.429x2.214]lOok9ubivJfTV/4TXzs54zfWLCC1o65BHAxES3/Lr/Xw02F3HnOUsZVQOAMVrVy2w0vU0O5ACYNdPVxEk+8i+YQMaESm6RU0oaFrHBvDoWw=[/tex] 其中 [tex=0.571x1.0]FGGpnaR8m8C48rN8O0c7aw==[/tex]是素数.试证 [tex=0.643x1.0]jLbabU9pW65GUKemsNBJWw==[/tex]是环 [tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex] 的子环.[br][/br]
- 设[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]是集合[tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex]上的关系，构造[tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex]上的关系[tex=0.643x1.0]jLbabU9pW65GUKemsNBJWw==[/tex]如下：对于任意[tex=2.786x1.214]UUb6gXN+Pgi3z2iwygIXNA==[/tex]，[tex=8.5x1.357]ZrPhw4AVgPUCh8CbjRl3lkyVRUYodt4NCPIQSBDHEZkbUNZqG7lwA3N0Qz1ds7aw[/tex]且[tex=3.571x1.357]4R81Ci1GZLtVgBX2kmc0lg==[/tex]要使得[tex=0.643x1.0]jLbabU9pW65GUKemsNBJWw==[/tex]是等价关系，关系[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex]必须满足哪些性质？