Related papers: Freeness theorems for operads via Gr\"obner bases
Given a bounded linear operator $T$ on separable Hilbert space, we develop an approach allowing one to construct a matrix representation for $T$ having certain specified algebraic or asymptotic structure. We obtain matrix representations…
In this paper we give description of free and cofree objects in the category of operator sequence spaces. First we show that this category possess the same duality theory as category of normed spaces, then with the aid of these results we…
Concrete two-set (module-like and algebra-like) algebraic structures are investigated from the viewpoint that the initial arities of all operations are arbitrary. Relations between operations arising from the structure definitions, however,…
We prove an interpolation theorem for bounded free holomorphic functions.
We prove that mod-$p$ congruences between polynomials in $\mathbb{Z}_p[X]$ are equivalent to deeper $p$-power congruences between power-sum functions of their roots. This result generalizes to torsion-free $\mathbb{Z}_{(p)}$-algebras modulo…
Gr\"obner bases, in their noncommutative version, and word reversing are methods for solving the word problem of a presented monoid, and both rely on iteratively completing the initial list of relations. Simple examples may suggest to…
Multiobjective discrete programming is a well-known family of optimization problems with a large spectrum of applications. The linear case has been tackled by many authors during the last years. However, the polynomial case has not been…
For finite dimensional free $C_p$-spaces, the calculation of the Bredon cohomology ring as an algebra over the cohomology of $S^0$ is used to prove the non-existence of certain $C_p$-maps. These are related to Borsuk-Ulam type theorems, and…
This paper is an introduction to a series of papers in which we give combinatorial models for certain important operads (including A-infinity and E-infinity operads, the little n-cubes operads, and the framed little disks operad) and…
We introduce the $\textit{Macaulay2}$ package $\texttt{OIGroebnerBases}$ for working with OI-modules over Noetherian polynomial OI-algebras. The main methods implement OI-analogues of Buchberger's algorithm and Schreyer's theorem to compute…
Differentiations of operator algebras over non-archimedean spherically complete fields are investigated. Theorems about a differentiation being internal are demonstrated.
We establish Gr\"{o}bner-Shirshov bases theory for Gelfand-Dorfman-Novikov algebras over a field of characteristic $0$. As applications, a PBW type theorem in Shirshov form is given and we provide an algorithm for solving the word problem…
We construct Frobenius structures on the $\mathbb{C}^{\times}$-bundle of the complement of a toric arrangement associated with a root system, by making use of a one-parameter family of torsion free and flat connections on it. This gives…
In this article we show how Gr\"un's results in group theory can be used for studying the structure of class groups in normal extensions.
In this note we show how to apply the Gr\"obner--Shirshov bases (GSB) method for modules over an associative algebra to the study of vertex algebras defined by generators and relations. We compute GSBs for a series of vertex algebras and…
We compute the nonlinearity of Boolean functions with Groebner basis techniques, providing two algorithms: one over the binary field and the other over the rationals. We also estimate their complexity. Then we show how to improve our…
We give in the present work a new methodology that allows to give isoperimetric proofs, for Kneser's Theorem and Kemperman's structure Theory and most sophisticated results of this type. As an illustration we present a new proof of Kneser's…
We introduce the operad Moor, dual of the operad NAP and the notion of Moor-bialgebras. We warn the reader that the compatibility relation linking the Moor-operation with the Moor-cooperation is not distributive in the sense of Loday.…
Let G be a finitely generated free, free abelian of arbitrary exponent, free nilpotent, or free solvable group, or a free group in the variety A_mA_n, and let A = {a_1,..., a_r} be a basis for G. We prove that, in most cases, if S is a…
In this article we compute a minimal Groebner basis for the symmetric algebra for certain affine Monomial Curves, as an R-module. Keywords: Monomial Curves, Groebner Basis, Symmetric Algebra. Mathematics Subject Classification 2000: 13P10,…