Proposition 5. Let A be an associative algebra over a field F. If D : A → A is a derivation on the associative algebra A, then D : AL → AL is a derivation of Lie algebras. Thus we may regard Der(A) ⊆ Der(AL).
5. โจทย์ให้ A เป็นสมาคมพีชคณิตที่สนามเอฟถ้า D สอง: →เป็นมาในพีชคณิตเชื่อมโยงจากนั้นD: AL →อัลเป็นรากศัพท์ของalgebras โกหก ดังนั้นเราจึงอาจถือว่าเดอร์ (A) ⊆เดอร์ (AL)