Related papers: Proper Multi-Type Display Calculi for Rough Algebr…
We give a complete classification of (n+2)-dimensional n-Lie algebras over an algebraically closed field of characteristic $2$, and provide a isomorphic criterion theorem of (n+2)-dimensional n-Lie algebras.
Boolean calculus has been studied extensively in the past in the context of switching circuits, error-correcting codes etc. This work generalizes several approaches to defining a differential calculus for Boolean functions. A unified theory…
We consider the problem of constructing semisimple subalgebras of real (semi-) simple Lie algebras. We develop computational methods that help to deal with this problem. Our methods boil down to solving a set of polynomial equations. In…
A self-dual algebras is one isomorphic as a module to the opposite of its dual; a quasi self-dual algebra is one whose cohomology with coefficients in itself is isomorphic to that with coefficients in the opposite of its dual. For these…
The notion of the characteristic Lie algebra of the discrete hyperbolic type equation is introduced. An effective algorithm to compute the algebra for the equation given is suggested. Examples and further applications are discussed.
In this article, we introduce mock-Lie superalgebras, we give some definitions, properties, constructions, and we study their representations. Moreover we introduce pseudo-euclidean mock-Lie superalgebras which are mock-Lie superalgebras…
We construct a quasi-particle basis of the integrable highest weight module of highest weight $3\Lambda_0$ for the twisted affine Lie algebra of type $A_2^{(2)}$ in the principal realization. More specifically, by introducing the concept of…
We investigate cut-elimination and cut-simulation in impredicative (higher-order) logics. We illustrate that adding simple axioms such as Leibniz equations to a calculus for an impredicative logic -- in our case a sequent calculus for…
Many combinatorial proofs rely on induction. When these proofs are formulated in traditional language, they can be bulky and unmanageable. Coalgebras provide a language which can reduce reduce many inductive proofs in graded poset theory to…
Representation theory of Lie (super)algebras has attracted significant research interest for many years, especially due to its applications in theoretical physics; in this regard, the representation theory of affine Lie (super)algebras is…
Maximal abelian subalgebras of one of the classical real inhomogeneous Lie algebras are constructed, namely those of the pseudoeuclidean Lie algebra e(p,q). Use is made of the semidirect sum structure of e(p,q) with the translations T(p+q)…
Regular chains and triangular decompositions are fundamental and well-developed tools for describing the complex solutions of polynomial systems. This paper proposes adaptations of these tools focusing on solutions of the real analogue:…
We construct a family of graded isomorphisms between certain subquotients of diagrammatic Cherednik algebras as the quantum characteristic, multicharge, level, degree, and weighting are allowed to vary; this provides new structural…
We first establish some general results connecting real and complex Lie algebras of first-order differential operators. These are applied to completely classify all finite-dimensional real Lie algebras of first-order differential operators…
In this paper, we consider irreducible quasi-finite (or equivalently weakly integrable) modules, with non-trivial action of the core, over the extended affine Lie algebras (EALAs) whose centerless cores are multiloop algebras. The…
We present simple graph-theoretic characterizations of Cayley graphs for left-cancellative monoids, groups, left-quasigroups and quasigroups. We show that these characterizations are effective for the end-regular graphs of finite degree.
All quasi-affine connected Generalized Dynkin Diagram with rank $= 3$ and $2$ are found. All quasi-affine Nichols (Lie braided) algebras with rank $ 3$ and $2$ are also found.
In this short note we relate some known properties of propositional calculus to purely algebraic considerations of a Boolean algebra. Classes of formulas of propositional calculus are considered as elements of a Boolean algebra. As such…
In this paper we describe several characterizations of basic finite-dimensional $k$-algebras $A$ stratified for all linear orders, and classify their graded algebras as tensor algebras satisfying some extra property. We also discuss whether…
In this paper, we characterize all the finite dimensional algebras that are m-cluster tilted algebras of type A tilde. We show that these algebras are gentle and we give an explicit description of their quivers with relations.