本文的第一部分包含了Ｊ．Ｃ．ＭｃＣｏｎｎｅｌｌ「３」中的定理的证明，其结果述了一个非交换的Ｎｏｅｔｈｅｒ环，当每个理想都有一个成元的正规集合的情形下素理想的符号幂的形......