Sage computations of \(\mathfrak{sl}_{2}(k)\)-Levi extensions (Q390583): Difference between revisions
From MaRDI portal
Created a new Item |
Set profile property. |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
It is well-known that Levi's theorem decomposes any arbitrary Lie algebra of characteristic zero as a semidirect sum of a semisimple Lie algebra, known as Levi factor, and its solvable radical. At this respect, given a solvable Lie algebra \(\mathcal{R}\), a semisimple Lie algebra \(\mathcal{S}\) is said to be a \textit{Levi extension} of \(\mathcal{R}\) if a Lie structure can be defined on the vector space \(\mathcal{S} \oplus \mathcal{R}\). It was already proved by Šnobl that the classes of characteristically nilpotent or filiform Lie algebras do not admit these extensions. In this paper, the authors carry on this research and show computational examples of series of nilpotent Lie algebras in arbitrary dimension not being abelian or Heisenberg and allowing Levi extensions by using Sage software. In the case of nilpotent Lie algebras admitting \(\mathfrak{sl}_{2}(k)\) as Levi factor special constructions are given by means of Sage routines based on transvections over \(\mathfrak{sl}_{2}(k)\)-irreducible modules. | |||
Property / review text: It is well-known that Levi's theorem decomposes any arbitrary Lie algebra of characteristic zero as a semidirect sum of a semisimple Lie algebra, known as Levi factor, and its solvable radical. At this respect, given a solvable Lie algebra \(\mathcal{R}\), a semisimple Lie algebra \(\mathcal{S}\) is said to be a \textit{Levi extension} of \(\mathcal{R}\) if a Lie structure can be defined on the vector space \(\mathcal{S} \oplus \mathcal{R}\). It was already proved by Šnobl that the classes of characteristically nilpotent or filiform Lie algebras do not admit these extensions. In this paper, the authors carry on this research and show computational examples of series of nilpotent Lie algebras in arbitrary dimension not being abelian or Heisenberg and allowing Levi extensions by using Sage software. In the case of nilpotent Lie algebras admitting \(\mathfrak{sl}_{2}(k)\) as Levi factor special constructions are given by means of Sage routines based on transvections over \(\mathfrak{sl}_{2}(k)\)-irreducible modules. / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 17B30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 17-04 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 17B10 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6243498 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Levi factor | |||
Property / zbMATH Keywords: Levi factor / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
nilpotent Lie algebra | |||
Property / zbMATH Keywords: nilpotent Lie algebra / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
simple Lie algebra | |||
Property / zbMATH Keywords: simple Lie algebra / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
semisimple Lie algebra | |||
Property / zbMATH Keywords: semisimple Lie algebra / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
representation | |||
Property / zbMATH Keywords: representation / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
transvection | |||
Property / zbMATH Keywords: transvection / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Juan Núñez Valdés / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: SageMath / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 01:07, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Sage computations of \(\mathfrak{sl}_{2}(k)\)-Levi extensions |
scientific article |
Statements
Sage computations of \(\mathfrak{sl}_{2}(k)\)-Levi extensions (English)
0 references
8 January 2014
0 references
It is well-known that Levi's theorem decomposes any arbitrary Lie algebra of characteristic zero as a semidirect sum of a semisimple Lie algebra, known as Levi factor, and its solvable radical. At this respect, given a solvable Lie algebra \(\mathcal{R}\), a semisimple Lie algebra \(\mathcal{S}\) is said to be a \textit{Levi extension} of \(\mathcal{R}\) if a Lie structure can be defined on the vector space \(\mathcal{S} \oplus \mathcal{R}\). It was already proved by Šnobl that the classes of characteristically nilpotent or filiform Lie algebras do not admit these extensions. In this paper, the authors carry on this research and show computational examples of series of nilpotent Lie algebras in arbitrary dimension not being abelian or Heisenberg and allowing Levi extensions by using Sage software. In the case of nilpotent Lie algebras admitting \(\mathfrak{sl}_{2}(k)\) as Levi factor special constructions are given by means of Sage routines based on transvections over \(\mathfrak{sl}_{2}(k)\)-irreducible modules.
0 references
Levi factor
0 references
nilpotent Lie algebra
0 references
simple Lie algebra
0 references
semisimple Lie algebra
0 references
representation
0 references
transvection
0 references