DeepAI AI Chat
Log In Sign Up

On the Annihilator Ideal of an Inverse Form. A Simplification

by   Graham H. Norton, et al.
The University of Queensland

We simplify an earlier paper of the same title by not using syzygy polynomials and by not using a trichotomy of inverse forms. Let be a field and =[x^-1,z^-1] denote Macaulay's [x,z] module of inverse polynomials; here z and z^-1 are homogenising variables. An inverse form F∈ has a homogeneous annihilator ideal, _F . In an earlier paper we inductively constructed an ordered pair (f_1 , f_2) of forms in [x,z] which generate _F. We used syzygy polynomials to show that the intermediate forms give a minimal grlex Groebner basis, which can be efficiently reduced. We give a significantly shorter proof that the intermediate forms are a minimal grlex Groebner basis for _F . We also simplify our proof that either F is already reduced or a monomial of f_1 can be reduced by f_2 . The algorithm that computes f_1 ,f_2 yields a variant of the Berlekamp-Massey algorithm which does not use the last 'length change' approach of Massey. These new proofs avoid the three separate cases, 'triples' and the technical factorisation of intermediate 'essential' forms. We also show that f_1,f_2 is a maximal regular sequence for _F , so that _F is a complete intersection.


page 1

page 2

page 3

page 4


On the Annihilator Ideal of an Inverse Form

Let K be a field. We simplify and extend work of Althaler & Dür on finit...

On Rueppel's Linear Complexity Conjecture

Rueppel's conjecture on the linear complexity of the first n terms of th...

Improved Computation of Involutive Bases

In this paper, we describe improved algorithms to compute Janet and Pomm...

An Algorithm for Computing a Minimal Comprehensive Gröbner Basis of a Parametric Polynomial System

An algorithm to generate a minimal comprehensive Gröbner basis of a par...

On CCZ-equivalence of the inverse function

The inverse function x ↦ x^-1 on 𝔽_2^n is one of the most studied functi...

Groebner bases of reaction networks with intermediate species

In this work we consider the computation of Groebner bases of the steady...