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
20 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, ...
2
votes
1answer
47 views
0
votes
0answers
32 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
41 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 ...
-1
votes
2answers
33 views

Ring homomorphism and ideal that contains the kernel [on hold]

If $f:R\rightarrow S$ is a ring homomorphism and $I$ ia an ideal of $R$ such that $ker(f) \subseteq I$ then $f^{-1}(f(I))=I$ We know that $I\subseteq f^{-1}(f(I))$ but how can I use that $ker(f) ...
0
votes
1answer
41 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 ...
3
votes
2answers
55 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.
6
votes
1answer
90 views

How to show that $\mathbb{C}[x_1,x_2,x_3, x_4]/(x_1x_2 - x_3x_4, x_1x_3 - x_2x_4, x_1x_4 - x_2x_3)$ is an integral domain?

I am looking for a way to show that the ring $\mathbb{C}[x_1,x_2,x_3, x_4]/I$ where $$I = (x_1x_2 - x_3x_4, x_1x_3 - x_2x_4, x_1x_4 - x_2x_3)$$ is an integral domain. In other words I want to show ...
3
votes
1answer
32 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
65 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 $ ...
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
1answer
40 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
33 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$ ...
1
vote
0answers
87 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
18 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
32 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
30 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$, ...
3
votes
2answers
2k views

Ideal generated by 3 and $1+\sqrt{-5}$ is not a principal ideal in the ring $\Bbb Z[\sqrt{-5}]$

Show that the ideal generated by 3 and $1+\sqrt{-5}$ is not a principal ideal in the ring $\Bbb Z[\sqrt{-5}]$. I fail to understand how can 3 and $1+\sqrt{-5}$ generate an ideal. ...
2
votes
0answers
114 views

Left Ideals and Two-Sided Ideals of Rings of Matrices

This is a question I posted in this topic: Pathologies in "rng". However, I decided that the question deserves its own thread, and I want to know if anybody can answer it. For ...
2
votes
1answer
53 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
32 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
25 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
61 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
28 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
29 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
37 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 ...
0
votes
1answer
24 views

Looking for an example of an ideal contained in the union of other ideals, but not in any ideal individually

I'm looking for an example of the following scenario: $A, B, C $ are three ideals such that $C\subseteq A\cup B $ but $C\not\subseteq A $ and $C\not\subseteq B$. Any help would be great!
1
vote
1answer
29 views

If $R$ is a simple Artinian ring, then when is a finitely generated module free?

Here's an exercise from my book, which only gives a brief solution which leaves me very confused. Let $R$ be a simple Artinian ring, say $R=K_r$. Show that there is only one simple right ...
2
votes
1answer
52 views

If a set $S$ generates an ideal $I\subset F[x_1,x_2,\ldots,x_n]$, then there is a finite subset $S_0 \subseteq S$ which generates $I$

The question: If $I$ is an ideal in $F[x_1,x_2,\ldots,x_n]$ generated by a set of polynomials $S$, then there is a finite subset $S_0 \subseteq S$ which generates $I$. By the Hilbert Basis ...
3
votes
1answer
271 views

Norm of Prime Ideal

Show that the norm of a prime ideal in a number field $K$ is a power of some prime number, i.e., if $P$ is a prime ideal in $O_K$ for some number field $K$, then $N_\mathbb{Q}^K(P)=p^n$ for some ...
0
votes
1answer
19 views

Let $\phi\in \mathbb{C}[V]$. Show that $\mathbf{V}_V(\phi)=\emptyset$ if and only if $\phi$ is invertible in $\mathbb{C}[V]$.

This is an exercises in Ideals, Varieties and Algorithms by Cox et al. Let $V\subset \mathbb{C}^n$ be a nonempty variety. Let $\phi\in \mathbb{C}[V]$. Show that $\mathbf{V}_V(\phi)=\emptyset$ if ...
1
vote
2answers
46 views

Is this another way of stating the Chinese Remainder Theorem?

Assume that $I + J = R$. Let $a,b \in R$. Find an element $u$ of $R$ satisfying $a + I = u + I$ and $b + J = u + J.$ I want to work on this, but I feel there's some issue of a missing theorem I ...
3
votes
2answers
65 views

Is a polynomial $f$ zero at $(a_1,\ldots,a_n)$ iff $f$ lies in the ideal $(X-a_1,\ldots,X-a_n)$?

