What is this property to be called?

114 Views Asked by At

Two functions, $f$ and $g$, that satisfy the following identity: $$f(g(a_1,...,a_n), g(b_1,...,b_n),...) = g(f(a_1,b_1,....), f(a_2,b_2,...)...)$$ (notice the "transposition" of the arguments), do they possess a named and/or known property? Or as an alternative, where can I find out more about it?

(Apologies if I asked a duplicate question, but I didn't know how to search for it)

2

There are 2 best solutions below

3
On BEST ANSWER

Wikipedia calls it "$f$ and $g$ commute" for multivariate functions:

The notion of commutation also finds an interesting generalization in the multivariate case; a function $f$ of arity $n$ is said to commute with a function $g$ of arity $m$ if $f$ is a homomorphism preserving $g$, and vice versa i.e.: $${f\big(g(a_{11},\ldots ,a_{1m}),\ldots ,g(a_{n1},\ldots ,a_{nm})\big)=g\big(f(a_{11},\ldots ,a_{n1}),\ldots ,f(a_{1m},\ldots ,a_{nm})\big)} $$

The given reference is Universal Algebra: Fundamentals and Selected Topics by Clifford Bergman.

0
On