Proposition 3.3. Let D be a left derivation of a BCI-algebra X. Then for all x, y ∈ X, we have (1) x ∗ D(x) = y ∗ D(y). (2) D(x) = aD(x)∧x. (3) D(x) = D(x) ∧ x. (4) D(x) ∈ LP (X).
โจทย์ 3.3 ให้ D เป็นมาทางด้านซ้ายของเอ็กซ์ BCI พีชคณิตแล้วสำหรับ x ทั้งหมด, y ∈ X เรามี (1) x * D (x) y = * D (y). (2) D (x) = aD (x) ∧x. (3) D (x) = D (x) ∧ x. (4) D (x) ∈ LP (X)