# Questions tagged [ideals]

The ideals tag has no usage guidance.

140
questions

0
votes

0
answers

52
views

### Extracting implications in polynomial constraint system from Groebner basis

Given a Groebner basis for a system of polynomial constraints over $\mathbb{Q}$, are there any known methods for extracting the low degree factorable polynomials in the ideal generated by that basis?
...

1
vote

0
answers

53
views

### Gorenstein property from initial ideal

My question is:
If $I$ is a homogenous ideal of $S=K[x_1,\dots,x_n]$ and $in_{<}(I)$ is the initial ideal of $I$, with respect to a term order $<$ on $S$, then $S/I$ is Gorenstein if and only if ...

1
vote

1
answer

121
views

### If $(f,g)$ and $(f,h)$ are maximal ideals, then $ag+bh=P(f)$ for some $a,b \in k, P(t) \in k[t]$?

Let $k$ be an algebraically closed field of characteristic zero, for example $k=\mathbb{C}$.
Let $f,g,h \in k[x,y]$, $g \neq h$, satisfy the following two conditions:
(1) $(f,g)$ is a maximal ideal of ...

-1
votes

0
answers

64
views

### $u,v \in k[x,y]$ that satisfy: For every automorphic image $w \in k[x,y]$, there exist $a,b,c \in k$ such that $(u-a,v-b,w-c)$ is a maximal ideal

Let $k$ be an algebraically closed field of characteristic zero, for example $k=\mathbb{C}$, and let $u,v \in k[x,y]-k$.
Denote $(u,v)$ the ideal generated by $u$ and $v$.
Assume that the following ...

0
votes

0
answers

14
views

### Proof that the left ideal I of prime norm in maximal order can be written as I = ON + Oα

It seems there is a well-known fact that if $O$ is a maximal order in quaternion algebra $B$ and $I$ is a left $O-$ideal such that $nrd(I) = N$ is
prime, then $I = ON + Oα$ with $gcd(N^2, nrd(α)) = N$....

0
votes

1
answer

123
views

### $k(F_i)_{i=1}^{n}=k(G_j)_{j=1}^{m}$ iff there exist $a_i,b_j \in k$ such that $\langle F_i-a_i \rangle_{i=1}^{n} = \langle G_j-b_j \rangle_{j=1}^{m}$

