论文部分内容阅读
证明了:1)PKλ上存在一个半正规,弱选择,但不是λ-生成的理想。2)若I是一个λ-生成的,K-完全的,弱选择的理想,则对每一个A∈I^+,都存在B∈P(A)∩I^+,使得I/B=IKλ/B;若IJ 一个λ-生成的,K-完全的,弱选择的正规理想,则对每个A∈I^+,都存在μ〈K,使得I/A不是(μλ)-可分的。3)若QKλ上存在一个精细,∩→K正规理想,则PKλ上存在一个精细。具有∩→K性质的理想