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
300 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 ...
7
votes
0answers
41 views

The difference between the ring version and module version of Chinese Remainder Thereom.

Chinese Remainder Theorem for Commutative Rings If $R$ is a commutative ring with $1$ and $I, J$ are ideals of $R$ that are pairwise coprime or comaximal (meaning $I + J = R$), then $IJ = I \cap J$, ...
6
votes
0answers
256 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
88 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 ...
5
votes
0answers
100 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
200 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
28 views

Stuggling to understand ideal powers

In my current algebraic number theory course we have defined the multiplication of 2 ideals as the smallest ideal containing all products of elements of both, [i.e: let I and J be ideals of a ring ...
4
votes
0answers
57 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
227 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 ...
4
votes
0answers
238 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 ...
4
votes
0answers
194 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
91 views

Cardinomials: Like cardinalities, but polynomial valued

I want to see if this notion is known (or if it makes sense). Let $F$ be a field. Let $A$ be a finite dimensional commutative unital algebra over $F$. Let $X_1$, $X_2 \in A$ etc. be such that their ...
3
votes
0answers
29 views

For which countable successor ordinals $\alpha$ is the reverse order isomorphic to the ideals of a PID ordered by inclusion?

Let $\alpha$ be a countable successor ordinal and $\alpha^{\mathrm{op}}$ the reverse order. For which $\alpha$ is there a commutative principal ideal ring $R$ such that the ideals of $R$ form a chain ...
3
votes
0answers
139 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
69 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 ...
3
votes
0answers
70 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
61 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
61 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 ...
2
votes
0answers
25 views

On units in subrings ( or ideal ) and quotient ring of ring with unity

Let $R$ be a finite ring with unity and $S$ be an ideal ( or subring ) , let $R^*$ be the group of units of $R$ and $S^*:=R^* \cap S$ , then does $|S^*|$ divide $R^*$ ? Moreover , if $S$ is an ideal ...
2
votes
0answers
60 views
2
votes
0answers
27 views

What are the ideals of $End(R)$?

Let $R$ be a ring (with unity if necessary) , then $End(R)$ i.e. the set of endomorphism of the ring $R$ (the set of all ring homomorphisms from $R$ to $R$ ) forms a ring under point-wise function ...
2
votes
0answers
28 views

Example of a maximal idea

Let $A$ be the set of bounded continuous functions from the set of real numbers to itself. Then $A$ is a ring under pointwise addition and multiplication. The set $I$ of all functions $f \in A$ ...
2
votes
0answers
28 views

Inclusion of subring in Ideal

Let $K$ be a commutative ring with mutpilicative identity and $m \ge 3$. Let $L(m,K)$ be a subring of Lie ring of matrices with coefficients from $K$ and traces = $0$: $ \{ (a_{ij}) \in M_m (K) | ...
2
votes
0answers
34 views

Symmetry of two-sided ideals

I was thinking about two-sided ideals and have some intuition-guided, soft questions regarding them. Since I don't have anyone to talk to about such subject matter, I thought I'd ask. Let a be an ...
2
votes
0answers
101 views

Generalisation of chinese remainder theorem on ideals of ring without 1

Let $I_1,\dots,I_n$ be (two-sided) ideals of a ring $R$ (not necessarily with 1), which are pairwise co-maximal, i.e. $\forall i\ne j\in \mathbb{Z}_{[1,n]}$, $I_i+I_j=R$. Let $f:R\to R/I_1\times ...
2
votes
0answers
53 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
304 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
30 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
46 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
39 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
33 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
81 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
62 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
84 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
68 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
60 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
103 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
70 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
56 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
75 views

Graded Betti Numbers of a Stable Monomial Ideal

Exercise 8.8 in Monomial Ideals by Herzog and Hibi: Let $I\subset S=K[x_{1},...,x_{n}]$ be a stable monomial ideal with $G(I)=\{u_{1},...,u_{m}\}$ and such that for $i<j$, either ...
2
votes
0answers
108 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
29 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
178 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
55 views

Product of ideals closed set

Let $R$ be a topological ring (in fact $R$ is metrizable) and let $I,J$ denote ideals of $R$. Suppose also that they are closed with respect the topology of $R$. Is it always true that the product ...
2
votes
0answers
72 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
81 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
101 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
42 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
220 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 ...