The BCC-algebra G = (G, ⋅ ,0) defin

The BCC-algebra G = (G, ⋅ ,0) defines a
non-empty set G with a constant 0 and a binary
operation denoted by juxtaposition satisfying the
following axioms for all x, y, z ∈ G :
(1) ((xy)(zy))(xz) = 0,
(2) 0x = 0,
(3) x0 = x,
(4) xy = yx =0 implies x = y

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

G สำเนาลับถึงพีชคณิต (G ⋅ 0) =กำหนดเป็นเซตว่าง G มีค่าคง 0 และไบนารีสามารถบุ โดย juxtaposition ความพึงพอใจการดำเนินงานสัจพจน์ต่อไปนี้สำหรับทุก x, y, z ∈ G:(1) ((xy)(zy))(xz) = 0,(2) 0 x = 0(3) x 0 = x(4) xy = yx = 0 หมายถึง x = y

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

BCC พีชคณิต g = (G, ⋅, 0)
กำหนดชุดที่ไม่ว่างเปล่าG ที่มีค่าคงที่ 0
และไบนารีการดำเนินการดังกล่าวโดยการตีข่าวพอใจหลักการดังต่อไปนี้สำหรับทุก
x, y, z ∈ G:
(1) (( เซ็กซี่) (ZY)) (xz) = 0,
(2) 0 x = 0
(3) x0 = x,
(4) เซ็กซี่ = YX = 0 หมายถึง x y =