This is probably a very silly question: If $R$ is an arbitrary commutative ring with unit and $f\in R[X]$ a polynomial, then for any element $a\in R$ we have $$f(a)=0 \Longleftrightarrow X-a ~\mbox{ ...
0
votes
1answer
32 views

The quotient of a ring by the annihilator of an ideal

Let $R$ be a commutative ring with identity and $I$ an ideal of $R$. It's true that we have an $R$-module isomorphism $$I\cong R/ann_RI,$$ where $ann_RI=\{x\in R:xr=0,\;for\;all\;r\in I\}$ is the ...
2
votes
1answer
55 views

Example of non-commutative ring with exactly 2014 two sided-proper ideals.

Find a non-commutative ring with exactly 2014 two sided-proper ideals. Find a ring with exactly 2014 pairwise non-isomorphic irreducible modules. If it was the commutative ring i would have ...
2
votes
1answer
55 views

Ideals and injective modules

Let $I$ be a left ideal of $R$. Assume that there exist element in $I$, which is not a zero divisor. How to prove that for every (left) injective $R$-module $Q$ we have $IQ=Q$ ? I need only hints. ...
1
vote
1answer
16 views

Every modular right ideal is contained in a modular maximal ideal

If $R$ is a ring, possibly without $1$, a right ideal $\mathfrak{a}$ of $R$ is modular if there exists $e\in R$ such that $r-er\in \mathfrak{a}$ for all $r\in R$. So $e$ is a left identity mod ...
3
votes
1answer
42 views

Looking for a terminology in ring theory (“ideal” which is not necessarily closed under addition )

I am wondering if there is a name for the subsets $S$ of a commutative ring $R$ such that for every $r\in R$ and every $s\in S$ we have $rs\in S$. Thus $S$ is ...
2
votes
1answer
71 views

When an Intersection of Prime Ideals is a Prime Ideal

Let $R$ be an arbitrary ring, $\{P_1,....,P_n\}$ be a set of prime ideals. Verify that $P_1 \cap ... \cap P_n$ is prime if and only if there exists $1 \leq i \leq n$ such that $P_i$ is contained in ...
2
votes
2answers
47 views

Conductor of a ring

An easy (possibly trivial) question from Neukirch's Algebraic Number Theory, p.47. Let $A$ be a Dedekind domain, $K$ its fraction field, $L$ a finite separable extension of $K$ and $B$ the integral ...
1
vote
1answer
33 views

Example of a Non-Graded Ideal in a Graded Ring

A ring $S$ is said to be graded if there are additive subgroups $S_0, S_1, S_2, \ldots$ such that $S=\bigoplus_{k\geq 0}S_k$ and $S_iS_j\subseteq S_{i+j}$ for all $i$ and $j$. An ideal $I$ in a ...
5
votes
2answers
81 views

Prime ideal $P$ of $\mathbb{Z}[x]$ such that $P \cap \mathbb{Z}=\{0\}$ is principal

The problem stated more precisely is this: Let $P$ be a prime ideal of $\mathbb{Z}[x]$ such that $P \cap \mathbb{Z} =\{0\}$. Show that $P$ is a principal ideal. I think there is a problem with my ...
2
votes
2answers
79 views

If $R$ is a commutative ring, the nilpotents form necessarily an ideal of $R$? [duplicate]

This is an algebra question from an exam a few years ago: Let $R$ be a ring, and let $N = \{a \in R: a^n = 0 \text{ for some } n \in \mathbb{N}, (n \text{ depends on } a) \}$. Prove or disprove: ...
1
vote
1answer
58 views

Prove that $f$ is a nonzerodivisor on $R[x_1,\dots,x_r]/IR[x_1,\dots,x_r]$ for every ideal $I$ in $R$

Let $R$ be a Noetherian commutative ring with unity, and $S=R[x_1,\dots,x_r]$. Let $f\in S$ be a nonzerodivisor of $S$. Suppose that the ideal generated by the coefficients of $f$ is $R$. How to ...
0
votes
0answers
31 views

Graphs associated with rings and modules

There are several articles in the literature that deals with some interesting graphs associated with rings and modules. For example The zero-divisor graphs D. F. Anderson, P. S. Livingston, The ...
0
votes
0answers
10 views

Stone representation theorem and right(or left-) one-sided ideals in a ring

Consider Marshall Stone's representation theorem: https://en.wikipedia.org/wiki/Stone's_representation_theorem_for_Boolean_algebras I would like to know in whichspecific way, if any, it is connected ...
0
votes
0answers
25 views

Noether & Schmeidler- Hurwitz-Ideals

Consider the following page from Noether and Schmeidler's 1921 work: http://gdz.sub.uni-goettingen.de/dms/load/img/?PPN=PPN266833020_0008&DMDID=DMDLOG_0008&LOGID=LOG_0008&PHYSID=PHYS_0013 ...
2
votes
0answers
50 views

Uniqueness of the decomposition of an ideal

Let $ F $ be a non-empty subset of $ \{ 1,2,\dots,n\} $ and $ P_{F}=(\{x_{i}:i\in F\}) $. Let $ F_{1},F_{2},\dots,F_{m} $ be pair-wise distinct non-empty subsets of $ \{1,2,...,n\} $ and $$ ...
0
votes
1answer
50 views

In which way are sigma ideals a special case of ideals?

The article on sigma-ideals in wikipedia claims they are a special kind of ideals: http://en.wikipedia.org/wiki/Sigma-ideal But, unfortunately, no explanation to that regard is offered (not at least ...
0
votes
5answers
4k views

Show that every ideal of the ring $\mathbb Z$ is principal

Let $\mathbb Z$ be the ring of integers. The question asks to show that every ideal of $\mathbb Z$ is principal. I beg someone to help me because it is a new concept to me.