1
vote
0answers
77 views

Too many independent cubic polynomials in an ideal $I\subset \mathbb C[x,y,z]$

Let us consider the ideal $I=(x^2-x,y,xz)\subset \mathbb C[x,y,z]$. I want to prove that $I$ contains (exactly) $5$ linearly independent polynomials of degree $3$. In three variables, we have ...
1
vote
0answers
73 views

Calculate the primary decomposition

Consider the polynomial ring $R=K[x_1,\ldots, x_8]$ over field $K$. Set $\mathfrak{p}_1=(x_1, x_2, x_5, x_6)$, $\mathfrak{p}_2=(x_3, x_4, x_7, x_8)$ and $I=\mathfrak{p}_1\cap \mathfrak{p}_2$, ...
7
votes
2answers
443 views

How does Hilbert's Nullstellensatz generalize the “fundamental theorem of algebra”?

What is Hilbert's Nullstellensatz in the sense of the generalization of "fundamental theorem of algebra"? I've seen that in some texts it was referred to as the generalization of the fundamental ...
5
votes
1answer
54 views

Topological closure of ideal in $A[[T]]$ - Proposition 1.3.7 in Liu

In Proposition 1.3.7 of Liu's book, one proves that if a ring $A$ is noetherian then so is $A[[T]]$. We take an ideal $I$ of $A[[T]]$ and prove that there exist $F_1,\ldots,F_m\in I$ such that for all ...
0
votes
1answer
47 views

Homogeneous polynomial in a homogeneous ideal

Let $f$ be a non-zero homogeneous polynomial in a homogeneous ideal generated by homogeneous elements $g_1,\ldots, g_s$. Suppose $f= h_1g_1 +\cdots+h_sg_s$. Is it necessary that $\deg(f)=\deg(h_ig_i)$ ...
2
votes
1answer
40 views

Projecting an affine hypersurface away from a point in its projective closure is never a finite map?

Let $X\subset \mathbb{A}_k^r$ be an irreducible hypersurface defined by a polynomial $g$, where $k$ is an algebraically closed field. Embed $\mathbb{A}^r\hookrightarrow\mathbb{P}^r$ in the usual way. ...
2
votes
2answers
114 views

Help in this proof in Lang's Algebra book

I'm trying to understand this part of the proof: I didn't understand why not all coefficients of $f_2,\ldots,f_n$ can lie in the maximal ideal, maybe I'm forgetting something, it should be a very ...
0
votes
0answers
64 views

Multivariable irreducible polynomials over finite fields

It is not difficult to prove the following result, and it seems that it should be already proved. I would appreciate it if someone offer me some reference to it. For any $f(x_1,\dots, x_n)=\sum ...
0
votes
0answers
45 views

Why is this ring Cohen-Macaulay?

Let $q_1, q_2$ be quadratic homogeneous polynomials in $x_0,x_1,x_2,x_3,x_4$ over $\mathbb C$ and let $X_i:=V(q_i)=\{(a_0,\dots,a_4)\in \mathbb{P}_{\mathbb{C}}^4\mid q_i(a_0,\dots,a_4)=0\}$. If ...
1
vote
1answer
50 views

Why are $(X_1), (X_1,X_2), \ldots$ prime ideals?

I was looking at the proof of the dimension of the polynomial ring $R[X_1,\ldots,X_n]$ and I had a question: Why are $(X_1), (X_1,X_2), (X_1,X_2,X_3),\ldots, (X_1,\ldots,X_n)$ prime ideals in this ...
0
votes
1answer
35 views

Problems with a ring isomorphism

Let $k$ be a field and consider $a=(a_0,\ldots,a_n)\in k^{n+1}$ with $a_0\neq0$. Now $\rho(a)=\left(\{a_iT_j-a_jT_i\;:\; 0\le i<j\le n\}\right)$ is an homogeneous ideal of $k[T_0,\ldots,T_n]$ and I ...
2
votes
1answer
66 views

Showing that if $f,g \in k[x,y]$ are irreducible and not associates then $(f,g) \cap k[x] \ne 0$

