We find nonassociative polynomial identities of minimal degree, which is
7
7
, for the algebras
O
β
O
{\mathbb {O}}{\otimes _{}}{\mathbb {O}}
and
M
2
(
O
)
{\operatorname {M}_{2}}({\mathbb {O}})
, where
O
{\mathbb {O}}
is the octonion algebra.
In this article, we present the basic definitions of modules and Lie semialgebras over semirings with a negation map. Our main example of a semiring with a negation map is ELT algebras, and some of the results in this article are formulated and proved only in the ELT theory.When dealing with modules, we focus on linearly independent sets and spanning sets. We define a notion of lifting a module with a negation map, similarly to the tropicalization process, and use it to prove several theorems about semirings with a negation map which possess a lift.In the context of Lie semialgebras over semirings with a negation map, we first give basic definitions, and provide parallel constructions to the classical Lie algebras. We prove an ELT version of Cartan's criterion for semisimplicity, and provide a counterexample for the naive version of the PBW Theorem.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citationsβcitations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.