socnrpanrnji'akobi

From Lojban Wiki
Jump to navigation Jump to search

valsi

socnrpanrnji'akobi

type

fu'ivla

creator

krtisfranks

time entered

Wed Feb 15 17:13:45 2023  

English

Definition #73146 - Preferred

 

definition

x1 is a binary operator in structure x2 which exhibits the Jacobi property with respect to binary operator x3 (which also endows x2) and element/object x4 (which is an element of the underlying set which form x2).

notes

This word uses a classifier which involves experimental gismu "socni" as a veljvo. Let x1 be denoted by "f", x2 be denoted by "X", x3 be denoted by "+", and x4 be denoted by "e". Then f exhibits the Jacobi property iff, for any x, y, z in X, the following is true: MATH

$f(x, f(y, z)) + f(z, f(x, y)) + f(y, f(z, x)) = e$

f (x, f (y, z)) + f (z, f (x, y)) + f (y, f (z, x)) = e. Notice that f may not be commutative; it may be necessary to further specify that e is the identity element in X for operstor '+', assuming that such is appropriate.

gloss words

created by

krtisfranks

vote information

1

time

Wed Feb 15 17:15:55 2023

[View Comments For This Definition]


Examples


Etymology