Mutation (algebra)

From HandWiki
Revision as of 05:41, 24 October 2022 by JMinHep (talk | contribs) (linkage)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

In the theory of algebras over a field, mutation is a construction of a new binary operation related to the multiplication of the algebra. In specific cases the resulting algebra may be referred to as a homotope or an isotope of the original.

Definitions

Let A be an algebra over a field F with multiplication (not assumed to be associative) denoted by juxtaposition. For an element a of A, define the left a-homotope [math]\displaystyle{ A(a) }[/math] to be the algebra with multiplication

[math]\displaystyle{ x * y = (xa)y. \, }[/math]

Similarly define the left (a,b) mutation [math]\displaystyle{ A(a,b) }[/math]

[math]\displaystyle{ x * y = (xa)y - (yb)x. \, }[/math]

Right homotope and mutation are defined analogously. Since the right (p,q) mutation of A is the left (−q, −p) mutation of the opposite algebra to A, it suffices to study left mutations.[1]

If A is a unital algebra and a is invertible, we refer to the isotope by a.

Properties

  • If A is associative then so is any homotope of A, and any mutation of A is Lie-admissible.
  • If A is alternative then so is any homotope of A, and any mutation of A is Malcev-admissible.[1]
  • Any isotope of a Hurwitz algebra is isomorphic to the original.[1]
  • A homotope of a Bernstein algebra by an element of non-zero weight is again a Bernstein algebra.[2]

Jordan algebras

Main page: Mutation (Jordan algebra)

A Jordan algebra is a commutative algebra satisfying the Jordan identity [math]\displaystyle{ (xy)(xx) = x(y(xx)) }[/math]. The Jordan triple product is defined by

[math]\displaystyle{ \{a,b,c\}=(ab)c+(cb)a -(ac)b. \, }[/math]

For y in A the mutation[3] or homotope[4] Ay is defined as the vector space A with multiplication

[math]\displaystyle{ a\circ b= \{a,y,b\}. \, }[/math]

and if y is invertible this is referred to as an isotope. A homotope of a Jordan algebra is again a Jordan algebra: isotopy defines an equivalence relation.[5] If y is nuclear then the isotope by y is isomorphic to the original.[6]

References

  1. 1.0 1.1 1.2 Elduque & Myung (1994) p. 34
  2. González, S. (1992). "Proceedings of the fifth international conference on hadronic mechanics and nonpotential interactions, held at the University of Northern Iowa, Cedar Falls, Iowa, USA, August 13–17, 1990. Part 1: Mathematics". in Myung, Hyo Chul. New York: Nova Science Publishers. pp. 149–159. 
  3. Koecher (1999) p. 76
  4. McCrimmon (2004) p. 86
  5. McCrimmon (2004) p. 71
  6. McCrimmon (2004) p. 72