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

10
votes
0answers
275 views

Maximal ideal space of $C^*$-algebra of Riemann integrable functions

Let $R([0,1])$ be the unital commutative $C^*$-algebra of complex valued Riemann integrable functions on $[0,1]$ with pointwise operations and the supremum norm. In the 1980 paper The Gelfand space ...
6
votes
0answers
89 views

Two ideals both alike in dignity, in fair Paris where we lay our scene.

Let $A$ be an integral domain. I have to show that two ideals $\mathfrak a$ and $\mathfrak b$ are isomorphic as $A$-modules if and only if there exist $a$ and $b$ such that $a\mathfrak b=b\mathfrak ...
6
votes
0answers
221 views

Showing an ideal is prime in polynomial ring

Let $k=\mathbb{C}$ and let $J$ the ideal $(xw-yz,y^{3}-x^{2}z,z^{3}-yw^{2},y^{2}w-xz^{2})$. I want to see why $J$ is a prime ideal in $k[x,y,z,w]$. I know that $Z(J)$ (the zero set of $J$) is ...
5
votes
0answers
205 views

Irreducible homogeneous ideals

I have the following question: Let $I$ be a homogeneous ideal. Is it true that $I$ is irreducible if and only if it can't be written as the intersection of two homogeneous ideals? So, is it ...
5
votes
0answers
87 views

Counterexamples to the avoidance lemma for arbitrary ideals

Let $A$ be a commutative ring with $1$. Let $I$ and $J_k$, $k=1,\dots,n$ be ideals of $A$ with $I\subseteq \cup _{k=1}^n J_k$. Then I have obtained the following: (1) If $J_k$, $k=1,\dots,n$, are ...
5
votes
0answers
196 views

Non-cyclic unit groups

Is there any way to motivate why certain factor rings of $\mathbb{Z}, \mathbb{Z}[i]$, etc., to a prime power have non-cyclic unit groups? For example, the only such non-cyclic unit groups of factor ...
4
votes
0answers
78 views

Functorial approach to Ideals and Quotients, Multiplicative Sets and Localizations

I have been playing with substructures of commutative rings today and noticed that there is a strong analogy between the formation of quotients and kernels with the formation of localizations with ...
4
votes
0answers
34 views

On maximal ideal spaces of a banach algebra

I am reading this article on maximal ideal spaces and there is this part that I don't quite understand very well, hope you guys can help me out. "Let $M(A)$ denote the maximal ideal space of a ...
4
votes
0answers
157 views

Primary decomposition of ideals

How to find a primary decomposition of the ideal $I = (X^2, XY, XZ, YZ)$ in the ring $k[X,Y,Z]$? Is there a general rule for finding primary decompositions? Also how to show that $(X,Y)^{308}$ is a ...
3
votes
0answers
122 views

Counterexamples for lcm-gcd identity and modular law for rings

In Miles Reid's Undergraduate Commutative Algebra, Exercise 1.3, we need to find counterexamples of lcm-gcd identity and modular law in the ring $A=k[X,Y]/(XY)$: $(I+J)(I\cap J)=IJ$; ...
3
votes
0answers
66 views

Isomorphism of K-algebras

Let $k[x]$ be a polynomial ring and $I$ an ideal (resp. graded). If $k\subset K$ is a field extension, then prove that there is a natural (resp. graded) isomorphism of $K$-algebras: $$K[x]/IK[x]\cong ...
3
votes
0answers
71 views

Should $0$ be considered a prime?

Typically, a prime is defined as follows: $p$ is prime iff $(p \mid xy \implies p \mid x$ or $p \mid y)$ and $p$ is not a unit or zero. But for ideals, we say the zero ideal is prime. There is a ...
3
votes
0answers
58 views

About quotient ring

I want to find the value $|\mathbb{Z}({\sqrt{2})/(3+\sqrt{2})}|,|\mathbb{Z}({\sqrt{13})/(5+\sqrt{13})}|$ and also the number of ideals of $\mathbb{Z}({\sqrt{13})/(5+\sqrt{13})}$. But still not ...
3
votes
0answers
191 views

Ideals in Gaussian integers

Let $R:=\mathbb{Z}[i]$. Prove that every nonzero prime ideal $\mathfrak{P}$ of $R$ belongs to one of the following families: 1) $\mathfrak{P}=(1+i)R$ 2) $\mathfrak{P}=(a+bi)R$ where ...
3
votes
0answers
58 views

Proof about affine varieties

Ok so I have that $k$ is algebraically closed and $F$ is an element of $k^n$, and it is a reduced polynomial. We have that $V = V(F)$. In the book it says prove that $F$ generates $I(V)$ but in my ...
3
votes
0answers
167 views

In a PID without unit an ideal is maximal iff it is prime.

As the titles says, I need to show that in a PID $R$ an ideal is maximal iff it is prime. This is easy to do if $R$ has a multiplicative identity. I can not do it if $R$ does not have an identity. It ...
2
votes
0answers
49 views

Generators of an ideal in rings of power series

