An FGLM-like algorithm for computing the radical of a zero-dimensional ideal

2018 ◽  
Vol 17 (01) ◽  
pp. 1850002 ◽  
Author(s):  
Teo Mora
Keyword(s):  
Linear Algebra ◽  
Linear Form ◽  
Gröbner Basis ◽  
Good Representation ◽  
Grobner Basis

We present a linear algebra algorithm, which, given a zero-dimensional ideal via a “good” representation, produces a separating linear form, its radical, again given via the same “good” representation and also a Kronecker parametrization of it. As an irrelevant byproduct, if you like, you can also read a Gröbner basis of the radical.

Balancing sets of vectors

2010 ◽  
Vol 47 (3) ◽  
pp. 333-349 ◽  
Author(s):  
Gábor Hegedűs
Keyword(s):  
Lower Bound ◽  
Linear Algebra ◽  
Scalar Product ◽  
Gröbner Basis ◽  
Prime Factor ◽  
Grobner Basis ◽  
Arbitrary Integer ◽  
Usual Scalar ◽  
Usual Scalar Product ◽  
Minimal Integer

Let n be an arbitrary integer, let p be a prime factor of n . Denote by ω1 the pth primitive unity root, \documentclass{aastex} \usepackage{amsbsy} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{bm} \usepackage{mathrsfs} \usepackage{pifont} \usepackage{stmaryrd} \usepackage{textcomp} \usepackage{upgreek} \usepackage{portland,xspace} \usepackage{amsmath,amsxtra} \usepackage{bbm} \pagestyle{empty} \DeclareMathSizes{10}{9}{7}{6} \begin{document} $$\omega _1 : = e^{\tfrac{{2\pi i}} {p}}$$ \end{document}.Define ωi ≔ ω1i for 0 ≦ i ≦ p − 1 and B ≔ {1, ω1 , …, ωp −1 } n ⊆ ℂ n .Denote by K ( n; p ) the minimum k for which there exist vectors ν1 , …, νk ∈ B such that for any vector w ∈ B , there is an i , 1 ≦ i ≦ k , such that νi · w = 0, where ν · w is the usual scalar product of ν and w .Gröbner basis methods and linear algebra proof gives the lower bound K ( n; p ) ≧ n ( p − 1).Galvin posed the following problem: Let m = m ( n ) denote the minimal integer such that there exists subsets A1 , …, Am of {1, …, 4 n } with | Ai | = 2 n for each 1 ≦ i ≦ n , such that for any subset B ⊆ [4 n ] with 2 n elements there is at least one i , 1 ≦ i ≦ m , with Ai ∩ B having n elements. We obtain here the result m ( p ) ≧ p in the case of p > 3 primes.

scholarly journals On the first fall degree of summation polynomials

2019 ◽  
Vol 13 (3-4) ◽  
pp. 229-237
Author(s):  
Stavros Kousidis ◽  
Andreas Wiemers
Keyword(s):  
Elliptic Curve ◽  
Gröbner Basis ◽  
Discrete Logarithm ◽  
Polynomial Systems ◽  
Discrete Logarithm Problem ◽  
Grobner Basis ◽  
Weil Descent ◽  
Degree Bound

Abstract We improve on the first fall degree bound of polynomial systems that arise from a Weil descent along Semaev’s summation polynomials relevant to the solution of the Elliptic Curve Discrete Logarithm Problem via Gröbner basis algorithms.

scholarly journals On the relation between the MXL family of algorithms and Gröbner basis algorithms

2012 ◽  
Vol 47 (8) ◽  
pp. 926-941 ◽  
Author(s):  
Martin R. Albrecht ◽  
Carlos Cid ◽  
Jean-Charles Faugère ◽  
Ludovic Perret
Keyword(s):  
Gröbner Basis ◽  
Grobner Basis

scholarly journals Constructing Gröbner bases for Noetherian rings

2013 ◽  
Vol 24 (2) ◽  
Author(s):  
HERVÉ PERDRY ◽  
PETER SCHUSTER
Keyword(s):  
Gröbner Basis ◽  
Finite Depth ◽  
Commutative Rings ◽  
Polynomial Ideal ◽  
Constructive Proof ◽  
Noetherian Rings ◽  
Grobner Basis ◽  
Finitely Generated ◽  
Prime Decomposition ◽  
Separate Paper

We give a constructive proof showing that every finitely generated polynomial ideal has a Gröbner basis, provided the ring of coefficients is Noetherian in the sense of Richman and Seidenberg. That is, we give a constructive termination proof for a variant of the well-known algorithm for computing the Gröbner basis. In combination with a purely order-theoretic result we have proved in a separate paper, this yields a unified constructive proof of the Hilbert basis theorem for all Noether classes: if a ring belongs to a Noether class, then so does the polynomial ring. Our proof can be seen as a constructive reworking of one of the classical proofs, in the spirit of the partial realisation of Hilbert's programme in algebra put forward by Coquand and Lombardi. The rings under consideration need not be commutative, but are assumed to be coherent and strongly discrete: that is, they admit a membership test for every finitely generated ideal. As a complement to the proof, we provide a prime decomposition for commutative rings possessing the finite-depth property.

Sign in / Sign up

Export Citation Format

Share Document