Related papers: The non-symmetric operad pre-Lie is free
We prove that a subquandle of a free quandle is free.
In this paper, we first recall the construction of a twisted pre-Lie algebra structure on the species of finite connected topological spaces. Then we construct the corresponding nonassociative permutative coproduct, and we prove that the…
We prove that every automorphism of the category of free Lie algebras is a semi-inner automorphism.
The operad Lie can be constructed as the operad of primitives Prim As from the operad As of associative algebras. This is reflected by the theorems of Friedrichs, Poincare'-Birkhoff-Witt and Cartier-Milnor-Moore. We replace As by families…
We prove a Cauchy identity for free quasi-symmetric functions and apply it to the study of various bases. A free Weyl formula and a generalization of the splitting formula are also discussed.
We explore the relationship between (non-planar) rooted trees and free trees, i.e. without root. We give in particular, for non-rooted trees, a substitute for the Lie bracket given by the antisymmetrization of the pre-Lie product.
The operad $\mathrm{FMan}$ encodes the algebraic structure on vector fields of Frobenius manifolds, in the same way as the operad $\mathrm{Lie}$ encodes the algebraic structure on vector fields of a smooth manifold. It is well known that…
We establish a combinatorial model for the Boardman--Vogt tensor product of several absolutely free operads, that is free symmetric operads that are also free as $\mathbb{S}$-modules. Our results imply that such a tensor product is always a…
In this article, we give conditions guaranteeing the commutativity of a bounded self-adjoint operator with an unbounded closed symmetric operator.
We describe new graphical models of the framed little disks operads which exhibit large symmetry dg Lie algebras.
We prove an inequality for polynomials applied in a symmetric way to non-commuting operators.
It is shown that the dimension of the multilinear quantum Lie operations space is either equal to zero or included between $(n-2)!$ and $(n-1)!.$ The lower bound is achieved if the intersection of all conforming subsets is nonempty, while…
In this paper, we study the concept of free pre-Lie algebra generated by a (non-empty) set. We review the construction of A. Agrachev and R. Gamkrelidze of monomial bases in free pre-Lie algebras. We describe the matrix of the monomial…
In this paper, we study the white Manin product of the associative operad $\As$ with a binary quadratic operad $\Var$. We introduce the notion of a nonsymmetric version of $\Var$ and provide a criterion for determining when the operad…
Given an associative algebra satisfying the left commutativity identity $abc=bac$ (Perm-algebra) with a derivation $d$, the new operation $a\circ b = a d(b)$ is left-symmetric (pre-Lie). We derive necessary and sufficient conditions for a…
We show that the Lie's Theorem holds for Lie color algebras with a torsion-free abelian group $G$. We give an example to show that the torsion-free condition is necessary.
Given a symmetric operad $P$, and a signature (or generating sequence) $\Phi$ for $P$, we define a notion of the "categorification" (or "weakening") of $P$ with respect to $\Phi$. When $P$ is the symmetric operad whose algebras are…
We show that the first-order logical theory of the binary overlap-free words (and, more generally, the ${\alpha}$-free words for rational ${\alpha}$, $2 < {\alpha} \leq 7/3$), is decidable. As a consequence, many results previously obtained…
We exhibit an example of a finitely presented monoid that is congruence-free and simple but not bisimple.
In this paper, we consider Lie-admissible algebras, which are free Novikov and free Lie-admissible algebras with an additional metabelian identity. We construct a linear basis for both free metabelian Novikov and free metabelian…