BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Daniel de-la-Concepción contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph 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.
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.