Related papers: Groebner-Shirshov bases for dialgebras
In this paper, the tropical differential Gr\"obner basis is studied, which is a natural generalization of the tropical Gr\"obner basis to the recently introduced tropical differential algebra. Like the differential Gr\"obner basis, the…
For any differential graded (DG for short) Poisson algebra $A$ given by generators and relations, we give a "formula" for computing the universal enveloping algebra $A^e$ of $A$. Moreover, we prove that $A^e$ has a Poincar\'e-Birkhoff-Witt…
In this expository style of writing I will give an introduction of Gr\"{o}bner bases and compute it for some algebras and then show how to use it to compute Hilbert series for algebras from chains.
This paper is a survey on the study of the behaviour of the composition of polynomials on the computation of Gr\"obner bases. This survey brings together some works published between 1995 and 2007. The authors of these papers gave answers…
In the paper it is considered the generalized Faber polynomials defined inside and outside a regular curve on the complex plane. The weighted Smirnov spaces corresponding to bounded and unbounded regions are defined. It is proved that the…
We describe some recent development on the theory of formal Frobenius manifolds via a construction from differential Gerstenhaber-Batalin-Vilkovisk (DGBV) algebras and formulate a version of mirror symmetry conjecture: the extended…
In [Incer Romeo, I. X., \textit{The Algebra of Contracts}. Ph.D. Thesis, UC Berkeley (2022)] an algebraic perspective on assume-guarantee contracts is proposed. This proposal relies on a construction involving Boolean algebras. However, the…
In this paper we introduce a working generalization of the theory of Gr\"obner bases for algebras of partial difference polynomials with constant coefficients. One obtains symbolic (formal) computation for systems of linear or non-linear…
We consider Lie algebroids over algebraic spaces (in short we call it as $a$-spaces) by considering the sheaf of Lie-Rinehart algebras. We discuss about properties of universal enveloping algebroid $\mathscr{U}(\mathcal{O}_X,\mathcal{L})$…
We improve certain degree bounds for Grobner bases of polynomial ideals in generic position. We work exclusively in deterministically verifiable and achievable generic positions of a combinatorial nature, namely either strongly stable…
We extend a theorem, originally formulated by Blattner-Cohen-Montgomery for crossed products arising from Hopf algebras weakly acting on noncommutative algebras, to the realm of left Hopf algebroids. Our main motivation is an application to…
In classical invariant theory, the Gr\"obner base of the ideal of syzygies and the normal forms of polynomials of invariants are two core contents. To improve the performance of invariant theory in symbolic computing of classical geometry,…
For quadratic spaces which represent 1 there is a characterization of hermitian compositions in the language of algebras-with-involutions using the even Clifford algebra. We extend this notion to define a generalized composition based on…
A topological space TO(S) of total orderings on any given set S is introduced and it is shown that TO(S) is compact if S is countable. The set NO(N) of all normal orderings of the nth Weyl algebra W is a closed subspace of TO(N), where N is…
A method for establishing a Gerstenhaber algebra structure on the cohomology of Loday-type algebras is presented. This method is then applied to dendriform dialgebras and three types of trialgebras introduced by Loday and Ronco. Along the…
We show explicitly a generalised Lie algebra embedded in the positive and negative parts of the Drinfeld-Jimbo quantum groups of type A_n. Such a generalised Lie algebra satisfy axioms closely related to the ones found by S.L. Woronowicz.…
Representations of Spin groups and Clifford algebras derived from the structure of qubit trees are introduced in this work. For ternary trees the construction is more general and reduction to binary trees is formally defined by deletion of…
For sigma-PWB extensions, we extend to modules the theory of Gr\"obner bases of left ideals presented in [5]. As an application, if A is a bijective quasi-commutative sigma-PWB extension, we compute the module of syzygies of a submodule of…
We introduce a method to define $C^*$-algebras from $C^*$-correspondences. Our construction generalizes Cuntz-Pimsner algebras, crossed products by Hilbert $C^*$-modules, and graph algebras.
Using a binary representation for basis elements of an algebra combined with a framework of multiplier and index functions, a connection has been established between the structure of a large class of algebras and the XOR componentwise…