Let $k$ be an algebraically closed field of characteristic zero, for example $k=\mathbb{C}$ and let $F_1,\ldots,F_n,G_1,\ldots,G_m \in \mathbb{C}[x,y]$, $n,m \in \mathbb{N}-\{0\}$.
Claim:
$\mathbb{C}(...

1
vote

1
answer

136
views

### Ideals: If $\langle f_1,f_2 \rangle = \langle g_1,g_2 \rangle$, then $\langle f_1-\lambda,f_2-\mu \rangle = \langle g_1-\delta,g_2-\epsilon \rangle$?

The following question appears in MSE without answers.
Let $f_1,f_2,g_1,g_2 \in \mathbb{C}[x,y]-\mathbb{C}$.
Assume that $\langle f_1,f_2 \rangle = \langle g_1,g_2 \rangle \subsetneq \mathbb{C}[x,y]$,
...

0
votes

1
answer

132
views

### $\mathbb{C}(u(x,y),v(x,y),f(x)+g(y))=\mathbb{C}(x,y)$ implies $\mathbb{C}(u(x,y),v(x,y))=\mathbb{C}(x,y)$?

The following question is a direct continuation of this question:
Let $u,v \in \mathbb{C}[x,y]$.
Assume that for every $f \in \mathbb{C}[x]$ and every $g \in \mathbb{C}[y]$ (excluding the cases where $...

0
votes

0
answers

61
views

### Is that true that each ideal $I \subset k[x_1,\ldots,x_n]$ of finite $k$-codimension contains all monomials of sufficiently high degree?

Let $k$ be a field, and $I$ be an ideal in the $k$-algebra $k[x_1,\ldots,x_n]$ of all polynomials of $n$ variables.
Suppose that $I$ has finite codimension over $k$, i.e.
$$
\dim_{k} k[x_1,\ldots,x_n]/...

2
votes

1
answer

331
views

### What is the ideal of hypersurfaces singular at a given irreducible variety?

Let $X\subseteq \mathbb{P}^n$ be a closed irreducible subvariety, with vanishing ideal $I(X)\subseteq k[x_0,\ldots,x_n]$, where $k$ is the ground field, assumed to be algebraically closed. Let $F\in k[...

6
votes

1
answer

239
views

### The combinatorics of the Nullstellensatz for the variety of nilpotent matrices

Let $H_n$ denote the set of $n \times n$ nilpotent matrices with complex entries. The set $H_n$ may be regarded as an algebraic variety. Indeed, consider the polynomial ring $\mathbb{C}[A_{i,j} : 1 \...

2
votes

0
answers

100
views

### Van der Waerden's classical paper on Hilbert polynomials and Bezout's theorem

Is it possible to obtain an electronic copy of Van der Waerden's "On Hilbert series of composition of ideals and generalisation of the Theorem of Bezout", Proceedings of the Koninklijke ...

0
votes

0
answers

104
views

### Product/intersection of two ideals

Let $I_{1}$ and $I_{2}$ be two ideals in polynomial ring $C[u,v,t]$, defined as $I_1 = \langle t-u^3, (v-u^5)^2\rangle$ and $I_2 = \langle u^{11} + v^{11} + t^{11} + 3\rangle$. Is there a method for ...

1
vote

0
answers

32
views

### Natural Density of Norms of ideals in a given ideal class

Some time ago, Landau proved the following formula for general number fields:
$I_K(x)=U_Kx+O(x^{\delta})$, where $\delta=1-2/(1+[K:\mathbb{Q}])$, where $I_K(x)$ is the number of ideals with norm below ...

0
votes

1
answer

158
views

### Are zero dimensional ideals radical?

I have a question about Theorem 3.7.25. of Computational commutative algebra I by M. Kreuzer and L. Robbiano.
Let $K$ be a perfect field, $I \subseteq K[x_1, \ldots, x_n]$, be a zero dimensional ...

4
votes

0
answers

118
views

### Which projections maintain irreducibility of the polynomial $x_0x_1 + x_2x_3 + \dots + x_{2m-2}x_{2m-1}$?

Let $q = x_0x_1 + x_2x_3 + \dots + x_{2m-2}x_{2m-1} \in \Bbb{C}[x_0, \dots, x_{2m-1}]$. The ambient space is $\Bbb{C}^{2m}$. Which are the polynomials $p \in \Bbb{C}[x_0, \dots, x_{2m-1}]$ such that ...

2
votes

0
answers

69
views

### Ideals by the polynomial with "shifted" variables like g(x,y,z,) g(y,z,u), g(z, u,v)

Are there any results related to properties of an ideal $I$ in $k[x_1,\ldots,x_n]$ generated by the polynomials $g(x_1,\ldots, x_m),\, g(x_2,\ldots, x_{m+1}), \ldots, g(x_{1+{n-m}},\ldots , x_{n})$? ...

6
votes

1
answer

226
views

### What is the right level of generality for $(R/a) \times (R/b) \cong (R/\gcd(a,b)) \times (R/\operatorname{lcm}(a,b))$?

Let $R$ be a principal ideal domain. Let $a$ and $b$ be two elements of $R$. Let $g$ be a greatest common divisor of $a$ and $b$, and let $\ell$ be a least common multiple of $a$ and $b$. (Of course, ...

1
vote

1
answer

92
views

### How to compute the associated reduced ring for this finitely generated algebra?

Let $k$ be a field, $m$ be a positive integer and $R$ be the subring $k[x,xy,xy^2,…,xy^m]$ of the polynomial ring $k[x,y]$. Let $B$ be the quotient ring $R/xR$. Then $B$ is the finitely generated $k$-...

0
votes

0
answers

47
views

### Let $g$ be regular in $A$, when do we have $(gx_i-f_i)_{A[\underline{x}]}=A[\underline{x}]\cap (gx_i-f_i)_{A_g[\underline{x}]}$

Also asked in stackexchange.
Let $A$ be a commutative unital ring. Let $g$ be a regular element of $A$. Let $A_g$ be the localization of $A$ at the set $\{g^n:n\geq 0\}$, then we have an injection $A\...

0
votes

1
answer

182
views

### Are the ideals in two $C^*$-algebras the same?

Let $V_{1}, V_{2}$ be the commuting isometries. By Wold decomposition theorem, we know that $V_{i}$ admits decomposition $$V_i \cong V^s_{i}\oplus V^{u}_{i},$$ where $V^{s}_{i}$ is the shift and $V^{u}...

7
votes

2
answers

460
views

### Counterexample for Chvatal's conjecture in an infinite set

Let $X \neq \emptyset$ be a set. We say that ${\cal F} \subseteq {\cal P}(X)$ is a down-set if ${\cal F}$ is closed under taking subsets. Whenever $a \in X$, we let ${\cal F}_a = \{ S \in F : a \in S\}...

3
votes

1
answer

122
views

### Ideals whose quotient rings have a certain property

There are some well-known properties of ideals which are equally well-known to correspond to properties of their respective quotient rings. For example:
An ideal $p$ of a ring $R$ is prime iff $R/p$ ...

2
votes

1
answer

157
views

### DCC on the powers of ideals

My apologies if this question is below the level of MO. I posted the same question in MS about a week ago without an answer so far.
Let $R$ be a unital commutative ring. $R$ is called strongly $\pi$-...

3
votes

1
answer

209
views

### Does the set of ideals, whose Jacobson radical & nilradicals coincide, form a sublattice?

This question might be below the level of MO, so apologies in advance. I posted the same question in MS about a week ago without an answer so far.
Let $R$ be a unital commutative ring and $L(R)$ ...

2
votes

1
answer

119
views

### Hadamard product of linear recurrences with umbral calculus

Let $R$ be a ring, $d_0, d_1, d_2, \dots \in R$ and $e_0, e_1, e_2, \dots \in R$ be linear recurrence sequences, such that
$d_m = a_1 d_{m-1} + a_2 d_{m-2} + \dots + a_k d_{m-k}$ for $m \geq k$,
$e_m ...

10
votes

2
answers

934
views

### Is the ideal product presheaf a sheaf? Do we have any reasons to believe it will be / it won't?

My question is about one of those several concepts in algebraic geometry who everybody uses but nobody defines or introduces properly.
Given a ringed space $(X,\mathcal{O}_X)$ and ideal sheaves $\...

1
vote

2
answers

156
views

### The quotient of an algebra with an ideal whose generators are decomposed as the product of irreducible elements

I would like to find reference for the following statement.
I need it only in the particular case when $A=\mathcal{O}_{(\mathbb{C}^n, 0)}$ is the local algebra of holomorphic germs $(\mathbb{C}^n, 0) \...

5
votes

0
answers

129
views

### Trying to prove a seemingly easy fact on ideals of ternary C*-algebras

Currently I'm reading the paper by Abadie and Ferraro titled Applications of ternary rings to $C^*$-algebras.
Recall that a $C^{\ast}$-ternary ring is a complex Banach space $M$, equipped with a ...

0
votes

1
answer

128
views

### Partial orders on downward closed sets [closed]

Let $P = (V, \sqsubseteq)$ be a partial order and $\mathfrak{D}(P)$ denote the class of downward-closed subsets of the partial order $P$ (i.e, the class of $A \subseteq V$ such that $y\in A \;\&\; ...

7
votes

1
answer

252
views

### Does every infinite-dimensional Banach algebra contain an infinite-dimensional subalgebra with second-countable primitive ideal space?

Let $A$ be an infinite dimensional Banach algebra. Even if separable the primitive ideal space of $A$ need not be second-countable when endowed with the hull-kernel topology. Can we at least find an ...

3
votes

1
answer

249
views

### A criterion for whether an ideal is contained in a principal ideal

Let $R$ be a ring and $I$ an ideal. I am interested under which conditions the following holds:
Claim. Suppose that any two elements in $I$ have a non-trivial $\operatorname{gcd}$. Then $I$ is ...

2
votes

0
answers

118
views

### Quasi-ideals and Erdős conjecture on arithmetic progressions

Starting to read a book about algebraic geometry as well as the Wikipedia article on Erdős conjecture on arithmetic progressions, I came to think of what follows.
Let $A$ be a set of positive integers,...

2
votes

1
answer

190
views

### Intersecting a ideal generated in degree $\leq a$ with one generated in degree $\leq b$ in a polynomial ring

Question 1. Let $R$ be a polynomial ring over a field $k$. Assume that $R$ is graded in the usual way (i.e., each variable has degree $1$). Let $I$ and $J$ be two ideals of $R$ such that $I$ is ...

4
votes

1
answer

221
views

### $A$ is a commutative connective dg-algebra satisfying $H^0(A)=k$. Is it true that a dg ideal generated by elements of negative degree acyclic?

Let $k$ be a field of characteristic zero and $A$ be a graded commutative dg-algebra over $k$ with differential of degree $+1$ satisfying $H^0(A)=k, H^i(A)=0$ for $i<0$. Denote by $\mathcal J$ a dg ...

2
votes

1
answer

195
views

### Primitive ideals of minimal tensor product

Let $A$ and $B$ be $C^{\ast}-$ algebras and $A \otimes B$ denotes minimal(spatial) tensor product.
Is there any classification of primitive ideals of $A \otimes B$? (I'm mainly interested in the ...

1
vote

1
answer

101
views

### Symbolic power of an ideal associated to non-singular algebraic set

Let $Z\subset \mathbb P^n$ be a reduced non-singular algebraic set and $I$ denote the saturated homogeneous ideal of $Z$. I have seen the following result without proof:
For all $ n\geq 1$, $I^{(n)}=(...

9
votes

2
answers

1k
views

### Do relatively prime polynomials $f$ and $g$ in $k[x,y]$ generate an ideal of finite codimension?

Let $k$ be a field and $f,g \in k[x,y]$ be two non-constant polynomials in two variables. Is it true that the following conditions are equivalent:
$f$ and $g$ are relatively prime in $k[x,y]$, in the ...

1
vote

1
answer

319
views

### Extension of the radical and radical of the extension of an ideal

If $A$ is a commutative ring, $I \subset A$ an ideal and $f:A \rightarrow B$ a ring homomorphism, then the extension of $I$, $I^e = \langle f(a): a \in I \rangle$ does not commute with the radical, I ...

2
votes

1
answer

219
views

### How can I prove this claim about splitting of prime ideals in real cyclotomic fields?

Let $L_k = \mathbb{Q}(\zeta_{2^k} + \zeta_{2^k}^{-1})$ be the maximal real subfield of the cyclotomic field of conductor $2^k, k \ge 2$ and $f_k(x)$ be the minimal polynomial of $\zeta_{2^k} + \zeta_{...

0
votes

0
answers

74
views

### Sufficient conditions for $b\not\in I^2$ given that $b\in I$

Let $I$ be an $R$-ideal in a commutative algebra $B$ over a commutative ring $R.$ Given $b\in I$ I want to prove that $b\not \in I^2$.
Are there any sufficient conditions for showing that $b\not\in I^...

1
vote

0
answers

85
views

### When do the kernels of module homomorphisms between rings whose kernels contain a given fixed ideal contain every prime ideal over it?

$\DeclareMathOperator{\Hom}{Hom}$All our rings are commutative with unity and, if necessary, we can suppose that they are actually polynomial rings over a field in finitely many variables where the ...

3
votes

1
answer

266
views

### Is the kernel of an action of a Hopf algebra on an algebra a biideal?

I think, this must be simple, but I am not a specialist in this field, so excuse me. I asked this a week ago at MSE, but without success.
S.Dascalescu, C.Nastasescu and S.Raianu define the action of a ...

5
votes

1
answer

467
views

### On the annihilator of a module

Question. Let $A$ be a Noetherian ring and $M$ a finitely generated $A$-module. Does there always exist an element $s\in M$ such
that $\mathrm{Ann}(s)=\mathrm{Ann}(M)$?
Remark. The annihilator of a ...

2
votes

0
answers

139
views

### Concatenation of two radical ideals is radical

Let $I = (f_1,f_2,\cdots, f_k) \subseteq \mathbb{C}[x_1,x_2,\cdots, x_m]$ and $J = (g_1,g_2,\cdots, g_r) \subseteq \mathbb{C}[y_1,y_2,\cdots, y_n]$ be radical ideals (we know that the $f_i$ and $g_j$ ...

4
votes

1
answer

219
views

### Is there a C*-algebra whose Pedersen ideal is not proper?

In [1, 5.6.3] Pedersen states without proof or reference that there are non-unital C*-algebras whose Pedersen
ideal is the whole algebra.
Does anyone know where can I find such an example?
Is it ...

3
votes

1
answer

423
views

### Prime ideals and localizations of the ring $\mathbb Z[\{\sqrt p: p \text{ prime}\}]$

I have been trying to study the prime ideals of the ring $R:=\mathbb Z [\{ \sqrt{p_n}\}_{n=1}^\infty]$, where $p_n$ denotes the $n$-th prime. This is how far I got: I could conclude, by means of the ...

3
votes

0
answers

172
views

### Quick proof of the first part of Kaplansky's Theorem on characterization of Noetherian domains with all maximal ideals principal

I have been reading section 12 of this paper "Elementary Divisors and Modules" by I. Kaplansky (https://www.ams.org/journals/tran/1949-066-02/S0002-9947-1949-0031470-3/S0002-9947-1949-...

2
votes

1
answer

473
views

### A question on a Macaulay2 computation

I have an ideal $I$ generated by quadratic and cubic homogeneous polynomials in $10$ variables.
Macaulay2 tells me that $I$ defines an irreducible variety $X$ of dimension $5$ and degree $10$ in $\...

5
votes

1
answer

482
views

### Is every 2-sided ideal in a C*-algebra hereditary?

If $A$ is a C*-algebra, we say that a subset $I\subseteq A$ is hereditary if
$$
0\leq x \leq y \in I \Rightarrow x\in I.
$$
It is is well known that closed 2-sided ideals are hereditary.
Would it ...