Proposition 3.17. If X is a self-di

Proposition 3.17. If X is a self-distributive CI-algebra, then it is transitive.
Proof. For any x, y ∈ X, we have
(y ∗ z) ∗ ((x ∗ y) ∗ (x ∗ z)) = (y ∗ z) ∗ (x ∗ (y ∗ z))
= x ∗ ((y ∗ z) ∗ (y ∗ z))
= x ∗ 1
= 1.

ผลลัพธ์ (ไทย) 1:

ข้อเสนอที่ 3.17 ถ้า X เป็นพีชคณิต CI self-distributive แล้วเป็นสกรรมกริยาหลักฐานการ มี x, y ∈ X เรามี(y ∗ z) ∗ ((x ∗ y) ∗ (x ∗ z)) = (y ∗ z) ∗ (x ∗ (y ∗ z))= x ∗ ((y ∗ z) ∗ (y ∗ z))x ∗ 1 == 1

ผลลัพธ์ (ไทย) 2:

โจทย์ 3.17 ถ้า X เป็น CI-พีชคณิตตนเองจำหน่ายแล้วมันเป็นสกรรมกริยา.
หลักฐาน สำหรับ x ใด ๆ , y ∈ X เรามี
(Y * Z) * ((x * y) ที่ * (x * Z)) = (Y * Z) * (x * (* และ Z))
= x * (( และ * Z) * (* และ Z))
= x * 1
= 1

ผลลัพธ์ (ไทย) 3:

ข้อเสนอ 3.17 . ถ้า x เป็นของตนเองกระจายพีชคณิต มันเป็นสกรรมกริยา .
พิสูจน์ สำหรับ x , y ∈ x เรามี
( Y ∗ Z ) ∗ ( ( X ∗ Y ( x ) ∗∗ Z ) ) = ( y ∗ Z ) ∗ ( X ∗ ( Y ∗ Z )
= x ∗ ( ∗ Z ( Y Y ) ∗∗ Z )
∗ 1
= x = 1