Lobachevsky triangle altitudes theorem as the Jacobi identity in the Lie algebra of quadratic forms on symplectic plane

2005 ◽  
Vol 53 (4) ◽  
pp. 421-427 ◽  
Author(s):  
V. Arnold
2015 ◽  
Vol 13 (1) ◽  
Author(s):  
Wenjuan Xie ◽  
Quanqin Jin ◽  
Wende Liu

AbstractA Hom-structure on a Lie algebra (g,[,]) is a linear map σ W g σ g which satisfies the Hom-Jacobi identity: [σ(x), [y,z]] + [σ(y), [z,x]] + [σ(z),[x,y]] = 0 for all x; y; z ∈ g. A Hom-structure is referred to as multiplicative if it is also a Lie algebra homomorphism. This paper aims to determine explicitly all the Homstructures on the finite-dimensional semi-simple Lie algebras over an algebraically closed field of characteristic zero. As a Hom-structure on a Lie algebra is not necessarily a Lie algebra homomorphism, the method developed for multiplicative Hom-structures by Jin and Li in [J. Algebra 319 (2008): 1398–1408] does not work again in our case. The critical technique used in this paper, which is completely different from that in [J. Algebra 319 (2008): 1398– 1408], is that we characterize the Hom-structures on a semi-simple Lie algebra g by introducing certain reduction methods and using the software GAP. The results not only improve the earlier ones in [J. Algebra 319 (2008): 1398– 1408], but also correct an error in the conclusion for the 3-dimensional simple Lie algebra sl2. In particular, we find an interesting fact that all the Hom-structures on sl2 constitute a 6-dimensional Jordan algebra in the usual way.


2017 ◽  
Vol 14 (11) ◽  
pp. 1750160 ◽  
Author(s):  
Viktor Abramov

Given a matrix Lie algebra one can construct the 3-Lie algebra by means of the trace of a matrix. In the present paper, we show that this approach can be extended to the infinite-dimensional Lie algebra of vector fields on a manifold if instead of the trace of a matrix we consider a differential 1-form which satisfies certain conditions. Then we show that the same approach can be extended to matrix Lie superalgebras [Formula: see text] if instead of the trace of a matrix we make use of the supertrace of a matrix. It is proved that a graded triple commutator of matrices constructed with the help of the graded commutator and the supertrace satisfies a graded ternary Filippov–Jacobi identity. In two particular cases of [Formula: see text] and [Formula: see text], we show that the Pauli and Dirac matrices generate the matrix 3-Lie superalgebras, and we find the non-trivial graded triple commutators of these algebras. We propose a Clifford algebra approach to 3-Lie superalgebras induced by Lie superalgebras. We also discuss an application of matrix 3-Lie superalgebras in BRST-formalism.


1971 ◽  
Vol 23 (2) ◽  
pp. 325-331 ◽  
Author(s):  
Arthur A. Sagle

A Lie admissible algebra is a non-associative algebra A such that A− is a Lie algebra where A− denotes the anti-commutative algebra with vector space A and with commutation [X, Y] = XY – YX as multiplication; see [1; 2; 5]. Next let L−(X): A− → A−: Y → [X, Y] and H = {L−(X): X ∊ A−}; then, since A− is a Lie algebra, we see that H is contained in the derivation algebra of A− and consequently the direct sum g = A − ⊕ H can be naturally made into a Lie algebra with multiplication [PQ] given by: P = X + L−(U), Q = Y + L−(V) ∊ g, thenand note that for any P, [PP] = 0 so that [PQ] = −[QP] and the Jacobi identity for g follows from the fact that A− is Lie.


2017 ◽  
Vol 24 (03) ◽  
pp. 519-540 ◽  
Author(s):  
Ruipu Bai ◽  
Lixin Lin ◽  
Yan Zhang ◽  
Chuangchuang Kang

q-Deformations of 3-Lie algebras and representations of q-3-Lie algebras are discussed. A q-3-Lie algebra [Formula: see text], where [Formula: see text] and [Formula: see text], is a vector space A over a field 𝔽 with 3-ary linear multiplications [ , , ]q and [Formula: see text] from [Formula: see text] to A, and a map [Formula: see text] satisfying the q-Jacobi identity [Formula: see text] for all [Formula: see text]. If the multiplications satisfy that [Formula: see text] and [Formula: see text] is skew-symmetry, then [Formula: see text] is called a type (I)-q-3- Lie algebra. From q-Lie algebras, group algebras and commutative associative algebras, q-3-Lie algebras and type (I)-q-3-Lie algebras are constructed. Also, the non-trivial onedimensional central extension of q-3-Lie algebras is investigated, and new q-3-Lie algebras [Formula: see text], and [Formula: see text] are obtained.


2021 ◽  
Vol 2021 ◽  
pp. 1-6
Author(s):  
Hulya Kadioglu

In this paper, we study nilpotent Lie algebras that admit nilsoliton metric with simple pre-Einstein derivation. Given a Lie algebra η , we would like to compute as much of its structure as possible. The structural components we consider in this study are the structure constants, the index, and the rank of the nilsoliton derivations. For this purpose, we prove necessary or sufficient conditions for an algebra to admit such metrics. Particularly, we prove theorems for the computation of the Jacobi identity for a given algebra so that we can solve the system of the equation(s) and find the structure constants of the nilsoliton.


2016 ◽  
Vol 16 (08) ◽  
pp. 1750154 ◽  
Author(s):  
Wenjuan Xie ◽  
Wende Liu

A Hom-structure on a Lie algebra [Formula: see text] is a linear map [Formula: see text] satisfying the Hom–Jacobi identity: [Formula: see text] for all [Formula: see text]. A Hom-structure is referred to as multiplicative if it is also a Lie algebra homomorphism. In this paper, using a classification theorem due to Mathieu, we determine explicitly all the Hom-structures on the simple graded Lie algebras of finite growth. As a direct consequence, all the Hom-structures on any simple graded Lie algebras of finite growth constitute a Jordan algebra in the usual way.


Author(s):  
Bernhard M¨uhlherr ◽  
Holger P. Petersson ◽  
Richard M. Weiss

This chapter proves that Bruhat-Tits buildings exist. It begins with a few definitions and simple observations about quadratic forms, including a 1-fold Pfister form, followed by a discussion of the existence part of the Structure Theorem for complete discretely valued fields due to H. Hasse and F. K. Schmidt. It then considers the generic unramified cases; the generic semi-ramified cases, the generic ramified cases, the wild unramified cases, the wild semi-ramified cases, and the wild ramified cases. These cases range from a unique unramified quadratic space to an unramified separable quadratic extension, a tamely ramified division algebra, a ramified separable quadratic extension, and a unique unramified quaternion division algebra. The chapter also describes ramified quaternion division algebras D₁, D₂, and D₃ over K containing a common subfield E such that E/K is a ramified separable extension.


Author(s):  
Bernhard M¨uhlherr ◽  
Holger P. Petersson ◽  
Richard M. Weiss

This chapter assumes that (K, L, q) is a totally wild quadratic space of type E₇. The goal is to prove the proposition that takes into account Λ‎ of type E₇, D as the quaternion division algebra over K whose image in Br(K) is the Clifford invariant of q, and the trace and trace map. The chapter also considers two other propositions: the first states that if the trace map is not equal to zero, then the Moufang residues R₀ and R₁ are not indifferent; the second states that if the trace map is equal to zero, then the Moufang residues R₀ and R₁ are both indifferent.


Sign in / Sign up

Export Citation Format

Share Document