There is a part of example 10.25.3 at http://stacks.math.columbia.edu/tag/00EX that I'm having trouble understanding. Here, $k$ is a field and $f,g \in k[x,y]$ are irreducible and are not associates. ...
1
vote
1answer
61 views

Calculating Grobner Bases

In this question, $ℚ[x,y,z]$ is endowed with the lexicographic order with $x > y > z$. Set $u:= x^2 + 2yz^2$ and $v:= y^2 - 3xz$. Denote by $J$ the ideal of $ℚ[x,y,z]$ generated by $u$ and $v$. ...
2
votes
1answer
77 views

Monic irreducible polynomial over an integral domain

These days, I have some basic problem in abstract algebra. I know that in any integral domain, any prime element must be an irreducible element. Moreover, if $A$ is a UFD, then an element $a \in A$ is ...
0
votes
0answers
73 views

A question in Chapter III.4 of Dino Lorenzini's “An Invitation to Arithmetic Geometry”

Question 1 I am studying in the book "An Invitation to Arithmetic Geometry" by Prof. Dino Lorenzini. In Chapter III Section 4, we consider the following condition: Let $A$ be a Dedekind domain ...
5
votes
1answer
98 views

Exercise from Atiyah-Macdonald, Chapter 1, 2.iv)

Let $A$ be a ring and let $A[x]$ be the ring of polynomials in an indeterminate $x,$ with coefficients in $A.$ Let $f=a_0 + a_1x+\cdots+a_nx^n \in A[x].$ $f$ is said to be primitive if ...
1
vote
2answers
132 views

Homogeneous polynomial in $k[X,Y,Z]$ can factor into linear polynomials?

My question is quite simple. Let $k$ be a closed algebraic field and $f\in k[X,Y]$. We know that $f$ can factor into linear polynomials. I would like to know if there is some generalization of ...
3
votes
2answers
89 views

What is the proof of the single factor theorem over an arbitrary commutative ring?

Theorem (Single factor theorem) Let $R$ be a commutative ring, and let $P\in R[X]$, where $R[X]$ is the polynomial ring over the indeterminate $X$. Suppose $P(\alpha)=0$. Then $(X-\alpha)$ divides ...
0
votes
1answer
76 views

Kernel and direct sum

Let $R=k[x_1,\ldots,x_7]$ be a polynomial ring over field $k$ and $I=\bigcap_{i=1}^4 \mathfrak{p}_i$ where $\mathfrak{p}_1=(x_1,x_3,x_5,x_6), \mathfrak{p}_2=(x_1,x_3,x_4,x_6), ...
0
votes
1answer
147 views

Subrings of polynomial rings over the complex plane

I have the following questions: (i) must every subring of the polynomial ring in two variables over the complex plane, containing the complex plane itself, be Noetherian? (ii) Are there Noetherian ...
0
votes
0answers
74 views

What is $Spec(\mathbb{Z}[x])$? [duplicate]

What is $Spec(\mathbb{Z}[x])$? For a commutative ring $A$ e with $1$, its spectrum $Spec(A)$ is defined to be the set of all of its prime ideals. So the question is to find all the prime ideals of the ...
0
votes
0answers
74 views

$f$ is irreducible iff $V(f)$ is irreducible

I would like to know if the following statement is true: $f$ is irreducible iff $V(f)$ is irreducible. My tools I'm trying to use to prove this are Study's Lemma and basic algebra. If $f$ is ...
1
vote
1answer
42 views

The height of a prime ideal in the $\kappa[[X]][Y]$

Let $\kappa$ be a field and $S=\kappa[[X]]$ be the ring of power series which depends on the indeterminate $X$. Now consider the ring $S[Y]$, the ring of polynomials with coefficients in $S$ and ...
5
votes
1answer
73 views

Algebraic independence in $ k[x,y]$

Let $k$ be a field, then $x$ and $y$ are algebraically independent in polynomial ring $k[x,y]$, so I would guess that 2 is the maximal number of algebraically independent elements in $k[x,y]$ But I ...
4
votes
2answers
104 views

Nilpotent/invertible polynomial over commutative ring. [duplicate]

