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

2
votes
1answer
26 views

Is there a way to characterize the prime ideals in $\mathbb{R}[x_1,x_2, \dots , x_n]$?

I'm studying algebras which can be formed by the quotient of principal ideals in $\mathbb{R}[x_1, \dots , x_n]$, and thus would like to be able to determine which of said principle ideals are maximal, ...
0
votes
0answers
7 views

A modularity condition

Let $R\subseteq S$ be rings with unity and $X$ ,$Y$ be subsets of $S$ with $X$ an ideal. If $S=X+Y$ what conditions should be held to infer the equality $R=(X∩R)+(Y∩R)$? I think that if we ...
-2
votes
0answers
14 views

Prove that $M_p$ is a ideal of $\mathbb Z/(p)[x]$ and $\mathbb Z[x]/M$ is isomorphic to $\mathbb Z/(p)[x]/Mp$.

Let $M_p$ = $\gamma (M)$, the image of $M$ ($M$ is a maximal ideal of $\mathbb Z [x]$) in $(\mathbb Z/(p))[x]$, where $\gamma$: Z[x] --> Zp[x] is the morphism such that $\gamma (\sum_i a_ix^i)=\sum_i ...
0
votes
0answers
11 views

On the existence of primary decomposition.

The Lasker-Noether theorem gives us a sufficient condition for the existence of primary decomposition. Is there any theorem which gives a necessary and sufficient condition for the existence of ...
1
vote
1answer
16 views

Showing an Ideal is the ring

If A is an Ideal of a ring R and the unity 1 belongs to A, prove that A=R. It is a sufficient condition to show that $A\subseteq R$ and $R\subseteq A$. Indeed, it is trivial to see that ...
0
votes
0answers
18 views

Singular ideals and rings

In Lam's book, Corollary (7.4)(2) says that for a nonzero ring $R$ we have $Z(R_R)≠ R$, where $Z(R_R) $ stands for the singular ideal of $R$.. But, some nonzero commutative rings are "singular" in the ...
1
vote
1answer
25 views

Intersection of any set of ideals is an ideal

Prove that the intersection of any set of Ideals of a ring is an Ideal. I'm looking for hints. Let A, B both be Ideals of a ring R. Suppose $I \equiv A\cap B$. Since A and B are both Ideals of ...
0
votes
0answers
25 views

Proof Verification of Result Involving Maximal Ideals

In further investigation of a question I asked earlier, I came across the following result, the proof of which I hope can be looked over here. I personally find it kind of interesting and I hope ...
2
votes
1answer
26 views

Maximal (inclusion) ideal proof

Let $X$ be a set and $I$ its ideal. $I\neq \emptyset$ is ideal if $I\subseteq \mathcal{P}(X)$, so that for all $A,B\in \mathcal{P}(X)$ following holds $$(A\subseteq B \text{ and } B\in I)\Rightarrow ...
4
votes
2answers
40 views

Integrally Closed domain and Principal Ideal

Let $R$ be an integrally closed local domain. Suppose there is a $y\in I^n$ such that $yI^n=I^{2n}$ for some $n$. I would like to prove that $I^n=(y)$. Source: The above question comes from the ...
-1
votes
1answer
37 views

Prove that in a Euclidean domain nonzero prime ideals are maximal. [on hold]

It is from masters qualifying exam. I am an undergraduate student. I want to wonder this proof. Can you prove to explain clearly?
1
vote
1answer
85 views

$\mathbb{Z}[x]$ doesn't have principal maximal ideals [on hold]

Prove that $\mathbb{Z}[x]$ doesn't have principal maximal ideals. Please, I need help with this problem. Thanks!
4
votes
0answers
49 views

Maximal ideal containing functions with compact support

