Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [ideals]

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, ideals in Lie algebras.

1
vote
1answer
19 views

If $\mathbb{Z}\ni \underbrace{z}_{\ne 0} \in I \trianglelefteq R:=\{a+\sqrt7b:a,b\in\mathbb{Z}\}$ then $[R:I] < \infty$

Let a ring $R:=\{a+\sqrt7b:a,b\in\mathbb{Z}\}$. Let an ideal $I\trianglelefteq R$ such that $z\in I$ for some $0\ne z\in\mathbb{Z}$. Prove that $[R:I]<\infty$. I showed that $z\in I$ for some $z&...
3
votes
1answer
21 views

Algebras finite-dimensional over their base field are Artinian.

The standard proof that a $k$-algebra $A$ that is finite-dimensional as a $k$-vector space is Artinian goes as follows: "Suppose we have an infinite descending chain of ideals $I_1 \supseteq I_2 \...
1
vote
1answer
25 views

Representing an finite-dimensional algebra over a field using a quotient ring

My professor was talking about different ways to think about an algebra $A$ over a field $k$. One that she mentioned briefly but didn't go into much detail on was that of a quotient ring. Roughly the ...
1
vote
1answer
31 views

Representing an algebra over a field using a quotient ring

My professor was talking about different ways to think about an algebra $A$ over a field $k$. One that she mentioned briefly but didn't go into much detail on was that of a quotient ring. Roughly the ...
5
votes
1answer
35 views

Maximality of an ideal for showing that an algebra is in fact a field

I have an algebra $A$ over the field $F$, with the finite dimensionality $n$ as a vector space over $F$. I can also assume that $A$ is an integral domain. Assuming that $v_1,...,v_n$ is a spanning ...
1
vote
2answers
45 views

If a ring is noetherian, then so is its subring

Suppose $A\subset R$ are rings so that $R$ is also an $A$-module. Assume further that there is an $A$-module homomorphism $R\to A$ that is identity on $A$. How to deduce that $A$ is noetherian if $R$ ...
4
votes
1answer
48 views

Invertible elements of $\mathbb{Z}_3[x] / (x^4+x^3-1)^3$

Let $F=\mathbb{Z}/3\mathbb{Z}$, $h(x)=x^4+x^3-1$, $R = F[x]/(h(x)^3)$. I know $R$ has $4$ ideals and $1$ maximal ideal. Let $M$ be the maximal ideal $(h(x))/(h(x)^3)$ I need to find the number of ...
0
votes
1answer
21 views

Localization correspondence

This is taken from Neukirch's algebraic number theory Proposition 12.3. Proposition (12.3). If $a\neq 0$ is an ideal of an order (one dimensional Noetherian integral domain) $o$, then: $o/a = \...
2
votes
2answers
43 views

Proving $R-S$ contains a prime ideal when $S$ is a multiplicative set

I'm mainly trying to prove that If $0\not \in S\subseteq R$ is a multiplicative subset of a commutative ring $R$ with identity. Then $R-S$ contains a prime ideal. Now, by using Zorn's lemma, ...
1
vote
1answer
11 views

Passing from a set of generators to a set of homogeneous generators

Consider a graded ring $R=R_0\oplus R_1\oplus\dots$. Suppose the irrelevant ideal $R_1\oplus R_2\oplus \dots$ is finitely generated. How come we can assume that it is generated by a finite number of ...
0
votes
0answers
35 views

Prime ideals in $R[X]/I$

How many prime ideals do we have in $R[X]/I$ if $I =⟨(X^2 − 1)^5⟩$ ???
2
votes
1answer
48 views

Consider the order $\mathbb{Z}[\sqrt[4]{24}]$. Find all ideals of norm 100.

I have found that the ring of integers is $\mathbb{Z}[\alpha, \alpha^3/4]$ where $\alpha = \sqrt[4]{24}$. I also know that in the ring of integers $(5)$ factors as two ideals of norm $25$, and $(2)$ ...
3
votes
2answers
45 views

Ideals in an infinite direct product of fields

Let $R$ and $S$ be fields. Consider the ring $R \times S$. Since $R$ (resp. $S$) is a field, the ideals of $R$ (resp. $S$) are $\{0_R\}$ and $R$ (resp. $\{0_S\}$ and $S$). Since every ideal of the ...
1
vote
1answer
24 views

