English
Related papers

Related papers: Buchberger-Weispfenning Theory for Effective Assoc…

200 papers

The binary Reed-Muller codes can be characterized as the radical powers of a modular algebra. We use the Groebner bases to decode these codes.

We present an efficient algorithm for computing the leading monomials of a minimal Groebner basis of a generic sequence of homogeneous polynomials. Our approach bypasses costly polynomial reductions by exploiting structural properties…

Symbolic Computation · Computer Science 2026-05-12 Kosuke Sakata , Tsuyoshi Takagi

It is known that for binary codes one can use Gr\"obner bases to obtain a subset of codewords of minimal support that can be used to determine the second generalized Hamming weight of the code. In this paper we establish conditions on a…

Commutative Algebra · Mathematics 2025-10-14 Hernán de Alba , Cecilia Martínez-Reyes

Let $\Bbbk$ be an algebraically closed field and $\Lambda$ a generalized Brauer tree algebra over $\Bbbk$. We compute the universal deformation rings of the periodic string modules over $\Lambda$. Moreover, for a specific class of…

Representation Theory · Mathematics 2025-04-15 Jhony F. Caranguay-Mainguez , Pedro Rizzo , José A. Vélez-Marulanda

We study almost complete intersection ideals in a polynomial ring, generated by powers of all the variables together with a power of their sum. Our main result is an explicit description of the reduced Gr\"obner bases for these ideals under…

Commutative Algebra · Mathematics 2025-07-01 Filip Jonsson Kling , Samuel Lundqvist , Fatemeh Mohammadi , Matthias Orth

In this paper we generalize the classical Groebner basis technique to prove the existence and present a method of computation of a dimension polynomial in two variables associated with a finitely generated D-module, that is, a finitely…

Rings and Algebras · Mathematics 2012-12-11 Christian Dönch , Alexander Levin

Renormalization group procedure for effective particles (RGPEP) is applied in terms of a second-order perturbative computation to an Abelian gauge theory, as an example of application worth studying on the way toward derivation of a…

High Energy Physics - Theory · Physics 2020-02-12 Stanislaw D. Glazek

We present an effective algorithm for computing the standard cohomology spaces of finitely generated Lie (super) algebras over a commutative field K of characteristic zero. In order to reach explicit representatives of some generators of…

Commutative Algebra · Mathematics 2011-04-29 Benyamin M. -Alizadeh , Joel Merker , Masoud Sabzevari

We present a $p$-adic algorithm to recover the lexicographic Gr\"obner basis $\mathcal G$ of an ideal in $\mathbb Q[x,y]$ with a generating set in $\mathbb Z[x,y]$, with a complexity that is less than cubic in terms of the dimension of…

Commutative Algebra · Mathematics 2023-12-22 Eric Schost , Catherine St-Pierre

This text consists of five relatively systematic notes on Gr\"obner bases and free resolutions of modules over solvable polynomial algebras.

Rings and Algebras · Mathematics 2015-10-16 Huishi Li

In the present paper we develop a small cancellation theory for associative algebras with a basis of invertible elements. Namely, we study quotients of a group algebra of a free group and introduce three axioms for the corresponding…

Rings and Algebras · Mathematics 2024-01-17 A. Atkarskaya , A. Kanel-Belov , E. Plotkin , E. Rips

In commutative algebra, the theory of Gr\"obner bases enables one to compute in any finitely generated algebra over a given computable field. For non-finitely generated algebras however, other methods have to be pursued. For instance, it…

Commutative Algebra · Mathematics 2025-11-24 Adya Musson-Leymarie

In this paper, we generalize the notion of border bases of zero-dimensional polynomial ideals to the module setting. To this end, we introduce order modules as a generalization of order ideals and module border bases of submodules with…

Commutative Algebra · Mathematics 2013-02-27 Markus Kriegl

Signature-based algorithms are a popular kind of algorithms for computing Groebner basis, including the famous F5 algorithm, F5C, extended F5, G2V and the GVW algorithm. In this paper, an efficient method is proposed to solve the…

Symbolic Computation · Computer Science 2011-08-08 Yao Sun , Dingkang Wang

We provide necessary and sufficient conditions for simplicial complexes whose determinantal facet ideals admit reduced Grobner bases under diagonal term orders. Building on and extending foundational results for binomial edge ideals and…

Commutative Algebra · Mathematics 2026-01-27 Fahimeh Khosh-Ahang Ghasr

This paper presents a conception for computing gr\"{o}bner basis. We convert some of gr\"{o}bner-computing algorithms, e.g., F5, extended F5 and GWV algorithms into a special type of algorithm. The new algorithm's finite termination problem…

Symbolic Computation · Computer Science 2010-12-30 Lei Huang

It has been shown previously that a large class of monomial maps equivariant under the action of an infinite symmetric group have finitely generated kernels up to the symmetric action. We prove that these symmetric toric ideals also have…

Commutative Algebra · Mathematics 2016-04-29 Robert Krone

In this paper, we give the necessary and sufficient conditions for the Cohen-Macaulayness of the associated graded ring of a simplicial affine semigroups using Gr\"{o}bner basis. We generalize the concept of homogeneous numerical semigroup…

Commutative Algebra · Mathematics 2022-10-17 Joydip Saha , Indranath Sengupta , Pranjal Srivastava

We prove a family of 3-term relations in the Grothendieck ring of the category of finite-dimensional modules over the affine quantum algebra of type $G_2$ extending the celebrated $T$-system relations of type $G_2$. We show that these…

Quantum Algebra · Mathematics 2013-08-23 Jian-Rong Li , Evgeny Mukhin

This paper introduces a strategy for signature-based algorithms to compute Groebner basis. The signature-based algorithms generate S-pairs instead of S-polynomials, and use s-reduction instead of the usual reduction used in the Buchberger…

Symbolic Computation · Computer Science 2018-12-03 Kosuke Sakata
‹ Prev 1 8 9 10 Next ›