BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Daniel de-la-Concepción appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
In this work, new equivalences of topological statements and weaker axioms than ${\bf AC}$ are proven. This equivalences include the use of anti-properties. All this equivalences have been checked with a computer using the theorem proving system Isabelle/Isar and are available at the isarmathlib repository.
In this paper we give a construction of the universal enveloping algebra of a Malcev algebra in categories of group algebra comodules with a symmetry given by a bicharacter of the group. A particular example of such categories is the category of super vector spaces.
We propose the study and description of the structure of complex Lie algebras with nilradical a nilpotent Lie algebra of type 2 by using sl2(C)-representation theory. Our results will be applied to review the classification given in [1] (J. Geometry and Physics, 2011) of the Lie algebras with nilradical the quasiclassical algebra L5;3. A non-Lie algebra has been erroneously included in this classification. The 5-dimensional Lie algebra L5;3 is a free nilpotent algebra of type 2 and it is one of two free nilpotent algebras admitting an invariant metric. According to [, Ok98] quasiclassical algebras let construct consistent Yang-Mills gauge theories.
Levi's theorem decomposes any arbitrary Lie algebra over a field of characteristic zero, as a direct sum of a semisimple Lie algebra (named Levi factor) and its solvable radical. Given a solvable Lie algebra $R$, a semisimple Lie algebra $S$ is said to be a Levi extension of $R$ in case a Lie structure can be defined on the vector space $S\oplus R$. The assertion is equivalent to $ρ(S)\subseteq \mathrm{Der}(R)$, where $\mathrm{Der}(R)$ is the derivation algebra of $R$, for some representation $ρ$ of $S$ onto $R$. Our goal in this paper, is to present some general structure results on nilpotent Lie algebras admitting Levi extensions based on free nilpotent Lie algebras and modules of semisimple Lie algebras. In low nilpotent index a complete classification will be given. The results are based on linear algebra methods and leads to computational algorithms.