Let be any algebra over a field , a

Let be any algebra over a field , and define a derivation of as a linear operator on satisfying

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

ให้เป็นพีชคณิตใด ๆ ผ่านเขต และกำหนดที่มาของการเป็นตัวดำเนินการเชิงเส้นบนความพึงพอใจ

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

อนุญาตเป็นพีชคณิตใด ๆ สนามและกำหนดแหล่งที่มาของการเป็นผู้ประกอบการเชิงเส้นในความพึงพอใจของ

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

ปล่อยให้เป็นพีชคณิตข้ามทุ่ง และกำหนดการเชิงเส้นบนภิรมย์
เป็นผู้ประกอบการ