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
16 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
62 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
68 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
42 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
58 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 ...
7
votes
3answers
186 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 ...
3
votes
3answers
166 views

Maximal ideal in the ring of functions from $\mathbb{R} \to \mathbb{R}$

Well, the problem I'm trying to solve is this: Let $A$ be the ring of all continuous functions from $\mathbb{R} \to \mathbb{R}$. Show that $M = \{f \in A: f(0)=0\}$ is a maximal ideal of $A$. I ...
5
votes
2answers
205 views

Characterization of primary ideals in a principal ideal domain

On the commutative algebra wiki, a table of properties lists that "for a PID, the primary ideals coincide with the powers of prime ideals." I played around with it, couldn't produce a proof, ...
4
votes
1answer
293 views

A question on the symbolic powers of a prime ideal

In I. Swanson's notes about primary decomposition the author wrote: The smallest $P$-primary ideal containing $P^n$ is called the $n$th symbolic power of $P$, where $P$ here is a prime ideal of a ...
0
votes
0answers
38 views

$I_M=J_M$ for all $M \in \operatorname{Max}(R)$ implies $I=J$ [closed]

Let $R$ be a commutative ring with unity. Show that if $I_M=J_M$ for all $M \in\operatorname{Max}(R)$ then $I=J$.
3
votes
1answer
102 views

Isomorphism of initial ideals and quotient rings

I have a question related to this post. Suppose $I$ and $J$ are ideals in $R=k[x_1,\ldots,x_n]$ with $In(I)\cong In(J)$ where $In(I)$ is the ideal generated by the leading term of all those $f\in I$, ...
2
votes
1answer
70 views

Let I, J ideals. Are they equal?

Let $$I= \langle 11x^5y+7xy^6+9,8xy^4+6xy+9 \rangle$$ $$J= \langle 7x^5y^2+17x^2y^5+29,13xy^4+62xy^3+19 \rangle$$ ideals. Examine whether those two ideals are equal. By seeing their 3D plots I ...
4
votes
0answers
61 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
32 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 ...
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
56 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 ...
0
votes
0answers
109 views

Multiplicity of a module in a particular case

We define multiplicity of a module M of dimension $d>0$ as $$mult(M) := lc (P_M) (d-1)!$$ where $P_M$ denotes the Hilbert polynomial of M. Equivalently, we have $mult(M) = Q_M(1)$, where $HP_M (z) ...
1
vote
1answer
40 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 ...
0
votes
0answers
42 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 ...
2
votes
1answer
33 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
29 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
1answer
96 views

Exercise about 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 find ...
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 ...
0
votes
1answer
44 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 ...
1
vote
3answers
42 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 ...
2
votes
3answers
67 views

Find all ideals of $\mathbb R[x] / \langle x^2-3x+2\rangle$

Find all ideals of $\mathbb R[x] / \langle x^2-3x+2\rangle$. I know that $\langle f(x)\rangle \subseteq \langle x^2-3x+2\rangle$ iff $\langle f(x)\rangle$ divides $\langle x^2-3x+2\rangle$. But ...
5
votes
1answer
69 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, ...
0
votes
0answers
25 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
82 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
21 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
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: ...
1
vote
0answers
16 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'$, ...
0
votes
0answers
155 views

Is “P is a left primitive ideal” implies that there is a left maximal ideal…?

By definition, a primitive ideal $P$ exists if there is a simple $R$-module $S$ such that $Ann(S)$=$P$. I saw another statement as follows: "$P$ is a primitive ideal of a ring if there is a left ...
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
81 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
51 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 ...
3
votes
1answer
88 views

A monomial ideal, $I =\langle xy, xz, yz\rangle$, is radical

I need help in showing that $I =\langle xy, xz, yz\rangle$ is a radical ideal. Thanks
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 ...
0
votes
1answer
34 views

Multiplicative identity of a quotient ring

Let $R$ be a commutative ring such that $M$ is a maximal ideal of $R$. Then I know that $R/M$ is a field. But I am unable to understand what is the multiplicative identity of $R/M$? If $R$ has an ...
1
vote
1answer
58 views

Prove an ideal is maximal

Question Prove the ideal $\mathrm I=\{f \in \mathrm R| f(2)=0 \}$ of $\mathrm R=\{f(x) | f: \Bbb R \to \Bbb R $ is continue} is maximal. DO NOT use the $1$st isomorphism theorem. ...
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 ...
2
votes
2answers
39 views

Finding ideal representatives in the class group of $\mathbb{Q}(\zeta_{23})$

I know that $\mathbb{Q}(\zeta_{23})$ has class number 3, and I am wondering how I can find ideal representatives of the two nonprincipal classes in the class group. I have tried looking at examples ...
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
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 ...
1
vote
1answer
21 views

ideal,ring,flat module,modules over R

Is there a characterization of modules (AND equivalent characterizations of rings R) over integral domains R with the property that each left ideal in R is flat?When all left ideals are ...
2
votes
1answer
43 views

Prime radical that is nil but not nilpotent

Please help me to show that the prime radical of the ring $R=\prod\limits_{n = 1}^\infty { \mathbb{Z} /2^n\mathbb{Z} } $ is nil but not nilpotent.
3
votes
2answers
125 views

If for any two principal ideals one contains another, then for any two ideals one ideal contains another

Let $R$ be a commutative ring with identity. Assume that for any two principal ideals $Ra$ and $Rb$ we have either $Ra\subseteq Rb$ or $Rb\subseteq Ra$. Show that for any two ideals $I$ and $J$ in ...
6
votes
3answers
514 views

Does every prime ideal in a ring arise as kernel of a homomorphism into $\mathbb{Z}$?

Let $R$ be a commutative ring. Clearly the kernel of $h$ is a prime ideal whenever $h : R \rightarrow ...