Finiteness of an algebraic variety $V(I) \subseteq \mathbb{C}^n$ where $I$ is a zero dimensional ideal of $\mathbb{C}[x_1,\dots,x_n]$

How to demonstrate this?: Let I be an ideal of $\mathbb{C}[x_1,\dots,x_n]$ such that $\frac{\mathbb{C}[x_1,\dots,x_n]}{I}$ has finite dimension ($I$ is a zero dimensional ideal). Then $V(I) \subseteq ...
0
votes
1answer
19 views

Is there a ring containing ideals where the union of the ideals forms a subring but not an ideal?

In general the union of two subrings is not a subring, and likewise for the union of two ideals. However, I was wondering if there exists an example of a union of ideals that is actually a subring but ...
2
votes
1answer
40 views

If two ideals agree on $K\lhd R$ and yield the same quotients $\pi_K(I)=\pi_K(J)$, are they equal?

Inspired by my lectures on the basics of commutative algebra, I tried to investigate whether the noetherian property still holds when taking extensions (here meaning: if $I\lhd R$ and $R/I$ both ...
-4
votes
1answer
47 views

Annihilator of intersection of ideals is sum of annihilators [closed]

Let $M$ be an $R$-module and let $I$, $J$ be ideals in $R$. If $R$ is commutative and unital and $I$, $J$ are comaximal (that is, $I + J = (1)$), prove that $Ann(I \cap J) = Ann(I) + Ann(J)$.
0
votes
0answers
21 views

prime ideal and maximal ideal [closed]

I have studied the ideas of Ideal, prime-Ideal and maximal Ideal in the book of " Ring continuous functions" by Leonard Gillman Meyer jerison , But I got into trouble. Ideal $I \subset C(X)$ is ...
2
votes
1answer
70 views

Does $\frac{b}{s} \in S^{-1} I$ directly implies that $b \in I$?

Let $R$ be a commutative ring with identity $1_R$, $0 \not \in S\subseteq R$ be a multiplicative set, and $I\subseteq R$ be an ideal of $R$.Consider the ring of quotients $S^{-1}I$. I was trying to ...
1
vote
1answer
13 views

C* algebra exact sequences and ideals

if you have C* algebras $A,B$ and $C$ and $\exists$ a short exact sequence as follows $0\rightarrow A\rightarrow B \rightarrow C \rightarrow 0 $ where the functions are $\phi$ and $\psi$ respectively, ...
0
votes
1answer
33 views

Is the ideal generated by ${4,x}$ a principal ideal in $Z[x]$? [duplicate]

I've : $I=<p,x>$ is not a principal ideal in $Z[x]$ where p is prime. My question : Is $I=<p,x>$ a principal ideal in $Z[x]$ where p is not a prime? More particularly, is the ideal ...
-1
votes
0answers
19 views

$Z[(I, J)]$ is the set of all $Z_1 \cap Z_2 $, where $Z_1 \in Z[I]$ and $Z_2 \in Z[J]$

Definition 1: $Z(f)= \{ x \in X : f(x) = 0 \}$ is a zero-set.($f \in C(X)$) $Z(X) =\{ Z(f): f \in C (X)\}$ ($C(X)$ is the ring of real continuous function on $X$.) Definition 2: A ...
4
votes
2answers
62 views

Class Number Calculation of a Real Quadratic Number Field

I am looking at the example below. Can anyone explain how they end up with the contradiction. Why do they reduce $a^2-65b^2$ modulo $5$ to show that it has no integer solutions?
0
votes
3answers
41 views

Prove $R_{\mathfrak p}$ has only one maximal ideal $\mathfrak pR_{\mathfrak p}$

$\mathfrak p$ is prime ideal of commtative ring $R$. localization $R_{\mathfrak p}:=(R-{\mathfrak p})^{-1}R$. We know $\mathfrak pR_{\mathfrak p}=(R-{\mathfrak p})^{-1}\mathfrak p$ is prime ideal of $...
0
votes
0answers
23 views

quotients by extended and contracted ideals as tensor products?

Let $f:A\to B$ be a morphism of commutative rings and let $I\vartriangleleft A,J\vartriangleleft B$ be ideals. The left square below is a pushout. Question 1. When is the right square a pushout as ...
0
votes
1answer
25 views

Relation between $k[a,b]$ and $k[c,d]$, given that $(a,b)=(c,d)$.

Let $k$ be a field of characteristic zero, $R$ a commutative $k$-algebra, $a,b,c,d \in R$ such that the ideal generated by $a$ and $b$, $I_{a,b}=(a,b)$, equals the ideal generated by $c$ and $d$, $I_{...
2
votes
1answer
53 views

Showing that an ideal in $\mathbb{Z}[\sqrt{-21}]$ is principal

I have $\mathfrak{a}=(5,\sqrt{-21}-2).$ Can anyone tell me why $\mathfrak{a}^2$ is principal? I have multiplied the ideals out to obtain $$(5, 5\sqrt{-21}-10,-17-4\sqrt{-21}) $$ How does this reduce ...
1
vote
1answer
54 views

Showing that an ideal is not principal in $\mathbb{Z}[\sqrt{-21}]$

I am trying to show that the ideal $$(2,\sqrt{-21}-1)(3, \sqrt{-21}) $$ is not principal in $\mathbb{Z}[\sqrt{-21}]$. Can anyone help with this?
1
vote
4answers
36 views

If $I$ is a maximal ideal and $a\in R -I$, then the assumption that $I + (a) = R$ gives a contradiction

While I'm trying to prove that Let $S$ be a multiplicative set in the commutative ring $R$ with identity s.t $0 \not \in S$.Let $I$ be a maximal ideal in $S^c = R - S$. Then show that $I$ is a ...
0
votes
1answer
29 views

Prime ideal containing an ideal and not intersecting a multiplicatively closed set [closed]

Suppose $R$ is a ring and $I$ an ideal of $R$, moreover suppose $M$ is a multiplicatively closed subset of $R$ such that $I$ does not intersect $M$ can you always find a prime ideal $I\subset P$ also ...
4
votes
3answers
132 views

Gaussian Integers form an Euclidean Ring

A Ring $R$ is called euclidean if a map $f:R\backslash {0} \rightarrow \mathbb{N}$ exists with the following properties: For two elements $a,b \in R$ with $b\neq 0$ there exist $q,r\in R$ with: (i) $...
3
votes
1answer
71 views

Ideal of matrix ring

I'm going over some exercises and I'm not quite sure if I completely understand this one. Let $R=M_3(\mathbb{Q})$, i.e. $R$ is the ring of all $3\times3$ matrices over rational numbers. Describe ...
0
votes
1answer
42 views

How to prove a polynomial in $\mathbb{Z}[x,y]$ is irreducible

I had the following question: Let $f(x,y) = y^5+xy^2+x \in \mathbb{Z}[x,y]$ and let: $I_2 = (f(x,y),x-1,2)$ and $I_3 = (f(x,y),x-1,3)$ be two ideals in $\mathbb{Z}[x,y]$. Prove that $f(x,...
1
vote
1answer
23 views

Fundamental Theorem on Homomorphisms - Application

I want to show 1.) For $n,m\in \mathbb Z$ with $m|n$ there exists a ring homomorphism between $\mathbb{Z}/n\mathbb{Z} \rightarrow \mathbb{Z}/m\mathbb{Z}$. I know that there is the canonical ...
1
vote
4answers
112 views

How to prove $\Bbb Z[i]/(1+2i)\cong \Bbb Z_5$? [duplicate]

How to prove $\Bbb Z[i]/(1+2i)\cong \Bbb Z_5$? My method is $$(1+2i)=\big\{a+bi丨a+2b≡0\pmod 5\big\},$$ So any $a+bi$ in $\Bbb Z(i)$,we got $$a+bi=(b-2a)i+a(1+2i).$$ So $\Bbb Z[i]/(1+2i)=\big\{0,[...
3
votes
3answers
59 views

Principal (and not principal) ideals of the ring $\mathbb{R}^{\mathbb{R}}$

Doing some exercises on rings and ideals I found some hurdles on showing that some ideals on the ring $\left(\mathbb{R}^{\mathbb{R}}, +, \cdot\right)$ are (or not) principal. Hints? Let be $f,g \...
1
vote
2answers
28 views

Proving that the radical of an ideal is an ideal [duplicate]

I'm trying to solve problem 1.18 in Fulton's 'Algebraic Curves', which is illustrated in the attached image, but I'm having some difficulties understanding the first part. The ring R is assumed to be ...
1
vote
1answer
34 views

Let $R$ be a ring and $X$ a non-empty set. Considering $A=R^X$, describe the ring $(A,+,\cdot)$

An exercise asks me to describe this ring: Let $R$ be a ring and $X$ a non-empty set. Consider $A=R^X$ with sum and multiplication defined by: $\forall \,\,f,g\in A, \forall x\in X$: $\,\,\,\,(f+g)(...
2
votes
1answer
24 views

a.c.c. and d.c.c. on radical ideals in commutative ring of dimension zero

Let $R$ be a commutative ring with unity of dimension zero (i.e. every prime ideal is maximal). Does any of the following two conditions imply the other : 1) $R$ satisfies a.c.c. on radical ideals ...
0
votes
1answer
55 views

Prove two Ideal are equal

Consider ideals of the ring $\frac{F[x]}{x^n-1}$ where $F$ is an arbitrary finite field. Suppose $g(x) | (x^n-1)$ and $f(x) | (x^n-1)$ . Also suppose $A = \left <g(x)\right>$ be the ideal that ...
1
vote
1answer
89 views

ring in which every proper ideal is primary

Let $R$ be a commutative ring in which every proper ideal is a primary ideal. Prove that $R$ has at most one nonzero prime ideal and a proper ideal $I$ is prime if and only if $[$ for all $x \in R$ if ...
2
votes
1answer
66 views

Commutative local ring with $10$ ideals

Let $R$ be a commutative ring with unity with exactly $10$ ideals (including $\{0\}$ and $R$ ) . Then is it true that $R$ is a Principal Ideal Ring ? My Work: I know that any commutative ring with $5$...
0
votes
0answers
33 views

Using the Minkowski Bound

Can someone please explain why the second sentence in this example is true.
4
votes
1answer
39 views

Determine the maximal ideals of $\mathbb R^2$ by determining **all** its ideals.

This is a letter of an exericse in Artin Algebra and has been asked and answered here as well as by Brian Bi here and Takumi Murayama here. I had a different approach here and have yet another ...
1
vote
2answers
45 views

$f(x)$ is irreducible polynomial on field $k$, $f(\alpha)=0$. $k'$ is field extension of $k$, then $k(\alpha)\otimes_kk'\cong k'[x]/(f(x))$

$k$ is a field, $f(x)$ is irreducible polynomial on $k$, $\alpha$ is a root of $f(x)$. If $k'$ is field extension of $k$, then $k(\alpha)\otimes_kk'\cong k'[x]/(f(x))$. My idea: Since $f(\alpha)=0$,...
0
votes
0answers
19 views

When a monomial ideal is saturated?

Let $I\subset S:=K[x_1,\ldots,x_n]$ be a monomial ideal and let $m=(x_1,\ldots,x_n)$. The saturation of $I$ is the ideal $I^\text{sat}:=\bigcup_{k\geq 1} (I:m^k)$. $I$ is called saturated if $I=I^\...
2
votes
3answers
39 views

If I and J are two ideals, I∪J is an ideal if and only if I⊂J or J⊂I. How can we prove the subset part?

If $I$ and $J$ are two ideals, $I \cup J$ is an ideal if and only if $I \subset J$ or $J \subset I$. How can we prove the subset part? What would the proof look like to prove that either $I$ is a ...
0
votes
2answers
57 views

If $I,J,K$ are ideals of a ring $R$ and $I+J=J+K=K+I=R$ then $IJ+JK+KI=R$

I have made some progress using the First Isomorphism theorem but would like your opinion on how this should be done
3
votes
1answer
20 views

The correspondence between maximal ideals in an algebra and it's unitalization

Let $A_+$ denote the unitalization of a $\mathbb{C}$-algebra $A$ ( which is $A \oplus \mathbb{C}$ endowed with well-know multiplication rule. I know that the map $\Omega(A_+) \to \Omega(A)$, $J \...
3
votes
2answers
27 views

When a polynomial quotient algebra is semi-simple

Let F be a field, and $p(x) \in F[x]$ an irreducible polynomial. Consider $n \in \mathbb{N}$ and let's define an ideal $J = F[x]p(x)^n$ in polynomials algebra $F[x]$, and now we shall define the ...