An ideal is a subset of ring such that it is possible to make a quotient ring with respect to this subset. This is the most frequent use of the name ideal, but it is used in other areas of mathematics too: ideals in set theory and order theory (which are closely related), ideals in semigroups, ...

learn more… | top users | synonyms

0
votes
0answers
20 views

Gröbner basis, Buchberger algorithm, ideal and ring [on hold]

I major in electrical engineering and for my thesis I'm dealing with a paper about three view triangulation http://link.springer.com/chapter/10.1007%2F978-3-540-76390-1_54#page-1 I'm not familiar with ...
0
votes
0answers
17 views

a question on equivalence classes of balanced fractional ideals and Dedekind domain

Let $R$ be a commutative ring, and let $K=R\otimes \mathbb{Q}$. Def.1) We say that a pair of fractional ideals $(I, I')$ in $K$ is balanced if $II'\subseteq R$ and $N(I)N(I')=1$. Def.2) Two ...
2
votes
1answer
39 views

Preimage of maximal ideal is maximal [duplicate]

I've just started a commutative algebra course and I'm stuck on the very first homework problem: Let $A \not= \{0\}$ be a commutative ring. Let $\Phi : A \longrightarrow B$ be a ring homomorphism ...
1
vote
1answer
49 views

Intersection of two polynomial ideals

In the 4-dimensional affine space $\mathbb{A}^4$ with coordinates $x,y,z,t$, consider $X$ as the union of the planes $$ X'=\{x=y=0\} $$ and $$ X''=\{z=x-t=0\} $$ (I'm working on a algebraically ...
-1
votes
2answers
114 views

Show that every maximal ideal in $ \mathbb{Z}[x, y] $ contains a prime number [on hold]

Let $\mathfrak{M} \subseteq \mathbb{Z}[x, y]$ be a maximal ideal. Show that $ \exists\ p \in \mathbb{Z}$, $p$ prime such $p \in \mathfrak{M}.$ Thanks for the answers. I'd be interested in a proof ...
0
votes
1answer
26 views

Let $I=(2,X)$ and $J=(3,X)$ be ideals of $\mathbb{Z}[X]$. Prove $V=\{i \cdot j : i \in I, j \in J\}$ is not an ideal. [on hold]

Let $I=(2,X)$ and $J=(3,X)$ be ideals of $\mathbb{Z}[X]$. Prove $V=\{i \cdot j : i \in I, j \in J\}$ is not an ideal. Possible strategy: find $v_1,v_2 \in V$ such that $v_1+v_2 \notin V$.
0
votes
0answers
39 views

An error in the book “noncommutative ring” writed by Herstein

I'm reading the book "noncommutative ring" writed by Herstein. In the page 15, the author says that Let $F$ be a field and $A$ is an algebra over $F$. Let $\rho$ be a maximal regular right ideal ...
1
vote
1answer
48 views

Find all the ideals of $\mathbb Q[X]$

I am trying to find all the ideals of the ring $\mathbb Q[X]$. If $I$ is a non trivial ideal of $\mathbb Q[X]$, then there exists $p(x) \in \mathbb Q[X]$. Since $I$ is an ideal and a group under ...
2
votes
2answers
68 views

Are ideals necessarily definable?

Consider the first-order language of rings. Let $R$ be a ring and $I \subseteq R$ be an ideal. Is $I$ necessarily $\emptyset$-definable? If not, what if we allow parameters from $R$?
1
vote
1answer
31 views

Left ideals of $M_n(K)$ [duplicate]

Let $K$ be a field and $n \in \mathbb N$. Show the following (i) Let $V \subset K^n$ be a subspace and $I_V$ the subset of $M_n(K)$ consisting of all the matrices whose rows belong to $V$. Prove that ...
2
votes
1answer
29 views

Equality of ideals and their vareties.

Let $I_1 $,$I_2 $ $\in \mathbb{C}[x_1,x_2,...,x_n] $ be two polynomial ideals. If their affine varieties, $\mathbb{V}(I_1)=\mathbb{V}(I_2)$ are equal then is $I_1=I_2$ always?
1
vote
1answer
73 views

non-principal height one primes of a particular hypersurface

I was reading about divisor class groups, and I was wondering the following. Let $R=\mathbb{C}[X,Y,Z,W]/(XZ-YW)$, and let $x,y,z,w$ be the images of $X,Y,Z,W$ in $R$, respectively. Is there a way ...
0
votes
1answer
36 views

Problem on the number of generators

I have got stuck with two generator problems: The ideal $(zx,xy,yz)$ can't be generated by $2$ elements The ideal $(xz-y^2,yz-x^3,z^2-xy)$ can't be generated by $2$ elements Here the ...
2
votes
4answers
165 views

A finitely dimensional algebra over a field has only finitely many prime ideals all of them are maximal

Let $K$ be a field and let $R$ be a $K$-algebra with unity which is finite dimensional as a $K$-vector space. Prove that $R$ has only finitely many prime ideals all of which are maximal. (Hint: ...
1
vote
1answer
38 views

Product of two non-principal ideals

I have problems understanding why $$(6,2+\sqrt{-56})(6,-2+\sqrt{-56})=6(2,\sqrt{-56})$$ in $\mathbb{Z}[\sqrt{-14}]$. By definition the product of two ideals $$IJ=\sum_{i,j}^{k}f_{i}g_{j}$$ ...
2
votes
1answer
81 views

Analogy of ideals with Normal subgroups in groups.

I've started with Ideals in ring theory but still not comfortable with the analogy it has with normal subgroups in group theory.Like we can visualize normal subgroups as Is there some good intutive ...
3
votes
1answer
75 views

Are there any commutative rings in which no nonzero prime ideal is finitely generated?

Are there any commutative rings in which no nonzero prime ideal is finitely generated? I feel like the example (or proof of impossibility) ought to be obvious, but I'm not seeing it.
0
votes
0answers
17 views

Size of a subset of the set of units of a quotient ring

Let $R$ be a commutative Dedekind domain with multiplicative identity $1$, let $k$ be a positive integer, and let $I$ be a nonzero proper prime ideal of $R$. Is there a way to find the size of the set ...
1
vote
2answers
64 views

Find a generator for an ideal in $\mathbb{Q}[T]$

Let $I$ be the ideal in $\mathbb{Q}[T]$ generated by $L=\{T^{2}-1, T^3-T^2+T-1,T^4-T^3+T-1\}$. Find $f\in\mathbb{Q}[T]$ such as $(f)=f\mathbb{Q}[T]=I$. The book solution proves that $I\subseteq ...
1
vote
1answer
78 views

Ideal generated by a regular sequence

I need to prove that the ideal $$ I = (xz -y^2, x^2t^2 -yz^3, x^2yt^2 -xz^4) \subset R = \mathbb{K}[x,y,z,t]$$ is generated by a $R$-regular sequence. How can I do it? I don't know if this can ...
4
votes
1answer
45 views

Does there exist an ideal in $\mathbb{Z}_4[x]$ which is prime but not maximal?

Question: Does there exist an ideal in $\mathbb{Z}_4[x]$ which is prime but not maximal? Thoughts: It seems to me that the ideal $(x)$ fails to be a prime ideal since $0 \in (x)= 2 * 2$ with $2 ...
1
vote
3answers
59 views

Prove that $I$ is a maximal ideal of $\mathcal A$. [duplicate]

Please, give-me a hint to prove this proposition: Let $\mathcal A$ be the ring of all continuous real functions (with the usual operations of sum and multiplication) defined on the interval ...
4
votes
0answers
72 views

Functorial approach to Ideals and Quotients, Multiplicative Sets and Localizations

I have been playing with substructures of commutative rings today and noticed that there is a strong analogy between the formation of quotients and kernels with the formation of localizations with ...
1
vote
1answer
33 views

Ideal quotient and extension

Let $R$ be a commutative ring and $S$ a subring of $R$. If $I$ is an ideal of $S$ define $I^e$ as the ideal in $R$ generated by $I$, i.e. the extension of $I$ in $R$. If $I,J$ are ideals in $S$, we ...
7
votes
3answers
205 views

In $\mathbb{Z}/(n)$, does $(a) = (b)$ imply that $a$ and $b$ are associates?

[Update: Based on the hints provided by @zcn and @whacka, I believe I have found a solution. See my answer below.] Below, $R$ is a commutative ring with $1$. In John J. Watkins' Topics in ...
0
votes
2answers
48 views

Preimages of coprime ideals

Assume $R,S$ are commutative rings, $f:R\to S$ is a surjective ring homomorphism and $I,J$ are coprime ideals in $S$. Must $f^{-1}(I)$ and $f^{-1}(J)$ be coprime in $R$?
1
vote
1answer
30 views

When a given ideal is a radical ideal

I am wondering if there are any canonical methods for checking whether a given ideal is radical. For example, I got stuck on the following example: Let $f=x+2y-z$ and $g=z-2w$ and let $I$ and $J$ be ...
1
vote
1answer
58 views

Characterizing maximal ideals in $\mathbb{Z}[x]$

I need to prove this: Let $I\subset\mathbb{Z}$ be the ideal generated by $\{p,f(x)\}$, with $p$ prime in $\mathbb{Z}$. Then $I$ is maximal iff $f(x)$ is irreducible modulo $p$. So I was trying to ...
1
vote
1answer
43 views

Characterizing Prime and Maximal Ideals in a nice Ring

Consider the "nice" ring $(\mathbb{Z}/20\mathbb{Z})[x]$ and I am trying to list all the prime and maximal ideals of this. The reason I call this a nice (or manageable) ring is because we ...
2
votes
1answer
37 views

Show that the trace class operators on a Hilbert space form an ideal

Let $(H, (\cdot, \cdot))$ be a separable Hilbert space over $\mathbb{L} = \mathbb{R}$ or $\mathbb{C}$. Suppose that $\{\phi_n\}_{n=1}^\infty$ is an orthonormal basis for $H$. Let $\mathcal{B}(H)$ ...
2
votes
2answers
30 views

Nil radical of an ideal on a commutative ring

This is a problem of an exercise list: Let $J$ be an ideal of a commutative ring A. Show that $N(N(J))=N(J)$, where $N(J)=\{a \in A; a^n \in J$ for some $n \in \mathbb{N}\}$. What I did: ...
0
votes
0answers
44 views

Polynomial Ideals and Transverse modules

I have a given ideal and I want to find the "smallest" ideal so that when I add it to the original one, I get another certain ideal. Let $\mathcal{E}$ be the ring of smooth function germs ...
1
vote
1answer
120 views

Writing $I= (xz-y^2, yt- z^2)$ as an intersection of prime ideals

I need to write the ideal $I= (xz-y^2, yt- z^2) \subset R = \mathbb{K}[x,y,z,t]$ as intersection of prime ideals. Any idea? For the moment, I've noticed that $I$ is radical, then it suffices to ...
0
votes
1answer
52 views

Irreducible ideals are prime in polynomial rings

Let $k$ be an algebraically closed field and $R$ the polynomial ring in $n$ variables over $k$. If $J$ is an irreducible ideal of $R$ then it is a prime ideal as well. To establish this statement ...
2
votes
1answer
44 views

An easy looking quotient of a local ring

$k$ is a number field, $R$ its ring of integers and $\mathfrak p$ a nonzero prime ideal of $R$. Let $R_\mathfrak p$ be the localization of $R$ at $\mathfrak p$. Is it true that $R_\mathfrak ...
1
vote
3answers
52 views

why is maximal ideal of a ring of integers generated by a single prime number?

I cannot understand why maximal ideal in a ring of integers is generated by a single prime number. For example, if we choose 2 and 3 as generators of ideal, then all multiples of 2 and 3 will be in ...
0
votes
0answers
26 views

For the ring of natural numbers, what happens if we convert all $k>1$th power of prime numbers to be zero?

So there is a ring of natural numbers. Now someone decides to make all $k>1$th power of prime numbers to be zero. So $2^2 = 2^3 = 2^4 = ... = 3^2 = 3^3 = ... = 0$. Or we can say that these elements ...
1
vote
3answers
84 views

What exactly is a maximal ideal?

I am confused about the definition of maximal ideal. Suppose that there is ring $R$. Now if we select the whole $R$ to be an ideal, then wouldn't this be maximal ideal? Or is the definition of maximal ...
0
votes
1answer
22 views

Image of a Prime ideals in quotient ring

I am having confusion regarding the relationship between the prime ideals of a Ring and a certain quotient of a Ring. Let A be a commutative ring with identity, and a an ideal of A. Clearing there is ...
2
votes
2answers
43 views

Is the ideal $(2,x^4+x^2+1)<\mathbb{Z}[x]$ maximal?, principal?

I'm trying to solve the following problem: Let I=$(2,x^4+x^2+1)<\mathbb{Z}[x]$ be an ideal. Is $I$ maximal? Is $I$ principal? Any help would be appreciated.
2
votes
0answers
19 views

Prove that $\mathfrak{p}$ is totally split in $L/K$ and $L'/K$ $\Rightarrow$ totaly split in $LL'/K$

Assume that $K$ be a number field and $L/K$, $L'/K$ are two separable extensions. Now let $\mathfrak{p}$ be a prime ideal of $\mathcal{O}_K$. Then if $\mathfrak{p}$ is totally split ind $L$ and $L'$, ...
5
votes
1answer
70 views

$(x,y)$-primary ideals

I want to find all ideals $I$ in $\mathbf{C}[x,y]$ with $\sqrt{I}=(x,y)$ and $\dim_{\mathbf{C}}\mathbf{C}[x,y]/I=2$. I have no clue how to about it, I mean I can write down some examples, ...
2
votes
2answers
40 views

For which values of $a\in\mathbb ℤ/3\mathbb ℤ$ is the quotient $\mathbb ℤ/3\mathbb ℤ[x]/(x^3+x^2+ax+1)$ a field?

I'm trying to solve the following problem: Determine for which values of $a\in\mathbb{Z}/3\mathbb{Z}$ the quotient $Q_a=(\mathbb{Z}/3\mathbb{Z})[x]/(x^3+x^2+ax+1)$ is a field. I see two options: ...
2
votes
3answers
125 views

Isomorphic quotient of a module over Noetherian commutative ring

I have a nice solution to the following problem and I thought of writing a paper about it but beforehand, I wanted to ask the problem here to see if this is an easy problem and if you people can solve ...
2
votes
2answers
85 views

Finding a maximal ideal and a prime ideal in $\mathbb Z_8[x]$

$1.$ Find a maximal ideal and a prime ideal in $\mathbb Z_8[x]$ Attempt: Finding a maximal ideal, I am not sure how do I go about it. $\mathbb Z_8[x]$ is not a $PID$, so there's no use finding ...
7
votes
1answer
52 views

An extension of an algebraic number field which makes an integral ideal $I$, a principal ideal

I want to show that, given an ideal $I \subseteq \mathcal O_K$ (where $K/\mathbb Q$ is an algebraic number field), there is a finite extension $K'/K$ such that, $I\mathcal O_{K'}$ becomes a principal ...
0
votes
1answer
36 views

Does the relation $\pi(S_{i})=S^{-1}R-P_{i}\cdot S^{-1}R$ hold for prime ideals $P_i$ in a commutative ring $R$?

Let $R$ be a commutative ring. Let $P_{i}$, $1\leq i\leq n$ be prime ideals none of which are contained in each other. Let $S=R-(\cup_{i=1}^{n} P_{i})$. Then $S$ is a multiplicatively closed set and ...
2
votes
3answers
49 views

Example of ring $R$ with ideals $I\neq J$ such that $R/I \cong R/J$ as modules

It's easy to prove that if $I$, $J$ are two-sided ideals and $R/I\cong R/J$ as modules over $R$, then $I=J$. What about left ideals? Is there a simple counterexample? I believe I've found an answer, ...
1
vote
1answer
23 views

Equivalent definitions of fractional ideals

Let $R$ be an integral domain and $K$ its field of fractions. The usual definition of fractional ideal $I$ ($I$ is an $R$-submodule of $K$) is that for some nonzero $r\in R$ we have $rI\subset R$, and ...
1
vote
1answer
33 views

Lie ideals of $gl_n(K)$

I am looking for some reference where I can find a detailed study of the Lie ideals of the general linear Lie algebra $gl_n(K)$ with the bracket $[A,B]=AB-BA$, where $K$ is a field (if there are ...