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?
...
- 101
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 ...
- 13
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 ...
- 2,715
-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 ...
- 2,715
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}(...
- 2,715
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]$,
...
- 2,715
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 $...
- 2,715
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[...
- 7,522
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 \...
- 325
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 ...
- 4,922
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
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 ...
- 211
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 ...
- 121
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})$? ...
- 21
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, ...
- 32.2k
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$-...
- 411
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\...
- 319
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}...
- 139
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\}...
- 43.6k
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$ ...
- 547
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$-...
- 2,108
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,108
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 ...
- 919
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) \...
- 73
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 ...
- 1,055
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 \;\&\; ...
- 629
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 ...
- 11k
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 ...
- 137
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,...
- 6,894
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 ...
- 32.2k
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 ...
user21167
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,055
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)}=(...
- 1,693
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 ...
- 113
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_{...
- 287
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,565
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 ...
- 573
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 ...
- 7,266
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 ...
- 193
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$ ...
- 173
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 ...
- 471
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 ...
- 709
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-...
- 709
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 $\...
user125056
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 ...
- 471