Abstract
The centroid of Lie algebra is a basic concept and a necessary tool for studying the structure of Lie algebraic structure. The extended Heisenberg algebra is an important class of solvable Lie algebras. In any Lie algebra, the anti symmetry of Lie operations is an important property of Lie algebra. This article investigates the centroids and structures of dimensional extended Heisenberg algebras, where all invertible elements form a group and all elements form a ring. Then, its main research results are extended to infinite dimensional extended Heisenberg algebras.
PACS:
02.20.Qs; 02.20.Sv
1. Introduction
Centroid is a basic concept in Lie algebra, and it is also an important tool to study the theory of Lie algebraic structure, see [] for details. In references [], Chen, P. and Gao, S. studied the centroid of the extended Schrodinger-Virasoro Lie algebra. In ref. [], the authors studied the centroids of n-Lie superalgebras. Zhou, J. and Cao, Y. studied the centroid of Jordan Lie algebra, see [] for details. In refs. [,,], scholars have studied the relevant properties of the centroid of n-Lie algebra, Lie triple system and Leibniz triple system algebra respectively. However, there are few centroids and their structures on finite dimensional Lie algebras. This article discusses the centroids and structures of finite and infinite dimensional Lie algebras.
The solvable extension Lie algebra of Heisenberg algebra is a class of solvable Lie algebras, which we call extension Heisenberg algebra. Solvable Lie algebras hold an important position in finite dimensional Lie algebras. Therefore, further research on the algebraic properties of the extended Heisenberg algebra has theoretical significance. Reference [] studied the derived subalgebra and automorphism group of the extended Heisenberg algebra and the real submanifold of the two-dimensional complex projective space. In ref. [], scholars studied two types of non weighted modules of twisted Heisenberg Virasoro. The centroid belongs to the structure and intersection problem of Lie algebra, and the structure and representation problem of Lie algebraic structure has always been a hot topic in the research of Lie algebra, see [,] for details. The author has also studied the structure and representation of Lie algebraic structure, see [,,] for details.
This article investigates the centroids and structures of dimensional extended Heisenberg algebras, where all invertible elements form a group and all elements form a ring H. H has only three ideals, and it is a principal ideal ring. The focus is on studying the structure of groups and rings. Then, its main research results are extended to infinite dimensional extended Heisenberg algebras. The Lie operations of these two extended Heisenberg algebras both have anti symmetry. This paper adds a new method to the study of the centroid of finite and infinite dimensional Lie algebra, which is helpful to the study of the centroid structure of general Lie algebra. The relatively important theorems in the text are Theorems 1 and 2. Symbol description: represents a complex field, represents a set of positive integers.
2. Main Results
Definition 1.
Let g be a Lie algebra, where the centroid of g is a linear transformation on g and satisfies the following conditions:
According to the definition,
so . And because
so
Obviously, identity mapping I belongs to zero mapping 0 belongs to . In summary, all centroids on the Lie algebra g can form a loop by ordinary addition and multiplication of linear mappings.
Lemma 1.
Let g be a finite dimensional Lie algebra, and if a set of bases of g is , then holds if and only if
Proof.
Necessity: Assuming is the centroid of g.
Because so
Adequacy: Because so
□
Definition 2.
Let , define the Poisson product in g as follows:
It is easy to verify that g is a solvable Lie algebra, which is called a dimensional extended Heisenberg algebra.
Theorem 1.
g is a 2n+2 dimensional extension Heisenberg algebra, and is a linear mapping,
So φ is the centroid if and only if
Proof.
Necessity: (1) Because
so
Similarly, the following formula holds for :
(2)
(3)
(4)
Adequacy: If the matrix of the linear transformation under a set of basis
is
Let it can be verified one by one that is valid.
Therefore, according to Lemma 1: is the center of mass. □
Let G be the set of all reversible linear transformations in , that is,
Lemma 2.
Let
then and are all commutative subgroups of G.
Theorem 2.
If g is a dimensional extended Heisenberg algebra, then we have .
Proof.
For let
Because
so
In summary, it can be seen that that is, .
It is obvious that , so . □
Let
Obviously, H is a commutative ring with identity element, and H has zero divisor.
Lemma 3.
Let be the set of identity element and all zero divisor in H,
Then is an ideal of H.
Theorem 3.
H has only three ideals: . And H is a principal ideal ring.
Proof.
Obviously, and H are ideals for H.
Assuming that is an ideal of H and satisfies: , then there is a non zero element . It would be well if
where and are not equal to 0 at the same time.
- (1)
- When , there is . So . This contradicts the hypothesis.
- (2)
- When , there isSo . This contradicts the hypothesis.
- (3)
- When , there is
□
Definition 3.
Let , define the Lie operation in as follows:
is called an infinite dimensional extension Heisenberg algebra.
Lemma 4.
Let be an infinite dimensional Lie algebra, and if a set of bases of is , then holds if and only if
Lemma 5.
Let , and satisfy the following equation:
so φ is a reversible centroid if and only if
Let be the set of all reversible centroids on .
Lemma 6.
Let So , and is a subgroup of .
Lemma 7.
Let So , and is a subgroup of .
Theorem 4.
.
The above Lemmas 4–7 and Theorem 4 are similar to the results related to dimensional extended Heisenberg algebra, and will not be repeated to save space.
Let R be the set of all centroids on , and the linear operations on R are ordinary addition and multiplication The structure of R is similar to the centroid structure of a dimensional extended Heisenberg algebra, and will not be repeated to save space.
3. Conclusions
In this paper, the centroid structure of dimensional extended Heisenberg Lie algebra was studied ingeniously by using the elementary transformation of matrix, and the necessary and sufficient conditions for its centroid were obtained. It also characterized all reversible centroids forming a group, clearly showed the structure of the group, and extended its results to the infinite dimensional extended Heisenberg Lie algebra. This paper added a new method to the study of the centroid of finite and infinite dimensional Lie algebra, which was helpful to the study of the centroid structure of general Lie algebra.
Author Contributions
Conceptualization, D.Y.; methodology, D.Y.; validation, J.M.; writing—original draft preparation, C.J.; writing—review and editing, C.J. All authors have read and agreed to the published version of the manuscript.
Funding
This research was supported by the National Natural Science Foundation of China (Grant No. 11771135), the Hunan Provincial Department of Education (Grant No. 21C0498) and the scientific research and innovation team of Hunnan Institute of Science and Technology (Grant No. 2019-TD-15).
Data Availability Statement
Not applicable.
Conflicts of Interest
The authors declare no conflict of interest.
References
- Benkart, G.; Neher, E. The centroid of extended affine and root graded Lie algebras. J. Pure Appl. Algebra 2005, 205, 117–145. [Google Scholar] [CrossRef]
- Chen, P.; Gao, S. The centroid of Extended Schrodinger Virasoro Lie Algebras. J. Huzhou Univ. 2018, 40, 8–11+29. [Google Scholar]
- Wang, C.; Zhang, Z. Centroid of n-Lie superalgebras. J. Jilin Eng. Norm. Univ. 2006, 6, 9–12. [Google Scholar]
- Zhou, J.; Cao, Y. The centroid of a Jordan-Lie algebra. J. Nat. Sci. Heilongjiang Univ. 2019, 36, 262–265. [Google Scholar]
- Bai, R.; An, H.; Li, Z. Centroid structures of n-Lie algebras. Linear Algebra Its Appl. 2008, 430, 229–240. [Google Scholar] [CrossRef]
- Liu, X.; Chen, L. The Centroid of a Lie Triple Algebra. Abstr. Appl. Anal. 2013, 2013, 404219. [Google Scholar] [CrossRef]
- Cao, Y.; Du, D.; Chen, L. The centroid of a Leibniz triple system and its properties. J. Nat. Sci. Heilongjiang Univ. 2015, 32, 614–617. [Google Scholar]
- Xian, X. Derived Subalgebra and Automorphism Groups of Extended Heisenberg Algebras and Real Submanifold of Two-Dimensional Complex Projective Space; Nanjing Normal University: Nanjing, China, 2014. [Google Scholar]
- Chen, H.; Han, J.; Su, Y.; Yue, X. Two classes of non-weight modules over the twisted Heisenberg Virasoro algebra. Manuscripta Math. 2019, 160, 265–284. [Google Scholar] [CrossRef]
- Xia, C.; Wang, D.; Han, H. Linear super-commuting maps and super-biderivations on the super-Virasoro algebra. Commun. Algebra 2016, 44, 5342–5350. [Google Scholar] [CrossRef]
- Burde, D.; Ender, C. Commutative Post-Lie algebra structures on nilpotent Lie algebras and Poisson algebras. Linear Algebra Its Appl. 2020, 584, 107–126. [Google Scholar] [CrossRef]
- Yu, D.; Mei, C.; Guo, J. Automorphisms and Automorphism Groups of Necklace Lie Algebra. Chin. Ann. Math. 2013, 34, 569–578. [Google Scholar]
- Yu, D.; Lu, C. Necklace Lie Subalgebras Induced by Some Special Arrow. Chin. Ann. Math. 2018, 39, 331–340. [Google Scholar]
- Yu, D.; Jiang, C.; Ma, J. Study on Poisson Algebra and Automorphism of a Special Class of Solvable Lie Algebras. Symmetry 2023, 15, 1115. [Google Scholar] [CrossRef]
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content. |
© 2023 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (https://creativecommons.org/licenses/by/4.0/).