va'au'au

From Lojban Wiki
Jump to navigation Jump to search

valsi

va'au'au

type

experimental cmavo

creator

krtisfranks

time entered

Fri May 12 05:42:58 2023  

English

Definition #73210 - Preferred

 

selma'o

VUhU3

definition

Binary mekso operator: group-theoretic conjugation (group action): maps inputs MATH

$(X_1, X_2, X_3)$

(X1, X2, X3) to MATH

$X_2^{(-X_3)} * X_1 * X_2^{X_3} = \phi_{(X_2^{(-X_3)})}(X_1)$

X2(-X3)*X1*X2X3 = φ(X2(-X3))(X1). Default: X3 = 1.

notes

Assumes that the inverse of X2 is defined; inherits the group operator '*' (which is binary and left-groups/evaluates from the left) from context and assumes that it is defined for the given input pairs. X3 will typically be ±1. Negative 'exponents' denote inverses; an 'exponent' of 0 denotes the jdentity element for the group.

gloss words

created by

krtisfranks

vote information

1

time

Fri May 12 13:01:05 2023



Examples


Etymology