Let $p(x)=a_nx^n+a_{n-1}x^{n-1}+\cdots+a_1x+a_0$ be a polynomial over a commutative ring $R$. Prove that (a) $p$ is unit in $R[x]$ iff $a_0$ is unit and $a_1,a_2,\ldots,a_n$ are nilpotent in ...
2
votes
1answer
41 views

isomorphic quotient rings of polynomial ring and Hilbert functions

Let $k$ be a field, $R=k[x_1,\cdots,x_n]$ and $I,J$ homogeneous ideals of $R$. Denote by $H_I(s), H_J(s)$ the Hilbert functions of $I,J$ respectively. If $R/I, R/J$ are isomorphic as graded rings, ...
5
votes
1answer
149 views

What ideal is this?

Let $k$ be a field and $R = k[X]$ all polys over $k$ in $X$. Choose $p \in R$ and define $I_p = \{ f \in R : f\circ p(X) \in I \}$, where $I$ is some ideal in $R$. Then $I_p$ is an additive ...
2
votes
2answers
91 views

What is the ideal of leading terms?

Fix a monomial ordering on the polynomial ring $\Bbb{k}[x_1, \dots, x_n] = R$ over a field. What exactly is $LT(I)$ for an ideal $I$ of $R$? How is it defined and does it form an ideal?
4
votes
1answer
92 views

Random algebraic numbers are linearly disjoint almost surely?

It is well-known that if one considers a “random” monic polynomial of fixed degree, say $X^n+\sum_{k=0}^{n-1}a_kX^k$ where $(a_0,a_1,\ldots, a_n)$ is drawn from the discrete uniform distribution on ...
1
vote
0answers
18 views

General position for one-parameter family of algebraic numbers

Let $P(x,y)$ be an irreducible twovariate polynomial with rational coefficients such that $P(n,.)$ has degree $>1$ for any $n\in{\mathbb N}$. For any $n\in{\mathbb N}$, one may choose a root ...
4
votes
2answers
161 views

Can $\operatorname{Spec}(R[X])$ ever be finite?

I have a quick question. Suppose $R$ is a nonzero commutative ring. Is it possible that $|\operatorname{Spec}(R[X])|<\infty$?
2
votes
2answers
88 views

Is the ring of polynomial invariants of a finite perfect group an UFD?

Let $G$ be a finite group. $G$ acts on $\mathbb K[x_1,...,x_n]$ by automorphisms fixing $K$. $\mathbb K[x_1,...,x_n]^G=\{ T\in \mathbb K[x_1,...,x_n],\forall \sigma \in G, T^{\sigma}=T\}$ is the ring ...
2
votes
1answer
72 views

If $X$ is a cone, show that $I(X)$ is homogeneous.

The exercise is 1.3(3) from HP Kraft, "Appendix A: Basics from Algebraic Geometry." If a closed subset $X\subseteq \mathbb C^n$ is a cone, show that $I(X)$ is generated by homogeneous functions. ...
2
votes
1answer
43 views

Any finite set in $k^n$ is an algebraic set.

I'm trying to show that given a field $k$, and a finite set of points $\{a^i: i = 1\dots n\} \subset k^n$ is an algebraic set or equivalently is the set of common zeros of some set of polynomials $S ...
2
votes
1answer
69 views

Identity between roots of polynomials

Let $A\in{\mathbb C}[X]$ be a monic polynomial of degree $n\geq 2$, with roots $\alpha_1,\alpha_2,\alpha_3, \ldots ,\alpha_n$. Let $B$ be the polynomial $$ B=\prod_{k=1}^{n} ...
1
vote
1answer
89 views

Krull dimension of this local ring

I want to know what the Krull dimension of this ring $\mathbb C[x,y]_p/(y^2-x^7,y^5-x^3)$ is, where $p\neq (0,0)$. I know the dimension of it in the origin point, but I don't know other cases.
2
votes
1answer
45 views

Find $\mathbb{C}[x^2,x^3]\cap \mathbb{C}[(x-1)^2, (x-1)^3]$.

Find $\mathbb{C}[x^2,x^3]\cap \mathbb{C}[(x-1)^2, (x-1)^3]$. I am trying to find the above subring. I would prefer hints more than complete solutions.
2
votes
0answers
71 views

Roots of polynomials with coefficients in an algebraically closed field

