Related papers: On (De)homogenized Gr\"obner Bases

Two families of q-Schur algebras associated to Hecke algebras of type D are introduced, and related to a family used by Geck, Gruber and Hiss [10], [11]. We prove that the algebras in one family, called the q-Schur^{1.5} algebras, are…

In this work we develop the theory of Gr\"obner bases for modules over the ring of univariate linearized polynomials with coefficients from a finite field.

Let $K$ be an algebraically closed field of characteristic $0$ and $G$ a finite abelian group. For a $G$-graded $K$-algebra $A$, we define the primeness property for graded central polynomials: for any graded polynomials $f$ and $g$ in…

Let $k$ be a field and let $A=\bigoplus_{n\ge 1}A_n$ be a positively graded $k$-algebra. We recall that $A$ is graded nilpotent if for every $d\ge 1$, the subalgebra of $A$ generated by elements of degree $d$ is nilpotent. We give a method…

We show that every optimum basis of a finite closure system, in D.Maier's sense, is also right-side optimum, which is a parameter of a minimum CNF representation of a Horn Boolean function. New parameters for the size of the binary part are…

Quite much recent studies has been attracted to the operated algebra since it unifies various notions such as the differential algebra and the Rota-Baxter algebra. An $\Omega$-operated algebra is a an (associative) algebra equipped with a…

In this paper, we study the solving degrees for affine semi-regular sequences and their homogenized sequences. Some of our results are considered to give mathematically rigorous proofs of the correctness of methods for computing Gr\"{o}bner…

For an Azumaya algebra $A$ which is free over its centre $R$, we prove that the $K$-theory of $A$ is isomorphic to $K$-theory of $R$ up to its rank torsion. We observe that a graded central simple algebra, graded by an abelian group, is a…

We consider central simple $K$-algebras which happen to bedifferential graded $K$-algebras. Two such algebras $A$ and $B$are considered equivalent if there are bounded complexes of finite dimensional$K$-vector spaces $C_A$ and $C_B$ such…

Let S be a standard graded Artinian algebra over a field k. We identify constraints on the Hilbert function of S which are imposed by the hypothesis that S contains an exact pair of homogeneous zero divisors. As a consequence, we prove that…

Let $R=\mathbb{K}[x_1,\dots,x_n]$, a graded algebra $S=R/I$ satisfies $N_{k,p}$ if $I$ is generated in degree $k$, and the graded minimal resolution is linear the first $p$ steps, and the $k$-index of $S$ is the largest $p$ such that $S$…

Let $R$ be a semiartinian (von Neumann) regular ring with primitive factors artinian. The dimension sequence $\mathcal D _R$ is an invariant that captures the various skew-fields and dimensions occurring in the layers of the socle sequence…

We prove a graded version of Alev-Polo's rigidity theorem: the homogenization of the universal enveloping algebra of a semisimple Lie algebra and the Rees ring of the Weyl algebras $A_n(k)$ cannot be isomorphic to their fixed subring under…

Let $Q$ be an affine monoid, $\Bbbk[Q]$ the associated monoid $\Bbbk$-algebra, and $\Bbbk[\overline{Q}]$ its normalization, where we let $\Bbbk$ be a field. In this paper, in the case where $\Bbbk[Q]$ is homogeneous (i.e., standard graded),…

The set of common roots of a finite set $I$ (it is an ideal) of homogeneous polynomials is known as projective algebraic set $V$. In this article I show how to dualize such projective algebraic sets $V$ by elimination of variables from a…

Several constructive homological methods based on noncommutative Gr\"obner bases are known to compute free resolutions of associative algebras. In particular, these methods relate the Koszul property for an associative algebra to the…

A k-ary semi-algebraic relation E on R^d is a subset of R^{kd}, the set of k-tuples of points in R^d, which is determined by a finite number of polynomial equations and inequalities in kd real variables. The description complexity of such a…

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…

A motivation to study Gr\"{o}bner theory for fields with valuations comes from tropical geometry, for example, they can be used to compute tropicalization of varieties \citep{maclagan2009introduction}. The computational aspect of this…

Given a graded ring $A$ and a homogeneous ideal $I$, the ideal is said to be of linear type if the Rees algebra of $I$ is isomorphic to the symmetric algebra of $I$. In general, $y$-regularity of Rees algebra of $I$ is $0 \Rightarrow$ $I$…