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
0answers
22 views

Algebra A over a field F contains no non-trivial left F-ideals if and only if A contains no non-trivial right F-ideals [on hold]

Algebra $A$ over a field $F$ contains no non-trivial left $F$-ideals if and only if $A$ contains no non-trivial right $F$-ideals. Why this fact is true? Or is it true? I think it's easy thing, ...
1
vote
0answers
39 views

How to solve this algebra problem?

Let $e$ be the idempotent element of the ring R. If $\langle e\rangle$ is the principal ideal generated with $e$, show that $R\simeq\langle e\rangle\times A(\{e\})$. I think $A$ s ring which contains ...
0
votes
3answers
30 views

I need help to solve this problem

Let $R$ be a subring of a field $F$ such that for each $x \in F$ either $x\in R$ or $x^{-1} \in R$. Prove that if $I$ and $J$ are two ideals of $R$, then either $I \subseteq J$ or $J \subseteq I$.
2
votes
1answer
33 views

Prove that $(2)$ is a prime ideal in $\mathbb Z[w]$

Let $w\in\mathbb C$ be such that $w^3=1$ and $w\neq1$. Prove that $(2)$ is a prime ideal in $\mathbb Z[w]$, and describe $\mathbb Z[w]/(2)$. What I wanted to do is to show that $\mathbb Z[w]$ is a ...
3
votes
1answer
40 views

What happens if we change the definition of quotient ring to the one that does not have ideal restriction?

From Wikipedia: Given a ring R and a two-sided ideal I in R, we may define an equivalence relation ~ on R as follows: a ~ b if and only if a − b is in I. ...
1
vote
0answers
22 views

what happens if we adjoin elements in a ring not by ideals and quotient ring? [on hold]

We often adjoin elements in a ring by using ideals which results in a quotient ring. What happens if we adjoin elements that cannot use ideals method? What is the general property of the resulting ...
4
votes
2answers
45 views

Why is $I$ often an ideal in quotient ring $A/I$?

When talking about quotient ring $A/I$, where $A$ is a ring, $I$ is often assumed to be an ideal. Why is this so? What makes ideals very important when discussing quotient ring?
1
vote
2answers
18 views

Showing the inverse map of a ring homomorphism of a prime ideal is again a prime ideal

Let $\phi : A \rightarrow B$ be a ring homomorphism and $I$ be a prime ideal of $B$. (i) Show that $\phi^{-1}(I)$ is a prime ideal of $A$, and (ii) find an example of $A$, $B$ and $I$ so that ...
1
vote
0answers
17 views

Direct sum of ideals over Dedekind domain [duplicate]

I'm trying to show that Let $\frak{a},\frak{b}$ be two ideals of a Dedekind domain $\cal{O}$. Show that there is an isomorphism \begin{equation*} ...
1
vote
1answer
38 views

For a commutative ring $R$, why does $1-ab$ being a non-unit leads to $1-ab \in M$ for some maximal ideal $M$?

Suppose there is a commutative ring $R$, without any restriction. Now suppose $a,b \in R$. If $1-ab$ is a non-unit, why is there at least one maximal ideal $M$ that $1-ab \in M$?
2
votes
1answer
35 views

Nullstellensatz: If $V(f)=V(g)$ we have that $Rad \langle f \rangle =Rad \langle g \rangle$

In my lecture notes I have the following: From the Nullstellensatz (NSS for short) we have the following: $$\text{ If } V(f)=V(g) \Rightarrow V(Rad(\langle f \rangle ))=V(Rad \langle g \rangle ) ...
1
vote
1answer
49 views

Sum of ideals-Intersection of algebraic sets

In my lecture notes I have the following: $$ \begin{array}{ccl} \text{Sum of ideals} & & \text{Intersection of algebraic sets} \\[4pt] I+J & \longrightarrow & V(I+J)=V(I)\cap V(J) \\ ...
2
votes
1answer
38 views

Flatness and intersection of ideals

