代数, VIII, p. 180
Bourbaki marks this one as harder than the rest.
对于环 A,用 N(A) 表示 A 的伪子环的集合,其元素都是幂零的,并用 Nmax(A) 表示 N(A) 的极大元素的集合。
a) 令 D 为域和 n 整数。证明Nmax(Mn(D))由伪环gTg−1组成,其中g是Mn(D)的可逆元,T是矩阵(aij)∈Mn(D)的集合,使得aij=0代表i⩾j(使用习题2) VIII、p. 14)。 b) 设 A 为阿廷环和 π:A→A/R(A) 典范映射。显示从 Nmax(A) 到 Nmax(A/R(A)) 映射 P↦π(P) 定义双射。由a)推导出Nmax(A)的元素的交等于R(A),且Nmax(A)的任意两个元素通过A的内自同构相互变换。