• Public

  • Public
  • Network
  • Groups
  • Featured
  • Popular
  • People

A page from Guy Roos's chapter on Jordan triple systems in Jacques Faraut, Soji Kaneyuki, Adam Korányi, Qi-keng Lu, and Guy Roos, editors, Analysis and Geometry on Complex Homogeneous Domains, volume 185 of Progress in Mathematics, Birkhäuser, Boston, MA, 2000. Lemma 1.5.3 The following identities hold in a Jordan triple system: Q(z, Q(x)Q(y)z) = 2Q(x)Q(y)Q(z) - Q(x, z)Q(y)Q(x, z) - Q(x)D(y, zf + D(x, y)D(z, y)Q(x, z), (J5.1) Q(z, Q(x)Q(y)z) = 2Q(z)Q(y)Q(x) - Q(x, z)Q(y)Q(x, z) - D(z, y)2Q(x) + Q(x, z)D(y, z)D(y, x); (J5.1') Q({xyz}) + Q(Q(x)y,Q(z)y) = Q(x)Q(y)Q(z) + Q(z)Q(y)Q(x) + Q(x, z)Q(y)Q(x, z), (J5.2) Q(Q(x)y, Q(z)y) = 2Q(x)Q(y)Q(z) + D(x, y)Q(x, z)D(y, z) - D(x, y)2Q(z) - Q(x)D(y, z)2; (J5.3) Q({xyz}) = Q(z)Q(y)Q(x) - Q(x)Q(y)Q(z) +D(x, y)2Q(z) + Q(x)D(y, z)2 (J5.4) +Q(x, z)Q(y)Q(x, z) - D(x, y)Q(x, z)D(y, z); Q(x, Q(x)Q(y)z) = Q(x)D(y, z)D(y, x) - Q(x)Q(y)Q(x, z), (J5.5) Q(x, Q(x)Q(y)z) = D(x, y)D(z, y)Q(x) - Q(x, z)Q(y)Q(x); (J5.5') D(y, Q(x)Q(y)z) = D(y, x)D(y, z)D(y, x) - D(y, x)Q(y)Q(x, z) - Q(y)D(z, y)Q(x), (J5.6) D(Q(x)Q(y)z, y) = D(x, y)D(z, y)D(x, y) - Q(x, z)Q(y)D(x, y) - Q(x)D(y, z)Q(y); (J5.6') Q( {xyz}, Q(x)Q(y)z)