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
4answers
40 views

Prove by definition that $(x,2)\subset\mathbb Z[x]$ is a maximal ideal

When the polynomial ring $\mathbb{Z}[x]$ is quotiented by the ideal $(2,x)$ we get a field as $\mathbb{Z}[x]/(x,2)\cong\mathbb{Z}/(2)\cong\mathbb{Z}_{2}$ which is a field. But I ...
1
vote
0answers
25 views

A Problem for Nil-Ideals

This is actually a homework problem. I need some help. Consider a ring $R$ and $I$ be a finitely generated nil-ideal of $R$. Is $I$ a nilpotent ideal? I have proved this for commutative rings. But for ...
2
votes
0answers
41 views

Ideals in a ring as geometric objects?

I am interested in learing about the possibility of (one-sided) ideals in a ring being repreented geometrically. In other words, about their status as geometric objects (after all, they can be dealt ...
1
vote
0answers
101 views

Maps to quotient rings

If $R$ is a ring, $\mathfrak{a}$ is an ideal of $R$ and $S=A[x,y,z,\dots]$ where $A$ is a commutative ring, then is there a ring $S^\prime$ such that there is a bijection: ...
1
vote
0answers
23 views

Composition of module homomorphisms and their kernels

Let $R$ be a principal ideal ring and let $I$ and $J$ be two ideals of $R$. Suppose $\phi: R \times R \rightarrow R \times R$ and $\psi: R \times R \rightarrow R \times R$ are two $R$-module ...
0
votes
2answers
25 views

Inverse images of ideals

I was trying to solve the following exercise: Let $f\colon R\to S$ be a ring epimorphism, $I \subseteq S$ be an ideal, and $J = f^{-1}(I)$. Check that if $I$ is maximal (resp. prime) then $J$ is ...
4
votes
3answers
82 views

For a prime integer $p \in \{2, 3, 5, \cdots\}$, is $pR$ a maximal ideal in $R$?

If $R$ is a commutative ring with unit and $p$ is a prime number ($2,3,5,\cdots$), then is $pR$ a maximal ideal of $R$? If not what conditions should I impose on $R$?
0
votes
1answer
41 views
+50

If the Ideals Generated by the Coefficients of $f(X),g(X)$ are $R$, then so is the Ideal Generated by $f(X)g(X)$.

Let $R$ be a commutative ring with unity, and let $f(X),g(X)\in R[X]$. Assume the ideals generated by the coefficients of $f(X),g(X)$ are both $R$. Prove that the ideal generated by the coefficients ...
-1
votes
0answers
44 views

Show that $\langle x,y\rangle$ is not projective as a $\mathbb{Q}[x,y]$ -module. [on hold]

I took this exercise for a long time but I can't prove it. Show that $\langle x,y\rangle$ is not projective as a $\mathbb{Q}[x,y]$ -module. Anyone could help me?
3
votes
0answers
22 views

Module endomorphisms with the same kernel

Let $R$ be a finite commutative principal ideal ring. Let $n$ be a positive integer. For $i=1, \ldots, n-1$ we let \begin{align*} w_i := w_i(x_{i+1}, \ldots, x_n) = \sum_{j=i+1}^n t_{ij}x_j \in ...
2
votes
1answer
30 views

Modify this formula : $R/I \cong \phi[R]/\phi[I]$

Let $R$ be a ring and $I$ an ideal of $R$, and let $\phi : R\longrightarrow R'$ be a ring homomorphism. Studying by myself, I have a conjecture the following: $$R/I \cong \phi[R]/\phi[I].$$ This ...
1
vote
0answers
57 views

How to find prime ideals of $3\Bbb Z$?

Which one of these is prime of $3\Bbb Z$? $42\Bbb Z$,$24\Bbb Z$,$12\Bbb Z$,$9\Bbb Z$ and $33\Bbb Z$ I tried to check their factor groups if they are integral domains. because An ideal I in a ...
0
votes
1answer
37 views

Every prime ideal is maximal [duplicate]

Problem: Show that if R is a finite ring, then every prime ideal of R is maximal. My attempt: Let I be a prime ideal of R. Then, by definition of a prime ideal, ab ∈ I implies a ∈ I or b ∈ I for ...
4
votes
1answer
91 views

finitely generated ideal and number of generators

let $I$ be a finitely generated ideal of ring $R$. Suppose $I/I^2$ as an $R/I$ module is generated by $r$ elements then question is to prove that $I$ is generated by $r+1$ elements.. I have tried ...
0
votes
0answers
33 views

Maximal ideal of polynomial ring over a subfield

Let $L/K$ be an algebraic extension of fields. Let $B = L[X,Y]$ and $A = K[X,Y]$. Suppose $a$, $b \in L$ and $m = (X-a,Y-b)$ is an ideal of $B$. Show that $m$ and $m \cap A$ are maximal ideals of ...
-1
votes
1answer
50 views

$M=I\times J $ for some $I,J$ [duplicate]

Let $R,S$ be two rings with identity. Prove that every ideal of $R\times S$ is of the form $I \times J$ where $I$ is an ideal of $R$ and $J$ is an ideal of $S$ . Obviously $I \times J$ is an ideal of ...
1
vote
2answers
48 views

Every ideal has a FFR

Let $A$ be a regular local ring. Then every ideal has a finite free resolution. My thoughts: it's easy to prove that every ideal $I$ has a free resolution. In fact $I$ is finite and there is a ...
3
votes
1answer
41 views

How to show that an ideal is maximal

How do you show that $\langle y^2+2, x-1 \rangle$ is a maximal ideal in $\Bbb Q[x,y]$? I know that if you add another element that is not in this ideal, you should get the whole ring, thus ...
1
vote
0answers
27 views

Proof review: Every maximal ideal of ring of continuous functions has the same form

Let $R$ be the ring of real-valued continuous functions on $[0,1]$. If $M$ is a maximal ideal of $R$ prove $\exists \lambda \in [0,1]$ s.t. $M = \{f(x) \in R : f(\lambda) = 0 \}$. (from Herstein ...
3
votes
3answers
34 views

Checking whether $x^2-5$ is prime but not maximal

I want to find an example of a prime ideal that is not maximal. I thought about $x^2-5$. We know that $Z[\sqrt{-5}]\cong Z[x]/(x^2-5)$ is an integral domain, therefore is $x^2-5$ prime. However, I ...
0
votes
1answer
18 views

A question on $R$-modules

Let $M$ be a non-trivial irreducible (simple) $R$-module . Let $0 \ne m \in M$ and $A(m_0):=\{x \in R: xm_0=0\}$ , then is $A(m_0)$ a maximal left-ideal of $R$ and as $R$-modules , $M$ and $R/A(m_0)$ ...
2
votes
1answer
73 views

About Relatively Prime Ideals

I am a physics Master student who has been studying abstract algebra by himself. I have two questions about relatively prime ideals. My first question goes as follows: Let $R$ be a ring, and ...
-2
votes
1answer
47 views

calculating height of a kernel [closed]

Consider the map $\phi: K[X_1,X_2,X_3,X_4] \to K[T,U]$ given by $X_1 \to T^4$, $X_2 \to T^3U$, $X_3 \to TU^3$, $X_4 \to U^4$. The question asks to show $\operatorname{height}(\ker(\phi))=2$. Can we ...
1
vote
1answer
27 views

Prove that $I^2$ is principal.

Consider the ideal $I=(2,\sqrt{-10})$ of $\mathbb{Z}[\sqrt{-10}]$. Prove that $I^2$ is principal. My Try: $I^2=(4,-10,2\sqrt{-10})$. I tried to prove that $I^2=(\sqrt{-10})$. But failed. Is my ...
1
vote
0answers
10 views

Can MAGMA write Groebner basis elements in terms of the original generators?

Consider the free algebra $F = \mathbb Q(a)\langle x, y, z\rangle$ and the ideal $$I = \langle xy - ayx, yz - zy, xz - zx - y\rangle$$ According to the following code $y^2 \in I$. ...
0
votes
0answers
27 views

Confusion regarding a statement in Atiyah-Macdonald

Atiyah-Macdonald says the following: If the ideals $a_i, a_j $ are co prime, then $\Pi a_i= \cap a_i $ What does this even mean? For example, we know that $(2), (3) $ are co prime in the ring ...
2
votes
2answers
39 views

For $I,J$ ideals $P$ Prime ideal, show that $IJ\subset P \iff I\cap J \subset P$

Question : Prove the following equivalence $IJ\subset P \iff I\cap J \subset P \iff$ $I$ or $J \subset P$ I was able to do this $IJ \subset I$ and $IJ \subset J$ so $IJ \subset P$ $IJ \subset I$ ...
2
votes
1answer
30 views

Expressing polynomial as linear combinaion

I found these questions in Adams Introduction to Groebner bases Let $f=x^6-1$ and $g=x^4+2x^3+2x^2-2x-3$. Let $I=\langle f,g\rangle$. Calculate the polynomial that generates $I$ alone. After a ...
2
votes
1answer
61 views

Riemann-Roch Theorem and Ideals of a Ring

I found in some Math book a comment stating that the study of Ideals in ring theory à la Dedekind (all kinds of ideals? only one-sided ideals?) could be transferred to other areas (specifically, ...
0
votes
1answer
44 views

Some doubts about right ideals of a ring

I would like to know whether the following paragraph regarding right ideals and modules is correct. Any comment or help is welcome: A right ideal of $R$ is just a submodule of the right $R$-module ...
6
votes
0answers
155 views

Converse of Chinese Remainder Theorem

Chinese Remainder Theorem for commutative rings with identity Let $R$ be a commutative ring with identity. If $I, J$ are ideals of $R$ satisfying $I+J=R$, then there is an isomorphism of rings: ...
0
votes
1answer
48 views

Proof about the difference between right and left ideals in a ring

I have tried get a version of the proof stating that a left ideals of a ring is not, in general, a right ideal, and viceversa. Is my formulation right? Comments and corrections are welcome. I have ...
1
vote
1answer
58 views

Is it true that every prime ideal of height one is principal? [closed]

Is it true that every prime ideal of height one is principal ? Please help
3
votes
2answers
63 views

$R$ a local ring, also a PID. $I,J$ ideals from $R$. Show that $I \subseteq J$ or $J \subseteq I$

$R$ a local ring, also a PID. $I,J$ ideals from $R$. Show that $I \subseteq J$ or $J \subseteq I$ My brief attempt to try use Bezout theorem at a PID. but unsuccess.. Thanks any help.
4
votes
1answer
45 views

Is radical of finitely generated ideal finitely generated?

Let $R$ be non-noetherian commutative ring with identity and $I$ be a finitely generated ideal of $R$; say $I = (a_1, \cdots, a_n)$. Question.1 Is $\sqrt I$ necessarily finitely generated? ...
0
votes
2answers
70 views

Prove that an ideal $ \mathfrak{m} $ of a commutative ring $ R $ is maximal iff $ R/\mathfrak{m} $ is simple.

Could someone give me a hint on whether I’m on the right track or not? For sufficiency, I tried the following: Suppose that $ \mathfrak{m} $ is a maximal ideal. With the quotient map, we get $ ...
1
vote
1answer
46 views

$I\otimes I$ is torsion free for a principal ideal $I$ in domain $R$

Question is : Suppose $I$ is a principal ideal in a domain $R$. Prove that the $R$ module $I\otimes_R I$ is torsion free. Suppose we have $r(m\otimes n)=0$.. Just for simplicity assume that ...
2
votes
1answer
64 views

How does one find the Zariski closure of a set?

I've started to learn algebraic geometry this week (so I do not have much knowledge in the subjet) and, after reading the definition of the Zariski closure $V(I(S))$ of a set $S$, I've tried to do the ...
1
vote
0answers
88 views

On a theorem of Akizuki concerning the minimal number of generators of an ideal

I am looking for a theorem of Akizuki I was told by my professor. He said me that Akizuki showed in his paper "Zur Idealtheorie der einartigen Ringbereiche mit dem Teilerkettensatz" (1938) a result ...
1
vote
1answer
20 views

Show that in ascending Loewy series, $S^r(R)=R$

Let $R$ be an Artinian ring, $N$ its radical, and $r$ the smallest natural number such that $N^r=0$. Define an ideal $S^n(R)$ of $R$ recursively as follows: $S^1(R)=soc(R)$ Assuming ...
2
votes
1answer
35 views

Factoring ideals in algebraic number rings using Dedekind's theorem

Let $K \subset L=K(\alpha)$ be a number field extension with rings of integers $\mathcal{O}_K$ and $\mathcal{O}_L=\mathcal{O}_K[\alpha]$ respectively. Let $\pi$ be a prime ideal in $O_K$, and let $F = ...
0
votes
1answer
31 views

Is the ideal $\{2m + (1 + \sqrt{-6})n:m, n\in\mathbb{Z}\}$ principal in $\mathbb{Z}[\sqrt{-6}]$?

Is the ideal $\{2m + (1 + \sqrt{-6})n:m, n\in\mathbb{Z}\}$ principal in $\mathbb{Z}[\sqrt{-6}]$? I have an exercise that asks just that. As a hint it says to prove that this ideal contains $1$, ...
2
votes
1answer
34 views

A question about 1.0.3 in Grothendieck's EGA

In (1.0.3), Grothendieck states that, given non-commutative rings $A$ and $B$, a homomorphism $\varphi : A \to B$, and a left ideal $\mathfrak{J}$ of $A$, the left ideal $B\mathfrak{J}$ of $B$ ...
2
votes
1answer
56 views

Finding all ideals in a finite ring

Let $\mathbb F_2$ be the field of two elements. Consider the factor ring $$R=\mathbb F_2[x, y]/\langle x^2, y^2\rangle.$$ I want to find all ideals of $R$. Note that ...
4
votes
0answers
35 views

Compactum of Banach algebra

I need an example of Banach algebra $A$ and a left non-trivial closed ideal $I$ with all of following properties: There exists a bounded approximate identity in $I$ for $I$ i.e., a net ...
1
vote
1answer
26 views

Prove socle is ideal

In any ring $R$ define the socle as the sum of all minimal right ideals of $R$. Say we have two minimal ideals $A,B$. If $a\in A,b\in B$, then $a+b$ is in the socle. If $x\in R$, then ...
2
votes
2answers
62 views

Ideal of polynomials vanishing on $\{(x,y): x^2+y^2=1, x \neq 0 \}$

I'm reading the book "Introduction to algebraic geometry" by Hassett, and in Chapter 3, after introducing the concept of the ideal of polynomials vanishing on a set $S$, the author gives some ...
1
vote
3answers
31 views

Centre of matrix ring over skew field

Let $R$ be a semisimple ring. Show that $R$ is simple iff the centre of $R$ is a field. Book's solution: If $R$ is simple, it has the form $\mathfrak{M}_n(K)$ for a skew field $K$, and its ...
0
votes
0answers
31 views

Determinant of the change of basis for fractional ideal

Let $A$ be a fractional ideal of some number field extension $K:\Bbb Q$. Let $\omega_1, \dots ,\omega_n$ be a $\Bbb Z$ basis for $\mathcal O_K$ and let $\alpha_1, \dots ,\alpha_n$ be a $\Bbb Z$ basis ...
0
votes
0answers
40 views

How do I prove that primary ideals satisfy this property?

Let $R$ be a commutative ring. Let $Q$ be a primary ideal of $R$. Let $I,J$ be ideals of $R$ such that $IJ\subset Q$. How do I prove that $I\subset Q$ or $J^n\subset Q$ for some positive integer ...