Denote by A = (A, F) an algebra wit

Denote by A = (A, F) an algebra with a support A and a set F of (fundamental)
operations. Given two algebtas A = (A, F), B = (B, G), a mapping h: A --> B is
called a semi-weak homomorphism (see [5]) if for each n-ary operation fe F there
is an n-ary term g of B such that
(*) h(f(al9...9
an
)) = g(h(at
)9
..., h(an
)) for all at
eA .

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

แสดง โดย = (A, F) พีชคณิตการสนับสนุน A และชุด F (ขั้นพื้นฐาน)การดำเนินการ ให้สอง algebtas A = (A, F), B = (B, G), h: แม็ป A--> B มีเรียกว่า homomorphism กึ่งอ่อน (ดู [5]) ถ้าสำหรับแต่ละการดำเนินงาน n ary fe F มีเป็น g มี n ary ระยะของ B ที่(*) h (f (al9... 9 มี)) = g (h (ที่) 9..., h ()) ทั้งเอ

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

แสดงว่าโดย A = (A, F) พีชคณิตกับสนับสนุน A และชุดของ F (พื้นฐาน)
การดำเนินงาน รับสอง algebtas A = (A, F) B = (B, G) ซึ่งเป็นชั่วโมงการทำแผนที่ที่: -> B
จะถูกเรียกว่าhomomorphism กึ่งอ่อนแอ (ดู [5]) ถ้าการดำเนินการแต่ละ n-fe Ary F
มีเป็นคำที่n-Ary กรัม B เช่นนั้น
(*) h (f (AL9 ... 9)) = g (h (ที่) 9 ... , ชั่วโมง (เป็น)) สำหรับทุกที่eA