English
Related papers

Related papers: Annihilating polynomials for quadratic forms and S…

200 papers

$ \newcommand{\ie}{i.\,e.} $We introduce a hitting set generator for Polynomial Identity Testing based on evaluations of low-degree univariate rational functions at abscissas associated with the variables. We establish an equivalence up to…

Computational Complexity · Computer Science 2025-01-06 Ivan Hu , Dieter van Melkebeek , Andrew Morgan

Using recent work by Erman-Sam-Snowden, we show that finitely generated ideals in the ring of bounded-degree formal power series in infinitely many variables have finitely generated Gr\"obner bases relative to the graded reverse…

Commutative Algebra · Mathematics 2021-04-06 Jan Draisma , Michal Lason , Anton Leykin

The main achievement of this paper is to provide a structure theorem for Artinian, Gorenstein local rings with the property that the square of the maximal ideal is generated by two elements. The moduli problem for this class of local…

Commutative Algebra · Mathematics 2007-09-21 Juan Elias , Giuseppe Valla

Let $V$ be a valuation ring of a global field $K$. We show that for all positive integers $k$ and $1 < n_1 \leq \ldots \leq n_k$ there exists an integer-valued polynomial on $V$, that is, an element of $\text{Int}(V) = \{ f \in K[X] \mid…

Number Theory · Mathematics 2023-08-25 Victor Fadinger , Sophie Frisch , Daniel Windisch

It is known that the Frobenius algebra of the injective hull of the residue field of a complete Stanley--Reisner ring (i.e. a formal power series ring modulo a squarefree monomial ideal) can be only principally generated or infinitely…

Commutative Algebra · Mathematics 2017-09-25 Alberto F. Boix , Santiago Zarzuela

Let $R$ be a commutative ring and ${\Bbb{A}}(R)$ be the set of ideals with non-zero annihilators. The annihilating-ideal graph of $R$ is defined as the graph ${\Bbb{AG}}(R)$ with vertex set ${\Bbb{A}}(R)^*={\Bbb{A}}\setminus\{(0)\}$ such…

Rings and Algebras · Mathematics 2015-01-20 Farid Aliniaeifard , Mahmood Behboodi , Yuanlin Li

We study universal quadratic forms over totally real number fields using Dedekind zeta functions. In particular, we prove an explicit upper bound for the rank of universal quadratic forms over a given number field $K$, under the assumption…

Number Theory · Mathematics 2025-10-27 Vítězslav Kala , Mentzelos Melistas

For certain types of quadratic forms lying in the n-th power of the fundamental ideal, we compute upper bounds and where possible exact values for the minimal number of general n-fold Pfister forms, that are needed to write the Witt class…

Number Theory · Mathematics 2021-02-01 Nico Lorenz

The aim of this paper is to study the group of elliptic units of a cyclic extension $L$ of an imaginary quadratic field $K$ such that the degree $[L:K]$ is a power of an odd prime $p$. We construct an explicit root of the usual top…

Number Theory · Mathematics 2017-06-01 Hugo Chapdelaine , Radan Kučera

Deciding whether an ideal of a number field is principal and finding a generator is a fundamental problem with many applications in computational number theory. For indefinite quaternion algebras, the decision problem reduces to that in the…

Number Theory · Mathematics 2014-08-13 Aurel Page

We apply small cancellation methods originating from group theory to investigate the structure of a quotient ring $\mathbb{Z}_2\mathcal{F} / \mathcal{I}$, where $\mathbb{Z}_2\mathcal{F}$ is the group algebra of the free group $\mathcal{F}$…

Rings and Algebras · Mathematics 2018-12-05 A. Atkarskaya , A. Kanel-Belov , E. Plotkin , E. Rips

We analyze the problem of determining Waring decompositions of the powers of any quadratic form over the field of complex numbers. Our main goal is to provide information about their rank and also to obtain decompositions whose size is as…

Algebraic Geometry · Mathematics 2025-04-22 Cosimo Flavi

It is well known that in the Noetherian local ring with infinite residue field the reduction of $\mm$-primary ideal may be given in the form of a sufficiently general linear combination of its generators. In the paper we give a condition…

Commutative Algebra · Mathematics 2021-06-23 Tomasz Rodak , Adam Różycki , Stanisław Spodzieja

The generic quadratic form of even dimension n with trivial discriminant over an arbitrary field of characteristic different from 2 containing a square root of -1 can be written in the Witt ring as a sum of 2-fold Pfister forms using n-2…

Rings and Algebras · Mathematics 2008-08-29 R. Parimala , V. Suresh , J. -P. Tignol

An $A$-module $E$ is said to be an \textit{annihilator multiplication module} if for each $e\in E$, there exists a finitely generated ideal $I$ of $A$ such that $ann(e)=ann(IE)$. This class of modules is quite large, as it contains…

Commutative Algebra · Mathematics 2026-03-18 Suat Koç

We investigate existence, uniqueness and maximality of solutions $T$ for equations $S_1+T=S_2$ and inequalities $S_1+T\subseteq S_2$ where $S_1$ and $S_2$ are final segments of ordered abelian groups. Since cuts are determined by their…

Commutative Algebra · Mathematics 2025-11-26 Franz-Viktor Kuhlmann , Katarzyna Kuhlmann

Motivated by applications to the theory of error-correcting codes, we give methods for computing a generating set for the ideal generated by $\beta$-graded polynomials vanishing on certain subsets of a simplicial complete toric variety $X$…

Algebraic Geometry · Mathematics 2025-06-02 Mesut Şahin

We prove that for any given positive integer $\ell$ there are infinitely many imaginary quadratic fields with 2-class group of type $(2,2^\ell)$, and provide a lower bound for the number of such groups with bounded discriminant for…

Number Theory · Mathematics 2013-02-15 Adele Lopez

Suppose that $EE$ is a totally real number field which is the composite of all of its subfields $E$ that are relative quadratic extensions of a base field $F$. For each such $E$ with ring of integers $\O_E$, assume the truth of the…

Number Theory · Mathematics 2007-05-23 Jonathan W. Sands , Lloyd D. Simons

Let I be a finitely supported complete m-primary ideal of a regular local ring (R, m). A theorem of Lipman implies that I has a unique factorization as a *-product of special *-simple complete ideals with possibly negative exponents for…

Commutative Algebra · Mathematics 2014-01-15 William Heinzer , Mee-Kyoung Kim , Matthew Toeniskoetter