va'au'au
Jump to navigation
Jump to search
valsi
va'au'au
type
experimental cmavo
creator
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
vote information
1
time
Fri May 12 13:01:05 2023
Examples