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

1
vote
0answers
13 views

Example(s) of tertiary ideals?

Could anyone provide me with some specific example of a tertiary ideal, illustrating why it is so? Thanks in advance.
1
vote
1answer
30 views

Is it possible to know the prime factors of $3+5i$?

Let $\mathbb{Z}[i] = \{a+bi : a,b \in \mathbb{Z}\}$ and $\mathbb{Q}(i) = \{a+bi : a,b \in \mathbb{Q}\}$. Find $\alpha \in \mathbb{Z}[i]$ such that $(3+5i,1+3i) = (\alpha)$ Since ...
1
vote
2answers
71 views

Is a function in an ideal? Verification by hand and Macaulay 2

Suppose $$f_1=-4x^4y^2z^2+y^6+3z^5,$$ $$f_2=-4x^2y^2z^2+y^6+3z^5,$$ $$f_3=4x^4y^2z^2+y^6+3z^5,$$ $$f_4=4x^2y^2z^2+y^6+3z^5$$ and $$I=\langle xz-y^2,x^3-z^2\rangle\subset\mathbb C[x,y,z].$$ Is ...
-2
votes
2answers
74 views

Prove that two ideals are equal [closed]

Prove that the ideals $I_1=\langle x+xy,y+xy,x^2,y^2\rangle$ and $I_2=\langle x, y\rangle$ are equal. I understand the concept of trying to show that $I_1 \subset I_2$ and vice versa, but I have ...
3
votes
3answers
39 views

$R$ be an infinite commutative ring with unity such that for every non-zero ideal $I$ , $R/I$ is finite ; then is $R$ a PID or at least Noetherian?

Let $R$ be an infinite commutative ring with unity such that for every non-zero ideal $I$ of $R$ , $R/I$ is finite; then is $R$ a PID or at least Noetherian ? I can only prove that $R$ must be an ...
1
vote
1answer
56 views

Extension of ideals in integral extensions

Let $R\subset S$ is an integral extension in the category of commutative rings with unity. I have three questions: 1) Is every ideal of $S$ an extended ideal? 2) Is extension of each idempotent ideal ...
0
votes
2answers
28 views

A commutative ring with identity is a field if and only it has no nonzero proper ideals [duplicate]

Obviously, if $F$ is a field, and $I$ is it's nonzero ideal, then it contains an invertible element of $F$(any nonzero element of $F$). Denote this element as $a$. Since $I$ is ideal, $aa^{-1} = 1 \in ...
6
votes
5answers
535 views

Example of a ring with an infinite inclusion chain of ideals [closed]

I'm trying to track down an example of a ring in which there exists an infinite chain of ideals under inclusion. (i.e. $I_1 \subsetneq I_2 \subsetneq I_3 \subsetneq...$)
0
votes
0answers
38 views

Let $I$ be an ideal of a ring $R$. Then Show that $|(R/I)| = 1 $ if and only if $R = I$.

(i) Show that $|(R/I)| = 1 $ if and only if $R = I$. (ii) Show that if $R$ has an identity 1 then (if $I \neq R$) so does $R/I$, and if $R$ is commutative, then so is $R/I$. I know that the quotient ...
4
votes
1answer
207 views

Is the irreducibility of a ring preserved by localization at a prime ideal?

Let $R$ be a commutative ring and $\mathfrak p $ a prime ideal of $R$. Suppose that $R$ satisfies the following property: the intersection of two nonzero ideals is always nonzero. Is the property also ...
1
vote
1answer
37 views

Understanding Quotienting by Relations vs Quotienting by Generators

I understand the idea of a quotient algebra $A / I$ where $A$ is a $K$-algebra and $I$ is a two-sided ideal, i.e. I understand the projection map as an algebra morphism. However, I'm unsure about how ...
1
vote
1answer
37 views

Show that the set of all polynomials $f$ in $F[x]$ such that $f(A)=0$ is an ideal

Let $A$ be an $n \times n$ matrix over a field $F$. Show that the set of all polynomials $f$ in $F[x]$ such that $f(A)=0$ is an ideal. I don't understand how to apply this when it comes to ...
1
vote
1answer
26 views

Let $R$ be a ring. Let $I\lhd R$ and fix $n\in I$ if $n$ is the unit of $R$. Show $R=I$

