If I is an ideal of KK-algebras X, then the following are equivalent: (1) I is an q-ideal of X; (2) for any x,y ∈ X, (x ∗ 0) ∗ y ∈ I implies x ∗ y ∈ I; (3) for any x,y,z ∈ X, (x ∗ y) ∗ z ∈ I implies x ∗ (y ∗ z) ∈ I.
ถ้าเป็นอุดมคติของ KK ฉาก X แล้วดังเทียบเท่า:(1) เป็นอุดมคติ q ของ X(2) สำหรับ x, y ∈ X, (x ∗ 0) ∗ y ∈ นัย x ∗ y ∈ฉัน(3) สำหรับทุก x, y, z ∈ X, (x ∗ y) ∗ z ∈ฉันหมายถึง x ∗ (y ∗ z) ∈ฉัน
ถ้าฉันเป็นอุดมคติของ KK-จีบ X แล้วต่อไปนี้จะเทียบเท่า: (1) ฉันเป็น Q-อุดมคติของ X; (2) สำหรับ X ใด ๆ , y ∈เอ็กซ์ (X * 0) * Y ∈ฉันหมายถึง x * Y ∈ฉัน; (3) สำหรับ x ใด ๆ Y, Z ∈เอ็กซ์ (x * y) * Z ∈ฉันหมายถึง x * (y * z) ∈ I. ?
ถ้าผมเป็นอุดมคติของ KK พีชคณิต x แล้วต่อไปนี้จะเทียบเท่า :( 1 ) ผมเป็น q-ideal x ;( 2 ) สำหรับ x , y ∈ x ( x ∗ 0 ) ∗ Y ∈ผมหมายถึง x ∗ Y ∈ฉัน ;( 3 ) สำหรับ x , y , z ∈ X ( X Y Z ∗ ) ∗∈ผมหมายถึง∗ X ( Y ∗ Z ) ∈ .