This is Liu 1.2.6 a Let $B$ be a flat $A$-algebra. Show that for any finite family $\{I_\lambda\}_{\lambda\in \Lambda}$ of ideals of $A$, we have $\cap_{\lambda\in\Lambda}(I_\lambda ...
-4
votes
2answers
39 views

Conditions on ideal b for fields or integral domains

Let $A$ be a ring and $b$ be an ideal of $A$. Prove that 1. $A/b$ is a field $\iff b$ is maximal 2. $A/b$ is an integral domain $\iff b$ is prime I figure that the first is derived from the fact ...
0
votes
1answer
27 views

The intersection of a and b is a superset of the product when a and b are ideals

Let a and b be ideals of a ring A. Define $$ab=\left\{{\sum_{j=1}^{n} a_jb_j|a_j\in a,b_j \in b,n \in \mathbb{N}}\right\}$$ Prove that $ab$ and $a\cap b$ are ideals of A, and that $a\cap b \supseteq ...
1
vote
0answers
19 views

Ideals of the quotient ring of A [duplicate]

Let A be a ring and b be an ideal of A. The quotient ring of A by b, denoted A/b is the ring of all equivalence classes A + b. Prove that the assignment $$c → c/b$$ induces a one-to-one ...
0
votes
0answers
26 views

If $I=\langle 12 \rangle$, then $Rad(I)=\langle 6\rangle$

To show that if $I=\langle 12 \rangle$, then $Rad(I)=\langle 6\rangle$, I did the following: $$36=3 \cdot 12 \\ 6^2=36 \in I \Rightarrow 6 \in Rad(I) \Rightarrow \langle 6 \rangle \subseteq Rad(I)$$ ...
1
vote
0answers
48 views

How to check if a polynomial is inside an ideal using a Groebner basis

I'm given that an ideal $I=\langle F_1, F_2, F_3, F_4, F_5, F_6, F_7\rangle$ $F_1=a+b+c-d-e-f$ $F_2=a+b+c-g-h-i$ $F_3=a+b+c-g-e-c$ $F_4=a+b+c-a-e-i$ $F_5=a+d+g-a-e-i$ $F_6=a+d+g-c-f-i$ ...
2
votes
2answers
55 views

Bijection between sets of ideals

Let $A$ be a ring and $\mathfrak{b}$ be an ideal of $A$. Prove that the assignment $$\mathfrak{c} \mapsto \mathfrak{c}/\mathfrak{b}$$ induces a one-to-one correspondence between the ideals of ...
2
votes
1answer
45 views

$M$ is maximal, $P$ is prime but not maximal [closed]

If $R$ is commutative with $1 \in R$, then each maximal ideal of $R$ is also a prime. The reverse doesn't hold. For example, $R=K[x, y], P=\langle x \rangle, M=\langle x, y\rangle$. Then ...
2
votes
1answer
46 views

Showing that for every monomial $x^u\in\operatorname{in}_{<}(I)$, there exists $f\in I$ s.t. $\operatorname{in}_<(f)=x^u$

Given an ideal $I\subset R=K[x_1, ...,x_n]$ and let $<$ be a term order on the ring $R$. I must show that $\forall x^u\in\operatorname{in}_<(I)$, $\exists f\in I$ s.t. ...
2
votes
1answer
63 views

Maximal ideals of $R[x_1,\ldots,x_n]$ that is $R$ is a commutative rings with identity

Let $R$ be a commutative ring with identity and $R[x_1,\ldots,x_n]$ a polynomial ring over $R$. What are maximal ideals in $R[x_1,\ldots,x_n]$? How are, if $R$ is a Hilbert ring (Jacobson ring)?
2
votes
1answer
41 views

Polynomial ring, prime ideal, factor ring

I want to prove that this ideal: $I=(y^3-xz, xy^2-z^2, x^2-yz)$ is prime in $K[x,y,z]$. I think it would be a good idea to prove that the factor ring $K[x,y,z]/I$ has no zero divisors. In this factor ...
0
votes
1answer
48 views

The monomials not inside $in_<(I)$ form a K-basis inside the Quotient ring

Given the quotient ring $T/I$, where $T=K[x_1,...,x_n]$ is a polynomial ring and $I$ is an ideal. I need to show that for any monomial $x^u:=x_1^{u_1}*...*x_n^{u_n}$, if the monomial is not inside ...
0
votes
1answer
48 views

Proving that S/I is a vector space

I'm given a polynomial ring $S=K[x_1,...,x_n]$ and $I$ is an ideal of $S$. I'm working on proving that the quotient ring $S/I$ is a vector spake over $K$. Since S is a ring, we already have some of ...
1
vote
1answer
79 views

Is the mentioned basis a Gröbner basis?

It's mentioned into my notes that if the ideal given as $I=\langle x+y+z, 3x-2y\rangle$, then $\{x+y+z, 5y+3z\}$ is a Gröbner basis for the ideal. I can see how $I=\langle x+y+z, 3x-2y\rangle=\langle ...
-1
votes
1answer
29 views

fraction field of polynomial ring that is a finite extension of the base field

Let $k$ be a field. Let $P$ be a prime ideal of $k[x_1, ..., x_n]$. Let $K$ be a field of fractions of $k[x_1, ..., x_n]/P$. Suppose $K$ is a finite extension of $k$. Does it then follow that $P$ is ...
1
vote
1answer
22 views

$I+J=R$ and $r+s=1, r\in I,s\in J$ then $sx+ry\in IJ\Rightarrow x\in I$ and $y\in J$

Let $R$ be a commutative ring with unity. $I+J=R$ with $I,J$ Ideals and $r+s=1, r\in I,s\in J$ then $sx+ry\in IJ\Rightarrow x\in I$ and $y\in J$. It should be very obvious. How can I conclude that ...
2
votes
1answer
46 views

Correspondence principle applied to ideals of a quotient ring.

Let $I$ be an ideal of $R$. Prove that the ideals of $R/I$ are precisely of the form $J/I$ with $I \subseteq J$ and $J$ is an ideal of $R$. Can someone give me some hint on how to solve this problem? ...
1
vote
0answers
94 views

Prove that factor modules are isomorphic.

I'm trying to prove (from a previous post) that if $A=k[x,y,z]$ and $I=(x,y)(x,z)$ then $((x,y)/I)/((x,yz)/I) \cong A/(x,z)$. I did this by defining the homomorphism $\phi: A \to ...
0
votes
1answer
69 views

Prime ideals of infinite depth in Noetherian rings

I'm struggling with the definition of depth of prime ideals given in Atiyah's book: The depth of a prime ideal $p$ is longest strictly increasing chain of prime ideals starting at $p$. Clearly ...
0
votes
1answer
45 views

An exercise about field automorphisms and ideals.

Consider a field $K$ and the $K$-algebra $K[x_1,\ldots,x_n]$ of polynomials in $n$ variables; $\mathfrak a$ is an ideal of $K[x_1,\ldots,x_n]$ and suppose that there exists a field $L\subseteq K$ ...
2
votes
1answer
28 views

Finding a maximal ideal in the set of continuous real-valued functions on $\mathbb{R}$ [duplicate]

Let $X$ be the set of all continuous and real-valued functions on $\mathbb{R}$. X is a commutative ring with pointwise addition and multiplication. Let $\alpha \in \mathbb{R}$ be arbitrary. ...
2
votes
3answers
44 views

Proof that an ideal $M$ is maximal iff $R/M$ is a field

I am referencing the proof located at http://www.maths.nuigalway.ie/MA416/section3-4.pdf, Theorem 3.4.2. I am only looking at the right to left direction. I understand the following: Let $a \in I, a ...
0
votes
1answer
31 views

Finding a polynomial that generates an ideal of a polynomial ring

Let $a,b \in \mathbb{R}[x], a = x^5 - x^3 + 2x^2 - x, b = x^5 - x^4 - 8x + 5$. Let $I$ be the ideal in $\mathbb{R}[x]$ generated by a and b. Find a polynomial $p$, with $p \in \mathbb{R}[x]$ and $I ...
3
votes
2answers
58 views

In $\Bbb Z$, what element generates the ideal $(4,7)$?

I have a really silly question. $\mathbb{Z},+,\cdot$ is a HID, so all ideals are principal ideals. Now, $(4,7)$ is an ideal in $\mathbb{Z}$, so it must be a principal ideal, but which element is its ...
0
votes
3answers
35 views

$R$ local ring, $I$ maximal ideal then $x\notin I$ implies $x$ unit

Let $R$ be a conmutative local ring, $I$ its maximal ideal. I want to prove that $x\notin I$ implies $x$ unit. So far I have: Let $x\notin I$, I consider $x+I\in A/I$, which is a field (because $I$ ...
1
vote
1answer
47 views

$I = (x^2, y^2) ⊂ K[x, y]$; $gin\ (I)=?$

an easy Google search give a lot of results about the definition of generic initial ideal. But all definitions I see, are like this one: I can't use this definition to compute gin(I) even in simple ...
0
votes
0answers
13 views

About fractional ideals in dedekind domain

Suppose $I$ and $J$ are two nonzero fractional ideals in the Dedekind domain $R$ and that $I^n = J^n$ for some $n\neq0$ . Prove that $I = J$. We have known every fractional ideal is invertible in ...
3
votes
3answers
101 views

How many elements does $\mathbb Z_7[i]/\langle i+1\rangle$ have?

How many elements have $\mathbb Z_7[i]/\langle i+1\rangle$ ? Elements of $Z_7[i]$ are of the form $a+bi$ $i+1$ is considered as zero in the quotient; $i+1=0\iff i=-1\iff -1=i^2=1$ does it not ...
2
votes
1answer
32 views

What's wrong with this proof that all UFDs are Bezout?

First, some context. I am working with Dummit and Foote's Abstract Algebra, 2nd edition. I stumbled upon this while working on Section 8.3 Exercise 11, which is to prove that all Bezout UFDs are PIDs. ...
0
votes
0answers
25 views

betti-numbers of Gin(I), generic initial ideal of $I$

here in the paper Ideals with Stable Betti Numbers there is a theorem that I can't uderstand it, both in details (which highlighted) and sketch of the proof of (b): can you help please?
1
vote
1answer
23 views

Standard name for ideals generated by a subset of indeterminates?

I have been working on a problem in the polynomial ring $k[x_1,\ldots,x_n]$, where I've been dealing with ideals generated by subsets of the indeterminates, i.e., ideals of the form $$\langle x_i\mid ...
2
votes
0answers
37 views

Generalisation of chinese remainder theorem on ideals of ring without 1

Let $I_1,\dots,I_n$ be (two-sided) ideals of a ring $R$ (not necessarily with 1), which are pairwise co-maximal, i.e. $\forall i\ne j\in \mathbb{Z}_{[1,n]}$, $I_i+I_j=R$. Let $f:R\to R/I_1\times ...
3
votes
1answer
39 views

Krull dimension of the quotient by a single element

Let $(R,m)$ be a Noetherian local ring and let $M$ be a finitely generated $R$-module of dimension $d$. The Krull dimension of $M$ is defined to be the Krull dimension of $R/\operatorname{ann}(M)$. ...
0
votes
1answer
16 views

Relation between lattice theorem in groups and in rings

I was studying my abstract algebra notes, and couldn't help but notice a striking similarity between the following two statements: Let $G$ be a group, and $H\triangleleft G$. The canonical ...
3
votes
1answer
88 views

If $J$ is the ideal generated by all idempotents in a prime ideal, then $R/J$ has only trivial idempotents

Let $R$ be a commutative ring with identity, $P$ be a prime ideal in $R$ and define $$X := \lbrace t \in P \mid t^2=t \rbrace. $$ Also let $J$ denote the smallest ideal of $R$ that contains $X$. ...
0
votes
2answers
36 views

How can the only maximal ideal of $C[x] / X^2$ be $(X)$?

In my notes I have the following example which I don't understand. Let $f$ be the canonical injection from $C$ to $C[X]/X^2$.The only maximal ideal of $C[X]/X^2$ is $(X)$ and $f^{-1}((X))$=$(0)$. ...
-2
votes
1answer
47 views

Do surjective ring homomorphisms commute with intersection of ideals?

Let $f:A\longrightarrow B$ be a surjective ring homomorphism. Is it true that for any intersection of ideals, the image of the intersection is equal to the intersection of the images of the ideals? ...
3
votes
0answers
57 views

Property of ideal [closed]

Let $R$ be an associative algebra. Let $I$ be an ideal of $R$. Let $J$ be an ideal of the algebra $I$. Prove that $(J)_R$ the ideal of $R$ generated by elements $J$, has the property: ...