Let L and L′ be two GADLs with zero

Let L and L′ be two GADLs with zeros. Then a mapping f :L → L′ is called a homomorphism if it satisfies the following:

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

ให้ L และ L′ จะ GADLs 2 กับศูนย์ แล้ว f แมป: L → L′ จะเรียกว่าเป็น homomorphism ถ้ามันเป็นไปตามต่อไปนี้:

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

ขอ L และ L 'เป็นสอง GADLs ด้วยศูนย์ จากนั้นฉทำแผนที่: L → L 'เรียกว่า Homomorphism ถ้ามันสอดคล้องกับต่อไปนี้:

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

ให้ฉันและฉันได้รับเป็นสอง gadls กับศูนย์ แล้วแผนที่ F : L → keyboard - key - name ผมนั้นเรียกว่า homomorphism ถ้ามันน่าพอใจ ดังนี้