Let $R$ be a ring. Let $I\lhd R$ (that is $I$ is an ideal of the ring) and fix $n\in I$ if $n$ is the unit of $R$. Show $R=I$. Here is my attempt at an answer: We aim to show $I \subseteq R$ and $R ...
0
votes
1answer
44 views

Manually computing ideal quotient $\langle x\rangle : \langle x y z \rangle$ in $k[x,y,z,o]$

Please explain this ideal quotient in $k[x,y,z,o]$: $$\langle x\rangle : \langle x y z \rangle=\{f\in k[x,y,z,o] : fg\in \langle x \rangle\quad\forall g\in \langle x y z \rangle \}$$ where ...
1
vote
1answer
35 views

Let $d \in \mathbb{Z}$, $d > 1$. Determine all the ideals of $\mathbb{Z}/d\mathbb{Z}$ which are prime or maximal

Let $d \in \mathbb{Z}$, $d > 1$. Determine all the ideals of $\mathbb{Z}/d\mathbb{Z}$ which are prime or maximal I know that $m\mathbb{Z}/md\mathbb{Z} \cong \mathbb{Z}/d\mathbb{Z}$ as rings ...
0
votes
1answer
36 views

Affine varieties and their ideals (part2)

On wikipedia, they talk about varieties $V,W$ and the $I(V)$ and $I(W)$ as well as the quotient ideal, $$I(V):I(W) = I(V - W)$$ Can someone show me a quick proof of the identity?
1
vote
1answer
61 views

A subset of a polynomial ring and its ideal. [duplicate]

Let $P=K[x_1,\dots,x_n]$ be a polynomial ring over a field $K$ and $I = (f)$ be a principal ideal in $P$ generated by $f \in P - \{0 \}$. Moreover let $L \subset \{x_1, \dots, x_n \}$ and $\hat{P} ...
0
votes
1answer
36 views

A $R$-module over a ring $R$ with identity is free iff it is a direct sum of copies of $R_R$, where $R_R$ is $R$ considered as a module over itself

Let $R$ be a ring with identity and $M$ be an $R$-right module. Then $M$ is called free over $X \subseteq M$ if for every module $N$ with mapping $\alpha : X \to N$ we can extend it uniquely to a ...
1
vote
1answer
98 views

Show that the only nonzero ideals of R are the principal ideals $\langle p^e \rangle$

Let $p$ be a prime number in $\mathbb{Z}$. Let $R = R_p = \{x \in \mathbb{Q}\ |\ \textrm{ord}_p(x)\geq0\}$, which is a subring of $\mathbb{Q}$. Show that the only nonzero ideals of $R$ are the ...
4
votes
1answer
79 views

Use Gröbner bases to count the $3$-edge colorings of planar cubic graphs…

I found a nice introduction on how to Use Gröbner bases to construct the colorings of a finite graph. Now my graphs $G=(V,E)$ are the line graphs planar of cubic graphs, so they are $4$-regular. The ...
0
votes
0answers
12 views

Representation of left ideals of the matrix ring [duplicate]

We know that $J$ is an ideal of the full matrix ring $S=M_n(R)$ if and only if $J$ is the ring of all $n\times n$ matrices over $I$ for some ideal $I$ of the ring $R$ with identity. Now, my question ...
0
votes
2answers
24 views

Show that the set of all principal ideals is an equivalence class of the relation $\sim$

Let $A$ a integral domain and let $\mho(A)$ the set of all non-zero ideals. Show that the set of all principal ideals is an equivalence class of the relation $\sim$ that we can noted by $[A]$. ...
1
vote
1answer
23 views

Kernel of $M\to M[U^{-1}]$ and primary decomposition of $(0)$

I am working on exercise 3.12 from Eisenbud's Commutative Algebra and I am having trouble parsing the question. Let $M$ be a finitely generated module over the Noetherian ring $R$. Given any ...
1
vote
1answer
34 views

If I is an irreducible ideal, and P is a prime ideal, is (I+P)/P irreducible?

Let $A$ be a commutative ring with unit, and $P$ a prime ideal. My question is: If $I$ is an irreducible ideal in $A$, is $(I+P)/P$ irreducible in $A/P$? If not, can you show a counterexample? ...
5
votes
1answer
52 views

$m_p=\{f\in \mathcal{O}_{V,p}| f(p)=0\}$, ideal of $p$ in the local ring. What is $m_p/m_p^2$?

