Triality and Lie algebras of type \(D_4\).

*(English)*Zbl 0144.27103In the present paper the author studies the forms of Lie algebras of type \(D_4\) over an arbitrary field with the aid of Galois cohomology. For this purpose he considers two representations of the split algebra \(D_4\) over a field \(P\), one as the set of skew linear transformations of a split Cayley algebra \(\mathfrak C\) over \(P\), another as a certain set \(\mathfrak L_P\) of transformations in \(\mathfrak C\oplus \mathfrak C\oplus \mathfrak C\) which has close connections with triality and which is actually a sum of three inequivalent representations of the first mentioned type. The forms of \(D_4\) over a field \(\Phi\) which are split by a Galois extension \(P\) of \(\Phi\) are in 1-1 correspondence with the equivalence classes of pre-cocycles of \(G\), the Galois group of \(P\) over \(\Phi\), in \(\operatorname{Aut}(\mathfrak L_P, \Phi)\). To every such pre-cocycle corresponds a homomorphism \(p: G\to S_3\), which plays a role in the description of the pre-cocycle. The image of \(p\) has order \(1, 2, 3\) or \(6\); accordingly, the corresponding form of the Lie algebra \(D_4\) is called of type \(D_{4\text{I}}\), \(D_{4\text{II}}\), \(D_{4\text{III}}\) or \(D_{4\text{VI}}\). A Lie algebra is shown to be of type \(D_{4\text{I}}\) or \(D_{4\text{II}}\) if and only if it is isomorphic with the Lie algebra of skew symmetric elements in an associative algebra with involution of type \(D_{4\text{I}}\) or \(D_{4\text{II}}\), respectively – cf. the author [J. Algebra 1, 288–300 (1964; Zbl 0135.07401)] or A. Weil [J. Indian Math. Soc., n. Ser. 24, 589–623 (1961; Zbl 0109.02101)].

Some more information about Lie algebras of type \(D_{4\text{I}}\) is obtained and the automorphisms of Lie algebras of type \(D_{4\text{I}}\) or \(D_{4\text{II}}\) are studied. Algebras over real and \(p\)-adic fields are considered in particular.

It should be mentioned that in an appendix the author gives an important correction to a proof in a previous paper [Rend. Circ. Mat. Palermo, II. Ser. 7, 55–80 (1958; Zbl 0083.02702)].

Some more information about Lie algebras of type \(D_{4\text{I}}\) is obtained and the automorphisms of Lie algebras of type \(D_{4\text{I}}\) or \(D_{4\text{II}}\) are studied. Algebras over real and \(p\)-adic fields are considered in particular.

It should be mentioned that in an appendix the author gives an important correction to a proof in a previous paper [Rend. Circ. Mat. Palermo, II. Ser. 7, 55–80 (1958; Zbl 0083.02702)].

Reviewer: F. D. Veldkamp (Utrecht)

PDF
BibTeX
XML
Cite

\textit{N. Jacobson}, Rend. Circ. Mat. Palermo (2) 13, 129--153 (1964; Zbl 0144.27103)

Full Text:
DOI

##### References:

[1] | F. van der Blij and T. A. SpringerOctaves and triality, Nieuw Archief voor Wiskunde (3), vol. VIII (1960), 158–169. |

[2] | C. L. Caroll Jr.Normal simple Lie algebras of type D and order 28 over a field of characteristic zero, University of North Carolina dissertation, 1943. |

[3] | N. JacobsonA class of normal simple Lie algebras of characteristic zero, Annals of Math. vol. 38 (1937), 508–517. · Zbl 0016.20001 |

[4] | –Simple Lie algebras of type A, Annals of Math., vol. 39 (1938), 181–188. · Zbl 0018.10302 |

[5] | –Simple Lie algebras over a field of characteristic zero, Duke Math. Jour. vol. 4 (1938), 534–551. · JFM 64.0083.05 |

[6] | –Classes of restricted Lie algebras of characteristic p, I, Am. J. of Math. vol. 63 (1941), 481–515. · JFM 67.0095.01 |

[7] | –Composition algebras and their automorphisms, Rend. Circolo Matem. di Palermo, ser. II vol. VII (1958), 55–80. · Zbl 0083.02702 |

[8] | –Some groups of linear transformations defined by Jordan algebras II, Jour. f. d. reine u. Angew. Mat., vol. 42 (1960), 74–98. · Zbl 0142.26401 |

[9] | –Lie Algebras, Interscience, New York, 1962. |

[10] | –Clifford algebras for algebras with involution of type D, Jour. of Algebra, vol. 1 (1964), 288–300. · Zbl 0135.07401 |

[11] | W. LandherrUber einfache Liesche Ringe, Abhandl. Mat. Sem. Hamburg, vol. 11 (1935), 41–64. · Zbl 0011.24503 |

[12] | –Liesche Ringe von Typus A, Abhandl. Mat. Sem. Hamburg, vol. 12 (1936), 200–241. · Zbl 0018.29102 |

[13] | W. H. Mills and G. B. SeligmanLie algebras of classical type, J. Math. Mech., vol. 6 (1957), 519–548. · Zbl 0079.04804 |

[14] | J. P. SerreCohomologie Galoisienne, CollĂ¨ge de France, 1963. |

[15] | R. SteinbergAutomorphisms of classical Lie algebras, Pacific J. of Math., vol. 11 (1961). |

[16] | A. WeilAlgebras with involution and the classical groups, J. Indian Math. Soc., vol. 24 (1960), 589–623. |

[17] | R. T. BarnesOn derivation algebras and Lie algebras of prime characteristic, Yale University dissertation, 1963. |

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.