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
1answer
64 views

Cardinality of quotient ring $\mathbb{Z_6}[X]/(2x+4)$

Let $R$ be the ring obtained by taking the quotient of $\mathbb{Z_6}[X]$ by principal ideal $(2x+4)$. Then 1) $R$ has infinite elements 2) $R$ is field 3) $5$ is unit in $R$ 4) $4$ is unit in $R$. ...
0
votes
0answers
9 views

Morita equivalence between right and left ideals of a ring

I would like to know whether Morita equivalence is a useful tool when dealing with right and left ideals of a ring. If so, could someone illustrate it on the example of $2\times 2$ matrices? Thanks
2
votes
0answers
63 views

Is there a classification of ideals of $\mathcal O_K$ ($K$ quadratic) over ramified and split primes depending on $d \pmod 4$?

I am unsure if the following argument is correct. I have not seen something like this in my course, so I'm a bit skeptical, since this seems like a very simple way of computing norms of ideals. If ...
3
votes
2answers
91 views

Writing the ideal $m=\langle X, Y \rangle$ in $R=k[X, Y]$ as a countable union of prime ideals

Here's a problem (Exercise 3.21) from "A Term in Commutative Algebra" by Altman & Kleiman: Let $k$ be a field, and $R=k[X, Y]$ be polynomial ring in two variables. Let $\mathfrak{m}=\langle ...
0
votes
0answers
13 views

How to visualize one-side ideals of a ring?

Could anyone provide me with some insight as to how to represent diagrammatically (in a graphical o visual way) left and right ideals of a ring (in those cases in which they are one-sided ideals)? ...
2
votes
1answer
33 views

How to show the existence of an ideal in the ring of Gaussian integers that satisfy the following?

How to show that If $p$ is a prime and $p\equiv1\bmod4$ then there exists an ideal of the $R=\mathbb{Z}[i]$, the ring of Gaussian integers, such that $R/I$ is isomorphic to ...
0
votes
1answer
35 views

Prime ideal in Dedekind ring is finitely generated

Let $R$ be a Dedekind ring, which means integral domain, integrally closed, Noetherian, which means that given any chain of ideals in $R$: $$I_1\subseteq\cdots \subseteq I_{k-1}\subseteq ...
0
votes
0answers
49 views

Who coined ideals in Set Theory?

One of the meanings of the word "ideal" in maths refers to Set Theory. Even though handbooks say that concept can be translated to Order Theory or to Algebra effortelssly, I am interested in: 1) ...
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 ...
1
vote
0answers
22 views

Why are principal fractional ideal also fractional ideals?

I don't understand the following: Let $K$ be the quotient field of an integral domain $R$. A fractional ideal $I$ is a subset of $K$ other than $\{0\}$, for which a $0\neq r\in R$ exists, so that ...
2
votes
0answers
36 views

Relation of ideals in probability with other kinds of ideals?

It seems that there are at least 5 kinds of ideals in maths: Ideals in number theory (Kummer, Dedekind) Ideals in abstract algebra (Dedekind, Noether), as kernels of homomorphisms Ideals in order ...
0
votes
2answers
37 views

How do I compute the norm of a non-principal ideal of the ring of integers of a quadratic field without using ''large'' results

I am trying to compute the norm of the ideal $I=(7, 1+\sqrt{15}) \trianglelefteq \mathbb Z[\sqrt{15}],$ the ring of integers of $\mathbb Q[\sqrt{15}].$ I knew $I^2$ would be principal, as $I\bar ...
1
vote
2answers
55 views

prove $(m) \subset (n)$ iif $n$ divides $m$

For non-zero integers $m$ and $n$, prove $(m) \subset (n)$ iif $n$ divides $m$, where $(n)$ is the principal ideal. My attempt is following. For non-zero integers $m$ and $n$, assume that $(m) ...
0
votes
0answers
14 views

Relation between Noether's one-sided ideals and Polish notation?

Given the definitions of one-sided ideals (right ideals; left ideals) bu Emmy Noether, as referred in this answer Noether's definition of right and left ideals?, I would like to raise the ...
2
votes
1answer
26 views

Origin of ideals in order theory

I am trying to clarify in my head the different meanings of "ideals" in mathematics. We have ideals in Number Theory, as in Dedekind (derived from 'Ideal Complex Numbers' in Kummer), in Abstract ...
2
votes
2answers
46 views

A question on Join homomorphism and Ideals

On page 287 of the book Mathematical Methods in Linguistcs, by Barbara Partee, Alice Ter Meulen and Robert E. Wall (Dordrecht, Kluwer Academic Press, 1993), I find the following theorem, which they ...
7
votes
0answers
99 views

What does the ideal norm of matrix elements really mean?

Say we have a number field $K$ (specifically, an imaginary quadratic field) and a $2\times2$ matrix $\sigma=\pmatrix{a&c\\b&d}$ with elements $a,b,c,d\in\mathcal O_k$, the ring of integers of ...
0
votes
0answers
19 views