In Section 6.8 of Undergraduate Algebraic Geometry by Reid, the author proved the following Theorem: There is a natural isomorphism of vector spaces $(T_pV)^*\cong m_p/m_p^2$ where $^*$ denotes ...
1
vote
1answer
55 views

Intersection of two ideals

Let $A$ be a commutative ring and let $\mathfrak{a}$, $\mathfrak{b}$ be ideals in $A$. I am asked the following question: Show that $\mathfrak{a} \cap \mathfrak{b}$ is the largest ideal of $A$ ...
1
vote
2answers
33 views

Ideals of $\mathfrak{gl}_n$

How does one determine the ideals of $\mathfrak{gl}_n(C)$? My guess is that the only ones are $(0) $ and $\mathfrak{sl}_n(C)$. I think approaching the problem by the fact that each $\mathfrak{g}^{ ...
1
vote
2answers
28 views

Is the set of all $f$ such that $\lim_{x\to1^-}f(x) = 0$ an ideal in the ring of functions from $[0,1]\rightarrow \mathbb{R}$?

Is the set of all $f$ such that $\lim_{x\to1^-}f(x) = 0$ an ideal in the ring of functions from $[0,1]\rightarrow \mathbb{R}$? I'm sure about the closure under addition but not quite clear about if ...
0
votes
2answers
25 views

Union Over a Totally Ordered Set of Ideals is an Ideal

I am trying to understand the proof of a theorem which uses Zorn's lemma. I understand quite well all parts of the proof except for one point: Let $R$ be a ring and define $K\doteq \{I\subseteq R ...
2
votes
1answer
81 views

When is an ideal also a ring, and could then be anything said about its relation to the original ring

If $R$ is a ring with unity $1$, then $S \subseteq R$ is called a subring if it is itself a ring with $1 \in S$. A subset $I \subseteq R$ is called an ideal if it is a group with respect to addition ...
0
votes
0answers
26 views

Field of definition of an Ideal

I am trying to prove the following statement from Introduction to Commutative Algebra and Algebraic Geometry by Ernst Kunz, p.16, Q9. Let $I$ be an ideal of the polynomial ring $K[X_1,\dots,X_n]$ ...
1
vote
2answers
31 views

Let A and B be ideals of a ring and C a prime ideal. Prove if the intersection of A and B is a subset of C then either A or B is a subset of C

Claim: Let $A$ and $B$ be ideals of a commutative ring $R$ and $C$ a prime ideal of $R$. Suppose that the intersection of $A$ and $B$ is a subset of $C$. Prove either $A$ or $B$ is a subset of $C$. ...
1
vote
1answer
20 views

Show that the left ideal $(N_G) \subset F[G]$ is a simple submodule of $F[G]$, where $N_G = {\sum}_{g \in G} {g} \in F[G]$. [duplicate]

I am trying to solve this Representation Theory question: Let $F$ be a field and $G$ a finite group. Let $N_G = {\sum}_{g \in G} {g} \in F[G]$. Show that the left ideal $(N_G) \subset F[G]$ is a ...
0
votes
2answers
44 views

Show that the ideal generated by $x^2-2$ is maximal

Let $A = \mathbb{Q}[x]$. Show that the ideal generated by $x^2-2$ is maximal. I think it is sufficient to show that $\mathbb{Q}[x]/(x^2-2) \cong \mathbb{Q}\sqrt{2}$, where $\mathbb{Q}\sqrt{2} = \{a + ...
0
votes
2answers
37 views

Is the ideal generated by the polynomial $x^2-2$ maximal in the ring $\mathbb{C}[x]$?

Personal question: Is the ideal generated by the polynomial $x^2-2$ maximal in the ring $\mathbb{C}[x]$? I know the ideal in $\mathbb{Q}[x]$ generated by $x^2-2$ is maximal, considering ...
0
votes
0answers
55 views

Groebner basis and prime ideals.

Let $I$ be an ideal in a polynomial ring $P = K[x,y_1,\dots,y_n]$ and assume that $I \cap K[x]\neq (0)$. Let $>$ be an elimination ordering for $\{y_1, \dots, y_n\}$ and $G$ is a Groebner basis for ...
2
votes
1answer
39 views

Why is $|V(I)| \leq d_1\cdots d_n$?

If $I \subset K[x_1,\dots,x_n]$ is a zero dimensional ideal and $$V(I) = \{ (\alpha_1,\dots,\alpha_n) \in K^n: f((\alpha_1,\dots,\alpha_n)) = 0\ \forall f\in I\}$$ (the variety). Then if $G$ is a ...
1
vote
0answers
41 views

Minimal primary decomposition of the ideal $I = (XY, Y Z, XZ) ⊆ \mathbb C[X, Y, Z]$ [duplicate]

Write out a minimal primary decomposition of the ideal $I = (XY, Y Z, XZ) ⊆ \mathbb C[X, Y, Z]$, and determine the primes belonging to $I$. Determine the dimension of the ring $\mathbb C[X, Y, ...
-2
votes
2answers
53 views

Find an infinite collection of maximal ideals containing $(x^2 - y^3) \subset \mathbb{C}[x,y]$ [closed]

What is an infinite collection of maximal ideals containing the ideal $I = (x^2 - y^3) \subset \mathbb{C}[x,y]$?
-1
votes
1answer
38 views

Quotient of maximal and prime ideals [closed]

Given that $I, J$ are ideals in $R$, $I$ is maximal or prime, do we have that $I/J$ is maximal in $R/J$? $I/J$ is prime in $R/J$? I think it is true but don't see how it works.
0
votes
1answer
14 views

Principal Ideal Domain $R$ and ideal $J\neq 0$ so that that $R/J$ have a finite number of ideals. [duplicate]

Let $R$ a un Principal Ideal Domain(PID) and $J\neq 0$ a ideal of $R$. Show that $R/J$ have a finite number of ideals.
1
vote
0answers
35 views

When is the ideal generated by 2 elements equal to the sum of the 2 ideals

Is it true in general that (a,b)=(a)+(b)? I would suppose that (a)+(b)$\subset$(a,b) and i believe the reverse containment should hold as well, i just can't seem to fit the pieces together.
0
votes
0answers
15 views

Laurent Ideal whose Intersection with Polynomial Ring Requires More Generators

I want to find an ideal $I\subseteq \mathbb Q[x^{\pm 1}, y^{\pm 1}, z^{\pm 1}]$ which requires fewer generators than the affine ideal $I\cap \mathbb Q[x, y, z]$. I tried finding a principal ideal $I$ ...
0
votes
2answers
52 views

Prove that the sum of ideals of a ring A equals A and its intersection is zero.

I've been looking at a couple of ring theory exercises and there's this one I don't know how to do it. It goes like this. $A$ is a commutative unital ring, and $e$ an element of $A$, $e \neq ...
1
vote
1answer
36 views

Saturation of a multiplicatively closed subset

Exercise 3.7 of Atiyah-MacDonald asks the reader: if $A$ is a commutative ring and $\mathfrak{a} \triangleleft A$ an ideal, find the saturation of $1 + \mathfrak{a}$. Previously we have shown that ...
1
vote
1answer
32 views

Property of multiplication of ideals in $\mathcal{O}_K$

Let $\mathfrak{a}, \mathfrak{b}$ be two coprime ideals of $\mathcal{O}_K = \mathbb{Z}[\sqrt{-d}]$ such that $\mathfrak{a}\mathfrak{b} = (n)$ for some $n \in \mathbb{Z}$. Does $\mathfrak{a}^m = (u)$ ...
0
votes
1answer
45 views

Generators of the Tangent Space

Let $X$ be an affine variety, $X \subset A^n$ and suppose $f_1(T),\ldots,f_r(T) \in K[T_1,\ldots,T_n] $ generate $I(X)$. (Note that $I(X)$ is the ideal of $K[T_1,\ldots,T_n]$ of which elements of $X$ ...
3
votes
1answer
47 views

Is there any way to gain some insight into a proof by simply looking at a graphic?

My school is using Pinter's "A Book of Abstract Algebra" for both semesters of Modern Algebra. For a class assignment a couple weeks ago, regarding rings, I was tasked with the following problem ...
0
votes
2answers
52 views

If $X$ is maximal ideal then it consists of non-invertible elements?

I'm reading through a paper where I came across the following theorem Let $A$ be a commutative complex Banach algebra with unit element $e$. Theorem: A subspace $X\subset A$ of codimension $1$ is ...
2
votes
1answer
44 views

Essential ideals

I am trying to get my head around essential ideals. In literature I found 2 definitions: An ideal $I$ in a C*-algebra $A$ is essential in $A$ (i) if $aI = 0$ implies $a=0$, $a\in A$; or (ii) if ...