Related papers: Finite Relation Algebras
Poisson algebra is usually defined to be a commutative algebra together with a Lie bracket, and these operations are required to satisfy the Leibniz rule. We describe Poisson structures in terms of a single bilinear operation. This enables…
We present classes of nonassociative algebras whose associator satisfies invariance conditions given by the action of the 3 order symmetric group. Amongst these algebras we find the wellknown Pre Lie or Vinberg algebras and the Lie…
We show that every free amalgamation class of finite structures with relations and (symmetric) partial functions is a Ramsey class when enriched by a free linear ordering of vertices. This is a common strengthening of the…
A structure of a left-symmetric algebra on the set of all derivations of a free algebra is introduced such that its commutator algebra becomes the usual Lie algebra of derivations. Left and right nilpotent elements of left-symmetric…
This paper introduces a SAT-based technique that calculates a compact and complete symmetry-break for finite model finding, with the focus on structures with a single binary operation (magmas). Classes of algebraic structures are typically…
We introduce a class of algebras over a field $\mathbb{F}$ related to directed graphs in which all edges are labeled by nonzero elements of the field $\mathbb{F}$. If all labels are different from $1$, these algebras are axial algebras. We…
We study classes of graded structures satisfying the properties of amalgamation, joint embedding and hereditariness. Given appropriate conditions, we can build a graded analogue of the Fraisse limit. Some examples such as the class of all…
Results about the following classes of finite-dimensional Lie algebras over a field of characteristic zero are presented: anisotropic (i.e., Lie algebras for which each adjoint operator is semisimple), regular (i.e., Lie algebras in which…
We refine and advance the study of the local structure of idempotent finite algebras started in [A.Bulatov, The Graph of a Relational Structure and Constraint Satisfaction Problems, LICS, 2004]. We introduce a graph-like structure on an…
Dekimpe and Ongenae constructed infinitely many pairwise non-isomorphic complete left-symmetric structures on $\mathbb{R}^n$ for $n\geq 6$. In this paper, we construct a family of complete left-symmetric structures on the cotangent Lie…
Working with uncountable structures of fixed cardinality, we investigate the complexity of certain equivalence relations and show that if V = L, then many of them are \Sigma^1_1-complete, in particular the isomorphism relation of dense…
Motivated by M-theory, we define a new type of non-associative algebra involving usual and cubic matrices at the same time. The resulting algebra can be regarded as a two-term truncated $L_\infty$ algebra giving rise to a fundamental…
In Part I of this paper, we introduced a class of certain algebras of finite dimension over a field. All these algebras are split, symmetric and local. Here we continue to investigate their Loewy structure. We show that in many cases their…
A measurable relation algebra is a relation algebra in which the identity element is a sum of atoms that can be measured in the sense that the "size" of each such atom can be defined in an intuitive and reasonable way (within the framework…
We give examples of pairs of isotopic algebras with non-isomorphic congruence lattices. This answers the question of whether all isotopic algebras have isomorphic congruence lattices.
Integrable difference equations commonly have more low-order conservation laws than occur for nonintegrable difference equations of similar complexity. We use this empirical observation to sift a large class of difference equations, in…
We give a review of recent works for non-associative algebras, especially Lie algebras satisfying the triality relation. They are also intimately related to S_4 (symmetric group of 4-objects) symmetry of the Lie algebras.
In this paper we define the basic concepts for left or right Leibniz algebras and prove some of the main results. Our proofs are often variations of the known proofs and several results seem to be new.
The exceptional simple Lie algebras of types E7 and E8 are endowed with optimal $SL_2^n$-structures, and are thus described in terms of the corresponding coordinate algebras. These are nonassociative algebras which much resemble the so…
We review some basic features of the Lie-algebraic classification of W-algebras and related integrable hierarchies in 1+1 dimensions, pointing out the role of affine Lie algebras. We emphasize that the supersymmetric extensions of the above…