Please help me for solving a homework. Let $k$ be a field and $R=k[[x_1,x_2,\ldots,x_n]]$ the ring of power series over $k$. If $I$ is an ideal of $R$ such that ...
2
votes
0answers
281 views

Multiplicity and regular sequences

We define multiplicity of a module $M$ of dimension $d>0$ as $$e(M) := \operatorname{lc} (P_M) (d-1)!,$$ where $P_M$ denotes the Hilbert polynomial of $M$ and $\operatorname{lc}(P_M)$ its leading ...
2
votes
0answers
22 views

Prove that $\mathfrak{p}$ is totally split in $L/K$ and $L'/K$ $\Rightarrow$ totaly split in $LL'/K$

Assume that $K$ be a number field and $L/K$, $L'/K$ are two separable extensions. Now let $\mathfrak{p}$ be a prime ideal of $\mathcal{O}_K$. Then if $\mathfrak{p}$ is totally split ind $L$ and $L'$, ...
2
votes
0answers
24 views

Need help with finding generator

$I=\{a+bi \in R\mid a \equiv b\pmod 2\}$ is ideal of $R=Z[i]=\{a+bi\mid a,b \in Z\}$. Can somebody help me to find the generator of $I$?
2
votes
0answers
39 views

When are all (prime) ideals of an $R$-algebra, extensions of (prime) ideals of $R$?

Let $f:R\rightarrow R'$ be a homomorphism of commutative noetherian rings. When are all (prime) ideals of $R'$ extensions of (prime) ideals of $R$? Is it true for the case $R'$ is $R$-flat?
2
votes
0answers
35 views

Dedekind's criterion clarification

Dedekind's criterion gives a way of factoring $p\mathcal{O}_K$ into prime ideals. (See http://math.stanford.edu/~conrad/154Page/handouts/dedekindcrit.pdf) Is it true that the prime ideals ...
2
votes
0answers
31 views

Lattice with $3$ operations.

If $R$ is a commutative ring and $\mathcal I(R)$ denotes its set of ideals then I know that $\mathcal I(R)$ can be looked at as a complete lattice with intersection $I\cap J$ and addition $I+J$ as ...
2
votes
0answers
69 views

Problem about Gröbner basis.

I'd really appreciate if someone could help me. The problem is the following: If $\psi_1,...,\psi_m \in k[x_1,\dots,x_n]$ and consider the $k$-algebra homomorphism: ...
2
votes
0answers
49 views

Question about Principal Ideals

I'm just learning basic ring theory and had a question about the definition of a principal ideal. For a commutative ring $R$ with unity, Fraleigh defines the principal ideal generated by $a\in R$ as ...
2
votes
0answers
52 views

Ideal of a Vanishing set $I(V(F[X,Y]))$ and how to repeat the computation.

The video I am getting this from is found here: https://www.youtube.com/watch?v=spHxUPvrkXw, it is around 5 minutes in. The first part of the question is: for $F[X,Y] = Y^2 - X^3 = 0$ find ...
2
votes
0answers
61 views

Example of irreducible ideal which is not strongly irreducible

I have read a paper with title Ideal Theory in Commutative Semirings by Reza Ebrahimi Atani and Shahabaddin Ebrahimi Atani. In this paper we have the following definitions: An ideal I is irreducible ...
2
votes
0answers
54 views

Normal ring and unmixed ideals

Let $R$ be a commutative Gorenstein local ring , $I$ an ideal of $R$ . If $R/I$ is normal ring , then for any $p \in \operatorname{Ass_{R}}(R/I)$, $\operatorname{ht}(p)= \operatorname{ht}(I)$?
2
votes
0answers
98 views

Associated primes and their heights

Let $(S,m)$ be a commutative Gorenstein local ring, $I$ an ideal of $S$ such that $\operatorname{ht} I=t$, and $R=S/I$. Let $a \in m$ be an $R$-regular element such that for any prime ideal ...
2
votes
0answers
47 views

Find the projective closure of the ideal $I=\langle y-x^2,z-x^3\rangle$

When I looked at this example, my first instinct was to homogenize only the generators of $I=\langle f_1 := y-x^2,f_2:=z-x^3\rangle$ in a new variable $w$. But then, I realized that I would miss some ...
2
votes
0answers
45 views

Intersection and Sum of Polynomial Ideals from different rings

It is well known that intersection and sum of polynomial ideals from the same ring are lattice operations. I wonder if this is still true for ideals from different rings (over the same field). ...
2
votes
0answers
54 views

Graded Betti Numbers of a Graded Ideal with Linear Quotients

Exercise 8.8(a) in Monomial Ideals by Herzog and Hibi: Let $I\subset S=K[x_{1},...,x_{n}]$ be a graded ideal which has linear quotients with respect to a homogeneous system of generators ...
2
votes
0answers
94 views

Check whether an ideal is maximal or prime

Problem. Check whether the following ideals are maximal or prime in $\mathbb{Z}[X_1,X_2]$ and $\mathbb{Q}[X_1,X_2]$: i) $(X_1,X_2)$ ii) $(X_1+X_2)$ iii) $(X_1,X_2,2)$ iv) ...
2
votes
0answers
88 views