I have encountered to a famous problem about polynomials. Could you please show me the outline of achieving to it. Question: Let $\kappa$ be an algebraically closed field. How could we show that ...
0
votes
1answer
70 views

Inconsistent system of simultaneous equations

Let $F$ be an algebraically closed field, and $f_1,\ldots,f_n$ polynomials in $k$ variables over $F$. The system of simultaneous equations $$\mathcal{F}: ...
4
votes
2answers
168 views

showing every ideal of some quotient ring is principal.

Let $\mathbb F$ be a field and $A=\mathbb F[t]/(t^2)$, where $(t^2)$ is the ideal of $\mathbb F[t]$ (This quotient ring is not an integral domain as you know), and I write an element of $A$ by ...
4
votes
2answers
99 views

What is the field of definition of an invariant ideal?

Let $K/k$ be a finitely generated field extension, such that $k=K^G$ for some (possibly infinite) set $G$ of automorphisms of $K$. Now, consider the extension of polynomial rings $$ ...
6
votes
1answer
130 views

Determinant vanishing over polynomial ring

Let $R=\mathbb C[t_1,\ldots,t_N]$ be a polynomial ring in some number of variables. Assume that $f_{ij}\in R$ are homogeneous linear polynomials for $1\le i,j\le n$. If $\det(f_{ij})=0$, I can ...
3
votes
2answers
86 views

(Integer) Variant of Hilbert’s irreducibility theorem

Let $P\in{\mathbb Q}[X,Y]$ such that $P(x,.)$ has an integer root for any integer $x\in{\mathbb Z}$. Does it follow that $P$ has factors of the form $Y-Q(X)$ for some $Q\in{\mathbb Q}[X]$, and does ...
8
votes
1answer
256 views

Is an ideal generated by multilinear polynomials of different degrees always radical?

Definition. A polynomial $f\in\Bbbk[x_0,\ldots,x_n]$ is called multilinear if $\deg_{x_i}(f)=1$ for each $0\le i \le n$. In other words, $f$ is linear in each variable. If $f$ is homogeneous of ...
9
votes
1answer
170 views

Isomorphic factor rings of polynomial rings does imply isomorphic ideals?

Let $k$ be a field, $I$ and $J$ are ideals of $R=k[x_1,\dots,x_n]$. If $R/I\simeq R/J$ as rings, then $I \simeq J$ as $R$-modules holds? Thanks in advance!
1
vote
1answer
48 views

degree of remainder on division of multivariate polynomials

Let $f, g_1, \cdots, g_s \in \mathbb{R}[x_1,\cdots,x_n]$ and consider the division of $f$ by the $g_i$. Standard multivariate division algorithm will give $f = \sum_i a_i g_i + r$. I have been trying ...
2
votes
1answer
66 views

In $\mathbb{C}[x]$ is it true that $F_{a,b}=\{p\in\mathbb{C}[x] : p(a)=p(b)\}$ for $a\neq b$ is a maximal subring?

The problem is in the title. It is clear that $F_{a,b}$ is a ring, but it is not so clear to me that it is maximal in $\mathbb{C}[x]$. I tried to consider it as a vector space and show that it has ...
10
votes
1answer
234 views

Do there exist polynomials $f,g$ such that $\mathbb{C}[a,b,c]\le\mathbb{C}[f,g]$ for $a,b,c$ given polynomials?

I want to prove something bigger than the problem in the title and I want to create a lemma that is useful for the solution of the problem. But I am unable to prove (or give a counterexample) the ...
1
vote
1answer
89 views

Quotient of a polynomial ring by a polynomial is equal to the direct sum of quotients by the roots

Reading through Claudio Procesi's Lie Groups: An Approach through Invariants and Representations, I came across the following claim, stated without proof during the derivation of some properties of ...
1
vote
0answers
27 views

Description of certain invariant polynomials (not a group action)

Working on a recent question led me to the following invariant-computation problem : let $$ A=\bigg\lbrace P \in {\mathbb Q}[X_1,X_2,X_3,X_4] \ \bigg| \\ \quad\ P(X_1X_3+X_2X_4+X_1X_4,\ X_2X_3,\ ...