Related papers: Monadic n$\times$m-valued Lukasiewicz-Moisil algeb…
Let 2<n\leq l<m< \omega. Let L_n denote first order logic restricted to the first n variables. We show that the omitting types theorem fails dramatically for the n--variable fragments of first order logic with respect to clique guarded…
We study and classify Lie algebras, homogeneous spacetimes and coadjoint orbits ("particles") of Lie groups generated by spatial rotations, temporal and spatial translations and an additional scalar generator. As a first step we classify…
We study the Euclidean supersymmetric D=11 M-algebras. We consider two such D=11 superalgebras: the first one is N=(1,1) self-conjugate complex-Hermitean, with 32 complex supercharges and 1024 real bosonic charges, the second is N=(1,0)…
The author investigates the general Lie algebra of operators of coordinates, momenta, and Lorentz group generators, which can be used in quantum gravity, theories with generalized uncertainty principle, double and triple relativity and…
In this paper, we study the existence and classification problems of left-symmetric superalgebras on special linear Lie superalgebras ${\mathfrak{sl}}(m|n)$ with $m\neq n$. The main three results of this paper are: (i) a complete…
We give a geometric classification of $n$-dimensional nilpotent, commutative nilpotent and anticommutative nilpotent algebras. We prove that the corresponding geometric varieties are irreducible, find their dimensions and describe explicit…
A maximal commutative subalgebra is a substructure in algebra with the greatest commutative property. By studying the lengths of maximal commutative subalgebras, one can more clearly characterize the structure of commutative subalgebras in…
In this paper, we study a class of generalized intersection matrix Lie algebras $\gim(M_n)$, and prove that its every finite-dimensional semi-simple quotient is of type $M(n,{\bf a}, {\bf c},{\bf d})$. Particularly, any finite dimensional…
A manifold is multisymplectic, or more specifically n-plectic, if it is equipped with a closed nondegenerate differential form of degree n+1. In our previous work with Baez and Hoffnung, we described how the `higher analogs' of the…
Let $f,g\in Z[X]$ be monic polynomials of degree $n$ and let $C,D\in M_n(Z)$ be the corresponding companion matrices. We find necessary and sufficient conditions for the subalgebra $Z< C,D>$ to be a sublattice of finite index in the full…
We link the recent theory of $L$-algebras to previous notions of Universal Algebra and Categorical Algebra concerning subtractive varieties, commutators, multiplicative lattices, and their spectra. We show that the category of $L$-algebras…
Following arguments that the (hidden) M-algebra serves as the maximal super-exceptional tangent space for 11D supergravity, we make explicit here its integration to a (super-Lie) group. This is equipped with a left-invariant extension of…
Universal algebra uniformly captures various algebraic structures, by expressing them as equational theories or abstract clones. The ubiquity of algebraic structures in mathematics and related fields has given rise to several variants of…
In the study of algebras related to non-classical logics, (distributive) semilattices are always present in the background. For example, the algebraic semantic of the $\{\rightarrow,\wedge,\top\}$-fragment of intuitionistic logic is the…
Building on the correspondence between finitely axiomatised theories in {\L}ukasieiwcz logic and rational polyhedra, we prove that the unification type of the fragment of {\L}ukasiewicz logic with $n\geq 2$ variables is nullary. This solves…
A monomial algebra is the quotient of a polynomial algebra by an ideal generated by monomials. We prove that finite-dimensional monomial algebras are characterized by their automorphism group among finite-dimensional, local algebras with…
Universal algebra uniformly captures various algebraic structures, by expressing them as equational theories or abstract clones. The ubiquity of algebraic structures in mathematics and related fields has given rise to several variants of…
We investigate quantum lens spaces, $C(L_q^{2n+1}(r;\underline{m}))$, introduced by Brzezi\'nski-Szyma\'nski as graph $C^*$-algebras. We give a new description of $C(L_q^{2n+1}(r;\underline{m}))$ as graph $C^*$-algebras amending an error in…
Quantum Chern-Simons invariants of differentiable manifolds are analyzed from the point of view of homological algebra. Given a manifold M and a Lie (or, more generally, an L-infinity) algebra g, the vector space H^*(M) \otimes g has the…
The indecomposable solvable Lie algebras with graded nilradical of maximal nilindex and a Heisenberg subalgebra of codimension one are analyzed, and their generalized Casimir invariants calculated. It is shown that rank one solvable…