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
2answers
43 views

Algebra and Maximal ideal.

I am trying to solve the following problem. If $ \mathcal{K}$ is a field and $a_1,a_2,\dots,a_n \in \mathcal{K}$. Prove that $(x_1-a_1,x_2-a_2,\dots,x_n-a_n)$ is a maximal ideal in ...
0
votes
1answer
20 views

Morita equivalence and right and left ideals of a Ring

I have been thinking a bit about Morita equivalence http://en.wikipedia.org/wiki/Morita_equivalence and I would like to know whether it also applies to subrings such as right or left ideals. And, if ...
0
votes
0answers
27 views

Number of ideals in a minimal irreducible decomposition

Assume $R$ is a local ring, $M\subseteq R$ is the maximal ideal, $I\subseteq R$ is an $M$-primary ideal and $I=\bigcap_{i=1}^n Q_i$ is a minimal irreducible decomposition of $I$ (i.e. $Q_i\subseteq R$ ...
0
votes
2answers
32 views

A basic isomorphism of modules (useful for Corollary 2.7 of Atiyah MacDonald).

Let $M$ an $A$-module, $N$ a submodule of $M$, $\mathfrak{a} \subseteq A$ an ideal such that $M = \mathfrak{a}M + N$. Then $\mathfrak{a}(M/N) = (\mathfrak{a}M+N)/N$ I am having troubles in ...
5
votes
4answers
120 views

Stably-free ideals are free?

In my class of algebraic topology, a friend of mine stated the following: If $R\ne 0$ is a commutative ring with unit and $I\subset R\oplus R$ is a submodule such that $(R\oplus R)/I\cong R$, ...
0
votes
2answers
58 views

Applications of $\mathbb{Z}/n\mathbb{Z}$ [on hold]

I would like someone to proof me this claim and give me its applications in mathematics if it's not a convention. Claim: for all positive integers $n$, the ring $\mathbb{Z}/n\mathbb{Z}$ is domain if ...
3
votes
0answers
37 views

Order of prime ideals over split primes in the class group.

Let $P$ be a prime ideal of $\mathcal O_K$ ($K$ a quadratic field) and let $P$ have norm $p$ where $p$ is a split prime. Is it possible for the ideal class $[P]$ to have order less than three? I feel ...
2
votes
3answers
88 views

Example of commutative ring that doesn't satisfy distribution of intersection over addition

I'm trying to find an example of commutative ring $R$ and ideals $\mathfrak a,\mathfrak b,\mathfrak c \in R$ such that $$\mathfrak a \cap (\mathfrak b + \mathfrak c) \neq \mathfrak a \cap ...
0
votes
1answer
54 views

Wrong proposition in “Atiyah and Macdonald”s book?!

In page 6 of "Introduction to commutative algebra" says that: $a \cap b = ab$ provided $a + b = (1)$ But i think it's not true,by considering $a = b = (2) \in \mathbb Z_6$
2
votes
2answers
61 views

How to workout what elements of a quotient ring look like?

I am trying to understand quotient rings. Firstly: $$\frac{\Bbb Z[x]}{\langle x-1\rangle}$$ The above I can understand in a fairly naive way. Since the ideal is generated by a degree one polynomial, ...
0
votes
1answer
29 views

Cardinality of Quotient ring

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
51 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 ...
0
votes
0answers
9 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
30 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
33 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
41 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
26 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
19 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
33 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
33 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
53 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
23 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
38 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
88 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
18 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
33 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
58 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
21 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 ...
1
vote
1answer
30 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 ...
2
votes
2answers
49 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
85 views

Question about ideals of a ring: $I\cdot J=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$, $$I\cdot J=I \implies J=I?$$ And $$I\cdot J=I \iff J\subseteq I?$$
2
votes
0answers
42 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
65 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
67 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
37 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
51 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 ...
0
votes
0answers
25 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
360 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.
0
votes
1answer
66 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
2answers
109 views
+100

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
31 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
38 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
43 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
17 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
32 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
42 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
40 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 ...