The tag has no wiki summary.

learn more… | top users | synonyms

-1
votes
1answer
59 views

How to recover the ideal from grobner basis of kernel of ann(x)

M -> ann(x) i can find the grobner basis of kernel of ann(x) and need the final step to recover this basis to ideal as i know, eliminate is not for all cases, what is the general practice to treat ...
5
votes
0answers
243 views

Testing isomorphism of finitely generated algebras

Let $A=\mathbf{Q}[x_1,\ldots,x_n]$ be the polynomial ring in $n$ variables over the rational numbers. Let $B=\mathbf{Q}[f_1,\ldots,f_r]$ and $C=\mathbf{Q}[g_1,\ldots,g_s]$ be two finitely generated ...
4
votes
0answers
122 views

Bound for the height of equations defining the singular locus of a variety

Fix positive integers $m, n, d$. In what follows, the height of an algebraic number will mean the absolute multiplicative height. Let $V \subset \bar{\mathbb{Q}}^n$ be an affine algebraic variety ...
3
votes
0answers
196 views

Bounding the degrees in a Bézout relation for integer polynomials

Let $A$ and $B$ be two polynomials in $\mathbf Z[X]$ which generate $\mathbf Z[X]$, that is assume that there exist polynomials $U$ and $V$ in $\mathbf Z[X]$ such that $$ A \cdot U + B \cdot V=1. $$ ...
0
votes
0answers
229 views

Can we find a Groebner Basis?

I would like to ask the following. Given only the leading terms of an ideal $I$, namely the set $LT(I)$, is it possible to find a Groebner Basis of $I$? If not always, then when is it possible? We ...