I recently proved the following statement: Let $M$ be a smooth manifold and let $I \subseteq C^\infty(M)$ be an ideal such that $C^\infty(M)/I \cong \mathbb{R}$ (such an ideal is clearly maximal, ...
1
vote
1answer
44 views

Existence of homogeneous non-unit non-zero divisor in a particular graded ring.

Let $R$ be a finitely generated $k$-algebra of dimension greater than $1$, let $Q$ be any maximal ideal of $R$. It is claimed by my lecturer that one can find a homogeneous, non-unit, non-zero divisor ...
0
votes
0answers
34 views

Ideal of a Lie Algebra

I was given this, I think unusual, definition of ideal of a Lie algebra: a subset $I$ of a Lie algebra $L$ is called an ideal if $[I,L]\subseteq I$. I was told from this follows that $I$ is a ...
1
vote
1answer
49 views

Easy explanation on primary decomposition of ideals. [duplicate]

The primary decomposition of an ideal $(x^2, xy)$ is $$(x^2, xy) = (x) \cap (x, y)^2$$ which can be found on these notes. Could someone explain to me how this can be done? Edited: My question ...
0
votes
0answers
26 views

Prove the Radical of an Ideal is an Ideal

I am given that $R$ is a commutative ring, $A$ is an ideal of $R$, and $N(A)=\{x\in R\,|\,x^n\in A$ for some $n\}$. I am studying with a group for our comprehensive exam and this problem has us stuck ...
0
votes
0answers
14 views

Simple Question about Valuations and Krull Rings

I have what is a very simple question about essential valuations for Krull rings. Before getting to the question, I'll give a sketch of the situation. Any help would be much appreciated. Suppose that ...
0
votes
1answer
41 views

Maximal ideals in a ring of sets

A ring $R$ is called Boolean if $x^2 = x$ for all $x \in R$. It follows that Boolean rings have characteristic $2$ and are commutative. Let $S$ be a non-empty set, then $P(S)$ with $A + B = (A - B) ...
-1
votes
1answer
59 views

Example of an ideal which is not principal in the ring $\mathbb{Z} [x]$ [duplicate]

Give an example of an ideal in the ring $\mathbb{Z} [x]$ is not principal. What kind of example would be the easiest?
1
vote
2answers
49 views

Extension of intersection of ideals

Let $f:A \rightarrow B$ be ring homomorphism and $\mathfrak{a}_1,\mathfrak{a_2}$ be ideals of $A$. Let $\mathfrak{a}^e$ denote the extension of an ideal $\mathfrak{a}$ of $A$ in $B$. An exercise shows ...
0
votes
1answer
39 views

Relationship between modules and maximal ideals of a commutative ring

Let $A$ be an integral domain, $M$ an $A$-module, and $m\in M$. Now for all maximal ideals $\mathfrak{m}$ there exists an $n\notin \mathfrak{m}$ such that $nm=0$. Why does this mean that $m=0$?
0
votes
0answers
20 views

Maximal ideal of subalgebra over a field [duplicate]

Let $A$ a finite $k$-algebra (with $k$ a field) and $B$ a subalgebra of $A$. Prove that if $\mathfrak{m}$ is a maximal ideal of $A$ then $\mathfrak{m}\cap B$ is a maximal ideal of $B$. It is easy ...
0
votes
0answers
24 views

A nilpotent Jacobson radical?

If each ideal of a commutative ring $R$ could be written as a sum of a nilpotent ideal $N$ and an idempotent ideal $I$, is the Jacobson radical $J(R)$ of $R$ necessarily nilpotent (or T-nilpotent)? ...
0
votes
1answer
33 views

Annihilator - Product of cyclic groups

Let $M$ be the abelian group, i.e., a $\mathbb{Z}$-module, $M=\mathbb{Z}_{24}\times\mathbb{Z}_{15}\times\mathbb{Z}_{50}$. I want to find the annihilator $\text{Ann}(M)$ in $\mathbb{Z}$. $$$$ ...
0
votes
1answer
30 views

Find a polynomial $g(x) \in \Bbb Q [x]$ such that $I = g(x) $

Find a polynomial $g(x) \in \Bbb Q [x]$ such that ideal $I = (g(x)) $, where $I = \{f(x) \in \mathbb Q[x] : f(\sqrt2) = 0\}$ $ I = \{f(x) \in \mathbb Q[x] : f(1-i) = f(1+i) = 0 \}$ For 1, I think ...
1
vote
1answer
49 views

localized at associated prime of an ideal [duplicate]

The problem is as follows: Let $I\subseteq J$ be ideals in a Noetherian ring. Show that if $I_{p}=J_{p}$ for every associated prime $p$ of $I$,then $I=J$. It seems reasonable to consider ...
3
votes
0answers
17 views

$R=\{ m+nr\sqrt{2} \mid m,n \in \Bbb Z \}$ and $I_{a,b}=\{ ma+n(b+r\sqrt{2}) \mid m,n \in \Bbb Z \}$

Let $r$ be a natural number and $R=\{ m+nr\sqrt{2} \mid m,n \in \Bbb Z \}$. We can show that $R$ is a subring of the ring $\Bbb Q [\sqrt{2}]$. My questions are as follows: $(1)$ Suppose that a ...
1
vote
1answer
21 views

Can a Nonzero Element in $\mathbb Z[\omega]$ be Divisible by Arbitrarily Large Powers of $1-\omega$.

Question. Let $p$ be a prime and $\omega$ be a primitive $p$-th root of unity. Let $a$ be a nonzero element of $\mathbb Z[\omega]$. Can it happen that for each $n\in \mathbb N$, $(1-\omega)^n$ ...
0
votes
1answer
23 views

Bases of free module of rank $2$

The following problem might be as simple as it looks. Let $R$ be an integral domain, $M$ a free $R$-module of rank $2$, and $\{m_{1},m_{2}\}$ a basis for $M$. Suppose that $$ x = ...
1
vote
1answer
29 views

A uniqueness theorem for primary decomposition

"Let $R$ be an arbitrary ring and $\mathfrak a$ an ideal of $R$ admitting an irredundant primary representation $\mathfrak a=\bigcap_{i}\mathfrak q_{i}$ and let $\mathfrak p_i=\sqrt{\mathfrak q_i}$. ...
1
vote
3answers
54 views

A conceptual question in ring theory?

What is the main(conceptual) difference between an ideal of a ring and a submodule over a ring?
2
votes
2answers
27 views

To show that $\langle x-a , y-b\rangle$ is a maximal ideal of $F[x,y]$ by showing that $F[x,y]/\langle x-a , y-b\rangle$ is a field

Is there any way to show that for $a,b \in F$ , the ideal $\langle x-a , y-b\rangle$ is maximal in $ F[x,y]$ , by showing that the quotient $F[x,y]/\langle x-a , y-b\rangle$ is a field ? Is the ...
3
votes
0answers
41 views

How else can I tell I can do this with $5$ but not $2$ or $3$ in $\textbf{Z}[\sqrt{30}]$?

In $\textbf{Z}[\sqrt{30}]$, the number $5$ splits, since, for example, $N(5 + \sqrt{30}) = -5$. But the ideal $\langle 5 \rangle$ is a ramifying ideal, since it is equal to $\langle 5, \sqrt{30} ...
0
votes
0answers
29 views

Buchberger algorithm and ideals

I'm working on Groebner bases using the book Ideals, Varieties and Algorithms. I'm interested in this problem : Let $\mathbb{Q}[x,y,z]$ with the graded lexicographic order with $x>y>z$. For ...
0
votes
2answers
39 views

Are the following two ideals equal? How to prove it, or show they are not?

$I= \langle x-y^2, x-y^3, x-y^4,... \rangle, $ and $J=\langle x-y^2, x-y^3\rangle$. Obviously $J \subset I$, but what about the reverse inclusion?
4
votes
1answer
47 views

Ideal of a product ring?

I am trying to prove whether or not the ideal generated by $\langle (2,2)\rangle$ is a prime ideal of $\mathbb Z_4\times \mathbb Z_4$? My issue is I'm not sure how to do the coordinate ...
1
vote
2answers
28 views

A commutative unital ring is a field iff its only ideals are $0$ and $R$ [closed]

A commutative ring $R$ with unity is a field if and only if its ideals are $0$ and $R$. How can I prove it?
2
votes
1answer
32 views

Example of associated ideal in primary decomposition

Let $I$ be a decomposable ideal of a commutative ring $R$ with minimal primary decomposition $I=\bigcap_{i=1}^n\mathfrak q_i$. The first uniqueness theorem shows that $\{\sqrt {\mathfrak q_i}:1\le ...
0
votes
1answer
62 views

How many ideals in a ring R turned into Z/nZ

Say I have a ring R, is there any general way to find out how many ideals it has? I know that if it's a field then there are only 2 ideals, namely (0) and (1), however what if the ring is not a field, ...
0
votes
1answer
31 views

Regarding taking powers of prime ideals in a ring

My question is simple to ask: given some prime ideal $P$ in a ring $R$, we can talk about $P^2, P^3$ etc. but can we discuss $P^0$? Is there a convention that says $P^0 = R$, or is there something ...
1
vote
1answer
53 views

Filling in Proof: Well-definedness of depth(I,M).

From Eisenbud's Commutative Algebra with A View Toward Algebraic Geometry (Theorem 17.4): Let $M$ be a finitely generated $R$-module, where $R$ is Noetherian. If $$r= \min \{i : H^i(M\otimes ...
1
vote
0answers
28 views

Prime and maximal ideal

If I have to show that ideal A is not maximal, is it enough to show that A is not prime because it is usually easier? Every maximal ideal is prime so if we have ideal that is not prime, it can not be ...
0
votes
0answers
32 views

Some ideal property in a local ring

If we change the ideal $$(X_1,X_2^2-X_1,...,X^2_{n+1}-X_n,...)$$ to $$(X_1^2,X_2^2-X_1,...,X^2_{n+1}-X_n,...)$$ in this problem, what is the answer to the raised question? Again, the new local ...
0
votes
1answer
20 views

Ideal generated by given integers verification.

The question reads: Find the positive generator of the smallest ideal in $\mathbf Z$ containing the following ideals: a. $(4)$ and $(18)$. My answer is $(m)=(4)$. b. $(6)$ and $(35)$. My ...
-1
votes
2answers
39 views

If I and J are isomorphic ideals of a ring R, does it follow that $R/I \simeq R/J$?

The title pretty much sums it up. We know that $R/I \simeq R/J$ does not necessarily imply $ I \simeq J$. But does the converse hold? I can't find any counterexample and all my efforts in proving it ...
1
vote
1answer
38 views

Show that $(a) + (b)= R$ for $\gcd(a,b) = 1$

The question I am trying to solve it: Let $R$ be a principal ideal domain, $a,b\in R$. Suppose $\gcd(a,b) = 1$. Show that $(a)+(b)=R$. First I have tried to show that $(a)+(b)$ is in R: ...
2
votes
1answer
19 views

Upper Nilradical of a Ring

If we define the upper nilradical of a ring as the sum of all nil ideals of the ring, how could we deduce from just this definition that this is a nil ideal? Thanks!
1
vote
2answers
18 views

Providing non trivial module morphisms

I'm starting to study modules, and I would like to get some counterexamples to naive ideas one has in the first approach to the subject. Does there exist an ideal I in A and a morphism $f:I ...
0
votes
1answer
38 views

Having difficulties showing this map is well defined?

Say $J$ is an ideal of $K[Y_1,...,Y_m]$ and $I$ of $K[X_1,...,X_n]$. Then $\phi:K[Y_1,...,Y_m]/J \to K[X_1,...,X_n]/I$ defined by $Y_i \mapsto f_i, i\in\{1, \dots ,m\}$ is well defined $\iff$ $J=(g_1, ...