If $R\to S$ is a ring homorphism with $J$ an ideal of $S$. Show that the preimage of $J$ is an ideal of $R$.

Let $\alpha\colon R\to S$ be a ring homomorphism. Let $J$ be an ideal of $S$, and define the preimage of $J$ by $\alpha^{−1}(J)=\{r\in R\mid \alpha(r)\in J\}$. Show that $\alpha^{-1}(J)$ is an ideal ...
2
votes
0answers
43 views

Mistake in the proof that a domain is flat as a module over any subring

Where is the mistake in the following argument? I feel that there has to be one, for example by the very existence of this article. Let $R$ be an integral domain and $S \subseteq R$ be a subring ...
2
votes
0answers
27 views

Example showing that the product of ideals must be the span of the commutators

I'm trying to find an example showing why, in a Lie algebra, we can't just define the product of two ideals $I$ and $J$ to be the elements of the form $[x,y]$ where $x \in I, \; y \in J$. I imagine ...
2
votes
0answers
165 views

Maximal ideal in commutative ring

Let $R$ be a Dedekind domain, $\mathfrak{m}$ be a maximal ideal in $R[x]$ is of the form $\mathfrak{m} = (\mathfrak{p},f(x))$ where $\mathfrak{p}$ is a maximal ideal in $R$, and $f$ is a polynomial in ...
2
votes
0answers
70 views

Kronecker's approach to unique factorisation in algebraic number theory: books and references

I have done a short course (one semester) on algebraic number theory at beginning graduate level, in which the Dedekind theory of ideals features prominently. However I have since discovered that ...
2
votes
0answers
72 views

A question about the consequence of Prime Avoidance.

I have found the following statement: Let $R$ be a Noetherian ring and $x$ is a non-zero divisor of $R$. Let $P$ be a prime ideal associated to $xR$. Then by Prime Avoidance there exists a non-zero ...
2
votes
0answers
74 views

Ideals (one-sided ideals) of $n×n$ upper triangular matrices

Is there any characterization of ideals (one-sided ideals) of $n\times n$ upper triangular matrices? I have just seen in monthly journal about $2 \times 2$ matrices in the below article Left and Right ...
2
votes
0answers
40 views

Finding reduced quadratic numbers and principal ideals

Hello :) I want to compute alle reduced quadratic numbers with discriminat $65$. We call a number $\gamma$ reduced if $\gamma>0$ and $-1<\gamma'<0$. We are working in quadratic field ...
2
votes
0answers
169 views

Find all ideals with given norm

I'm working through a final exam from 2 years ago. First task was to find the ideal class group of $\Bbb{Q}(\sqrt{-73})$. That is not the difficult work. I can give the 4 representants of the group by ...
2
votes
0answers
61 views

Subring of Z[x] with ACCP property

I have the subring of $\mathbb Z[x]$ with $f(1/2)$ always an integer. I have to check if it has ACCP (Ascending Chain Condition on Principal ideals) property or not. Any help would be greatly ...
2
votes
0answers
145 views

What are the prime ideals of $\mathbb{R}[x_1,x_2,x_3,…]$

What are the prime ideals of $\mathbb{R}[x_1,x_2,x_3,...]$? (this is the ring of polynomials over the reals with countably infinite many indeteminates). My attempt: I think taking the principal ...
2
votes
0answers
54 views

Simple $R$-module where $R$ is a semisimple ring. Possible small improvement of a proof.

Reading through the proof of the following theorem (in Introduction to Group Rings, by Milies and Sehgal) Let $L$ be a minimal left ideal of a semisimple ring $R$ and let $M$ be a simple ...
1
vote
0answers
20 views

How to prove a subset is an ideal

I just started learning about Ring Theory today and I am having some trouble truly understanding and being able to apply certain concepts. The first concept I am having trouble understanding is an ...
1
vote
0answers
27 views

Ideal in power series ring

Let $J$ be an ideal in $k[[x_1,...,x_n]]$ such that $(x_{1},...,x_{n})^{2}\subseteq J$, $\{x_{1},...,x_{r}\}\nsubseteq J$ and $\{x_{r+1},...,x_{n}\} \subseteq J$, for some $1\leq r \leq n$. I want to ...
1
vote
0answers
16 views

Unique maximal ideal in the ring of fraction

Let $R$ be a commutative ring with 1, and $P$ be a prime ideal in $R$. Let $D = R$ \ $P$. Show that $R_P := D^{-1}R$ has only one maximal ideal. Problem 2b in this link ...
1
vote
0answers
44 views

Rings and modules

Let $R$ be a ring in which every maximal ideal is a direct sum of cyclic $R$-modules. Now let $I$ be a proper ideal of $R$. What is the structure of $I$. Is it true that $I$ is a direct sum of cyclic ...
1
vote
0answers
21 views

Every right principal ideal non-emptily intersects the center — what is that?

This is a follow-up to Do Lipschitz/Hurwitz quaternions satisfy the Ore condition? Jyrki Lahtonen answered the question in the positive by noticing that every right principal ideal in either ring has ...