On 2/17/08, Bernie Cosell <bernie@fantasyfarm.com> wrote:
On 16 Feb 2008 at 18:58, Steve Witham wrote:
Is there a common name for the idiom F^-1( G( F( x ) ) ) ?
I think that was called "conjugation by F" when I ran across it.
That's what it's called in group theory of course; here the group operation is functional composition (at least for functions well-enough behaved). The trouble with a lot of these terms is that they become overloaded with alternative meanings in other initially separate domains of mathematics, which in due course overlap and cause ambiguity. In geometric algebra, the transform of a flat Y by an isometry X may be represented by X^{-1} Y X, the group-theory conjugate; however X^{-1} is essentially given by a component sign-change (reversion), which in the case of quaternion X is just the quaternion conjugate. To make things worse, composing this with the parity involution is then called the Clifford conjugate. So we really could use an alternative nomenclature here, but I haven't come up with any so far. Maybe I shall have to settle for Henry's "lifting" (from differential geometry?) --- any more ideas, anybody? WFL