Visual representation of (right or left) ideals of a ring?

I would like to know about the canonical visual representation for ideals in a ring. Particularly, for the two kinds of one-sided ideals,that is, right ideals and left ideals. Is it possible to use ...
0
votes
0answers
34 views

Decision between right and left ideals of a ring?

Let us suppose whe find a phenomenon (in nature, social sciences, whatever) for which we believe (or some author has stated) it is possible a formalization or modeling in terms of ideal of a ring. Let ...
2
votes
1answer
67 views

Class group of $\mathbb Q(\sqrt{-55})$ and finding representatives for ideal classes

My first step in computing the class group of $\mathbb Q(\sqrt{-55})$ was to compute the Minkowski bound. Initially, I said $\lambda(-55)=2\sqrt{-55}/\pi<2(8)/3<6$ and I went the normal way of ...
2
votes
0answers
23 views

Relation between ideal numbers and ideals of a ring?

I would like to know whether the ideal numbers of Kummer (or the ideals of Dedekind for that matter) are closely related to the concept of ideal (right ideal, left ideal, two-sided ideal and so ...
2
votes
1answer
35 views

All polynomial parametric curves in $k^2$ are contained in affine algebraic varieties

I have started working through the textbook Ideals, Varieties, and Algorithms by Cox, Little, and O'Shea and I am stuck on one part of an introductory question. The question begins by getting one to ...
1
vote
2answers
67 views

Is the minimal number of generators of an ideal the rank of the ideal as a free $\mathbb Z$-module?

In an algebraic number theory course, my lecturer said that any ideal of $\mathcal O_K$, where $K$ is a quadratic number field, is generated by at most two elements. I am wondering why this is. When ...
3
votes
1answer
95 views

Question about ideals of a ring: $IJ=I \implies J=I$?

Doing exercises, this question came to my mind. Is it true that if $I$ and $J$ are proper and nonzero ideals of a ring $R$, $$IJ=I \implies I=J?$$ And $$IJ=I \iff I\subseteq J?$$
2
votes
0answers
47 views

Residue fields of the closed points in $Spec(\mathbb{R}[X,Y])$

What are the residue fields of the closed points in $Spec(\mathbb{R}[X,Y])$? After finding the maximal ideals of $\mathbb{R}[X,Y]$, which are of the form: $\langle X-a,Y-b \rangle$ with $a,b ...
1
vote
2answers
70 views

Problem about ideals of the localization of a ring

I'm having problems on doing the section (ii) of this exercise. Let $R$ be a domain. Let $P$ be a prime ideal of $R$. (i) Prove that $S:=R\setminus P$ is a multiplicatively closed system with no ...
3
votes
2answers
78 views

Direct sum of non-zero ideals over an integral domain

Let $R$ be an integral domain. Let $I$ and $J$ be non-zero ideals of $R$. Is this statement always true: $$R\oplus(I\cap J)\cong I\oplus J\ ?$$ I regarded the short exact sequence $0\to I\cap ...
2
votes
1answer
39 views

$K[x,y]$ (where $K$ is a field) have any bound for the number of generators of ideals?

We know that maximal ideals of $K[x_1,x_2,...,x_n]$ have $n$ generators. But is there any bound for the number of generators of arbitrary ideals? (For example in $K[x,y]$.)
2
votes
2answers
53 views

If $1\in M$, could $M$ be a maximal ideal of a commutative ring with identity $R$?

If $1\in M$, could $M$ be a maximal ideal of a commutative ring with identity $R$? I know that this is a very silly question. I think that the answer is that $M$ can't contain the identity for ...
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 ...
0
votes
0answers
27 views

properties of finitely generated torsion-modules and their submodules over a PID

Let $R$ be a principal ideal domain, $M$ a finitely generated $R$-torsion module, and $N \subseteq M$ a submodule. I want to show that there exist free R-modules $F, F', F''$ and module homomorphisms ...
4
votes
4answers
367 views

infinitely many ideals

does the ring $\Bbb Z_2[x]$ have infinitely many ideals like $\Bbb Z[x]$? How do you know if a ring has a finite number of ideal. particularly asking about seemingly large rings.
1
vote
1answer
73 views

Can we prove, without axiom of choice, that the set of all zero divisors (including $0$) of a commutative ring with unity contains a prime ideal?

Let $R$ be a commutative ring with unity , I know that assuming axiom of choice , if $A$ is the set of all zero divisors (including $0$ ) then it is a union of prime ideals so it contains a prime ...
2
votes
1answer
24 views

Ideal in ring product [closed]

Let $R$ and $S$ be two rings, then $K$ is an ideal in $R\times S$ if and only if there are $K_1$ and $K_2$ such that $K_1$ is an ideal of $R$ and $K_2$ is an ideal of $S$ such that $K = K_1 \times ...
7
votes
3answers
202 views

Maximal left ideals $\leftrightarrow$ simple left modules

Suppose $R$ is a ring with unity. This passage in Lang's Algebra discusses the correspondence $$\text{Maximal left ideals of $R$} \leftrightarrow \text{Simple left $R$ modules},$$ where I corresponds ...
1
vote
2answers
33 views

Question on intersection of ideals.

Consider the polynomial ring $k[x_0,x_1]$, and the two ideals $I=(x_0,x^2_0 x^2_1,x^3_1)$ and $J=(x^2_0,x^2_1)$. What is the intersection of these ideals? I found that $I \cap J = ...
1
vote
2answers
45 views

bijection between prime ideals of $R_p$ and prime ideals of $R$ contained in $P$

Given a ring $R$, I want to show that the localization of $R$ at the prime ideal $P$ of $R$(denoted as $R_P$) is isomorphic to the set of prime ideals of $R$ contained in $P$. That is: ...
1
vote
1answer
55 views

Finding primary decompositions of ideals

I have been given this example of the decomposition of an ideal into primary ideals $$ I =⟨x^2,xy,x^2z^2,yz^2⟩$$ Then the primary decomposition of this ideal is: $$⟨x^2,y⟩∩⟨x,z^2⟩⊆K[x,y,z]$$ This ...
0
votes
1answer
19 views

Irreducible decomposition of varieties vs primary decomposition of ideals

I'm new to working with varieties, and the statement mentioned below is left as an exercise, but I'm having some difficulty trying to prove it. Let $R=K[x_1,...,x_n]$. If $X=X_1\cup ... \cup X_n$, ...
1
vote
1answer
33 views

Show that the variety $V(I(X))=X$

In the ring $R=K[x_1,...,x_n]$, the variety of an ideal is defined as $V(I)=\{(a_1,...,a_n)\in K^n|f(a_1,...,a_n)=0, \space\forall f\in I\}$ The ideal of a variety is defined as $I(V)=\{f\in ...
0
votes
3answers
44 views

Questions about homomorphisms?

I'm running into algebra using homomorphisms for A LOT of things, but I don't think I have a full understanding of what they are. I have read on this site a good explanation that was really great, but ...
1
vote
0answers
41 views

Question about principle ideals and polynomials and quotient ring construction?

Say I have a ring of polynomials in $R[x]$. I wish to define the quotient group $R[x]/<x^2+1>$. My question lies in the ideal generated by $<x^2 + 1>$. This is the set of all numbers such ...
0
votes
1answer
30 views

Question about maximal ideals in a Polynomial ring

I'm reading Freiligh and he has an example in a book, here it is: Let $F = R$ and let $f(x) = x^2 + 1$. Which is well known to have no zeros in $R$ and thus is irreducible over $R$ by a theorem ...
3
votes
1answer
42 views

Solving Mordell Equations

I am looking at the solution provided in my lecture notes for solving this particular mordell equation: $$y^2 = x^3 − 2$$ which factors into: $$ (y- \sqrt {-2})(y+ \sqrt {-2}) = x^3 $$ In the ...
4
votes
1answer
44 views

For a group ring, finding if a subset is an ideal. [closed]

For the ring $R=SG$, the group ring of a finite group G over an integral domain S, and a subset $I=(g-1|g \in G)$, is this subset an ideal? Is it prime? How about maximal?
2
votes
1answer
20 views

Showing a Ring and an Ideal are equal

Q: Let R be a commutative ring with unity. Prove that if A is an ideal of R and A contains a unit, then A=R. This is my attempt at an answer: It suffices to show that all the elements in R are in A. ...
1
vote
1answer
27 views

Proving that the three statements on units are equivalent

Let $R$ be a ring and $x\in R$ i) $x$ is a unit ii) $\bar{x}$ is a unit in $R/P$, where $P$ is a prime ideal iii) $\frac{x}{1}$ is a unit in $R_P$, where $P$ is a prime ideal i)$\implies$ ii) if $x$ ...
1
vote
1answer
42 views

how to tell if a ring is noetherian

In general how would i tell if the rings $\mathbb{Z}[\sqrt d]$ and $\mathbb{Z}[\frac{x}{y}]$ are noetherian? I know that the ring $\mathbb{Z}$ is noetherian as all ideals are contained in a finite ...
3
votes
1answer
64 views

Ideals in $\mathbb{Z}[X]$ with three generators (and not with two) [duplicate]

It is well-known that in $\mathbb{Z}[X]$ we do have non-principal ideals, for example $(2,x)$. This is an ideal with two generators. Now I was wondering if there exists an ideal with three generators, ...
1
vote
2answers
45 views

Ideals in $\mathbb{C}[x,y]/I$ where $V(I)$ is finite set.

$R = \mathbb{C}[x,y]$, $I \subset R$ ideal and $V(I)$ - is finite set. I want to prove that all prime ideals in $R/I$ are maximal. I know that it's true for $R/radI$. Let $\pi$ be natural map $R/I ...