Related papers: Two-Sided Noncommutative Gr\"{o}bner Basis on Quiv…
Prime-based ordering which is proved to be admissible, is the encoding of indeterminates in power-products with prime numbers and ordering them by using the natural number order. Using Eiffel, four versions of Buchberger's improved…
Tate algebras are fundamental objects in the context of analytic geometry over the p-adics. Roughly speaking, they play the same role as polynomial algebras play in classical algebraic geometry. In the present article, we develop the…
Gr\"obner bases of binomial ideals arising from finite lattices will be studied. In terms of Gr\"obner bases and initial ideals, a characterization of finite distributive lattices as well as planar distributive lattices will be given.
We show that the graded maximal ideal of a graded $K$-algebra $R$ has linear quotients for a suitable choice and order of its generators if the defining ideal of $R$ has a quadratic Gr\"obner basis with respect to the reverse lexicographic…
Let $K$ be a field, $Q$ a quiver, and $\mathcal{A}$ the ideal of the path algebra $KQ$ that is generated by the arrows of $Q$. We present old and new results about the representation theories of the truncations $KQ/\mathcal{A}^L$, $L \in…
Let $Q$ be a finite quiver without loops. Then there is an admissible ideal $I$ such that the algebra $kQ/I$ has global dimension at most two and is (strongly) quasi-hereditary. In addition some other (strongly) quasi-hereditary algebras…
The equivariant quantum $K$-theory ring of a flag variety is a Frobenius algebra equipped with a perfect pairing called the quantum $K$-metric. It is known that in the classical $K$-theory ring for a given flag variety the ideal sheaf basis…
Many rings and algebras arising in quantum mechanics, algebraic analysis, and non-commutative algebraic geometry can be interpreted as skew PBW (Poincar\'e-Birkhoff-Witt) extensions. In the present paper we study two aspects of these…
We classify row-finite Leavitt path algebras associated to graphs with no more than two vertices. For the discussion we use the following invariants: decomposability, the $K_0$ group, $\det(N'_E)$ (included in the Franks invariants), the…
An algebra $\cal{R}$ is called an extension of the algebra $M$ by $B$ if $M^2=0$, $M$ is an ideal of $\cal{R}$ and $\cal{R}$$/M\cong B$ as algebras. In this paper, by using the Gr\"{o}bner-Shirshov bases, we characterize completely the…
Let $G$ be a finite connected simple graph and $I_{G}$ the toric ideal of the edge ring $K[G]$ of $G$. In the present paper, we study finite graphs $G$ with the property that $I_{G}$ is generated by quadratic binomials and $I_{G}$ possesses…
Hibi conjectured that if a toric ideal has a quadratic Gr\"obner basis, then the toric ideal has either a lexicographic or a reverse lexicographic quadratic Gr\"obner basis. In this paper, we present a cut ideal of a graph that serves as a…
Let $k$ be a field, $Q$ a finite directed graph, and $kQ$ its path algebra. Make $kQ$ an $\NN$-graded algebra by assigning each arrow a positive degree. Let $I$ be a homogeneous ideal in $kQ$ and write $A=kQ/I$. Let $\QGr A$ denote the…
We provide a classification of generalized tilting modules and full exceptional sequences for the dual extension algebra of the path algebra of a uniformly oriented linear quiver modulo the ideal generated by paths of length two with its…
In this paper we present an algorithm for computing Groebner bases of linear ideals in a difference polynomial ring over a ground difference field. The input difference polynomials generating the ideal are also assumed to be linear. The…
We introduce the notion of dual perfect bases and dual perfect graphs. We show that every integrable highest weight module $V_q(\lambda)$ over a quantum generalized Kac-Moody algebra $U_{q}(\mathcal{g})$ has a dual perfect basis and its…
A GR-segment for an artin algebra is a sequence of Gabriel-Roiter measures, which is closed under direct predecessors and successors. The number of the GR-segments indexed by natural numbers $\mathbb{N}$ and integers $\mathbb{Z}$ probably…
It is shown that, given any finite dimensional, split basic algebra $\Lambda = K\Gamma/I$ (where $\Gamma$ is a quiver and $I$ an admissible ideal in the path algebra $K \Gamma$), there is a finite list of affine algebraic varieties, the…
A Comprehensive Grobner system for a parametric ideal I in K(A)[X] represents the collection of all Grobner bases of the ideals I' in K[X] obtained as the values of the parameters A vary in K. The recent algorithms for computing them…
This paper describes a Buchberger-style algorithm to compute a Groebner basis of a polynomial ideal, allowing for a selection strategy based on "signatures". We explain how three recent algorithms can be viewed as different strategies for…