Questions tagged [noetherian]

For questions on Noetherian rings, Noetherian modules and related notions.

Filter by
Sorted by
Tagged with
1
vote
1answer
22 views

If $V/F$ has basis $\{x_1,x_2,x_3,\dotsc\}$, $T'\colon V \to V$ is the right-shift operator, $W\subset V$ is $T'$-invariant, then $\dim V/W < \infty$?

I am studying from Jacobson's Basic Algebra II (2nd edition), and I am stuck on Exercise 3 of $\S$3.2 (on page 103). Exercise 3.2.3. Let $V$ be a vector space over a field $F$, $T$ a linear ...
0
votes
1answer
30 views

Every submodule is finitely generated iff every nonempty collection of submodules has a maximal element [duplicate]

This theorem was in Keith Conrad note on Noetherian module and I read the proof. Three conditions in the theorem are equivalent, but I want to find the way to prove $(1) \Leftrightarrow (3)$ directly.
2
votes
1answer
45 views

locally noetherian scheme with integral local rings is disjoint union of integral schemes.

I have read in some places that a if you have a locally noetherian connected scheme $X$ such that $\forall x \in X$, $\mathcal{O}_{X, x}$ is a integral domain, then $X$ is the disjoint union of ...
3
votes
0answers
38 views

Systematic Way to find System of Parameters of Local Rings

In Noetherian local rings $(R,\mathfrak{m})$ one can always find a system of parameters $a_1, \dots, a_n \in \mathfrak{m}$, i.e. elements such that $$ \dim(R) = \min \left\{n \in \mathbb{N} : \exists ...
0
votes
2answers
40 views

Show That Function on Ideal is Just Multiplication Map

If $R$ is a Noetherian domain, $_RM$ a torsion-free $R$-module and $I \leq R$ a left ideal. If we consider $f: I \rightarrow M$, we can write $f(x) = x m(x)$ for some $m(x) \in S^{-1}M$ where $S = R \...
0
votes
1answer
43 views

About noetherian commutative rings

I've trouble with understanding some details about noetherian rings. For example, I don't understand why this theorem is wrong: A ring $R$ is noetherian if and only if it's finitely generated $\...
0
votes
1answer
27 views

Some sufficient condition for a a Noetherian local ring to be a DVR

Let $R$ be a Noetherian local ring with maximal ideal $\mathfrak{m}$ and $k = R/\mathfrak{m}$ be its residue field. I would like to show that $$ \dim_k{\mathfrak{m}/\mathfrak{m}^2}=1 $$ ...
0
votes
1answer
35 views

Hilbert's basis theorem

In first proof of wikipedia: Why the $deg(f_i)$ is a non-decreasing sequence of naturals?
0
votes
0answers
42 views

Localization of Noetherian rings

I have this exercise: Let $R$ be a Noetherian ring. Let $S\subseteq R$ be a multiplicatively closed set. Prove that $S^{-1}R$ is a Noetherian ring. First off we claim that given a subset $I\subset ...
1
vote
1answer
55 views

Atiyah Macdonald Exercise 6.2

Let $M$ be an $A$-module. If every nonempty set of finitely generated submodules of $M$ has a maximal element, then $M$ is Noetherian. One way to see this is that every submodule of $M$ is finitely ...
0
votes
1answer
64 views

Converse of : If $M$ is Noetherian then $M_m$ is Noetherian for every $m\in\operatorname{Max}(R)$.

Let $R$ be a Noetherian ring and $M$ be an $R$-module. We know that if $M$ is Noetherian then $M_m$ is a Noetherian $R_m$-module for every $m\in\operatorname{Max}(R) $. Now, I want to know if the ...
1
vote
0answers
46 views

Intersection of ideals equal to their product on noetherian ring

Let $R$ be a noetherian ring, $I\le R$ and $x\in R$ such that $\forall\frak{p}\in$Ass$(R/I)$, $x\not\in\frak{p}$. Show that $(x)\cap I=(x)I$. Obviously, we have the inclusion $(x)I\subseteq (x)\cap I$...
0
votes
0answers
51 views

Depth of a local ring

Let $(R,\mathfrak m)$ be a Noetherian local ring and $\mathfrak m$ is an associated prime of some $(x)\subset \mathfrak m$. I need to show that $\operatorname{depth}(\mathfrak m,R)\leq 1$. I need to ...
1
vote
1answer
29 views

Flaw in the proof that $M$ is noetherian given exact sequence?

Let $$0 \to M' \xrightarrow{f} M \xrightarrow{g} M'' \to 0$$ be an exact sequence of $R$-modules. Then $M$ is noetherian if and only if $M'$ and $M''$ are. In my attempt of proving this I didn'...
1
vote
1answer
31 views

Is a finitely generated subring of a Noetherian ring also Noetherian?

Is a finitely generated subring of a Noetherian ring $R$ also Noetherian? Remark: In fact I'm interested in the case $R=\mathbb C[x_1,...,x_n]$.
0
votes
0answers
21 views

depth $R_{\mathfrak p}=0$ implies $\mathfrak pR_{\mathfrak p}$ is associated to zero

Let $R$ be a commutative Noetherian ring with unity. I want to prove the fact that depth $R_{\mathfrak p}=0$ implies $\mathfrak pR_{\mathfrak p}$ is associated to zero. Since depth $R_{\mathfrak p}=...
0
votes
1answer
30 views

Let $(A, +, \cdot )$ be a ring such that $A/<x>$ is finite, for every $0 \neq x \in A$. Show that $A$ is noetherian.

I tried to show that every ideal $I$ of $A$ is finite. Let $0 \neq x \in I$. By hypothesis there is $x_1, x_2, ..., x_k \in A$ such that $$A/<x> = <x_1+<x>,..., x_k+<x>>$$ I ...
0
votes
1answer
48 views

Noetherian module does not contain a submodule $N$ which is a direct sum of $n$ simple modules

The question: Let $R$ be a ring and $M$ be a Noetherian module. Prove there is $k \in \mathbb{N}$ such for all $n > k$, $M$ does not contain a submodule $N$ which is a direct sum of $n$ simple ...
2
votes
1answer
43 views

Locally Noetherian Domain With Finitely Many Prime Ideals

Let R be a domain with finitely many prime ideals such that the localization at each prime, $R_{\mathfrak p}$, is Noetherian. Then is $R$ necessarily Noetherian?
5
votes
0answers
41 views

Non-Noetherian Domain Which is Locally Noetherian

Let $R$ be an integral domain such that the localization, $R_{\mathfrak p}$, at each prime ideal, $\mathfrak p \le R$ is Noetherian. Then is $R$ necessarily Noetherian? In the case of $R$ not ...
2
votes
1answer
44 views

Ring of Laurent Polynomials is Noetherian Implies Polynomial Ring is Noetherian?

Suppose $R[t, t^{-1}]$ is Noetherian. Is $R[t]$ necessarily Noetherian? (Here, $R$ is a commutative ring with an identity.) I am able to show that the converse is true, but am a bit stuck with this ...
3
votes
1answer
47 views

If $R$ is a right-Noetherian ring and the Jacobson radical satisfies the right Artin-Rees property, then $\bigcap^{\infty}_{n=1}\text{Jac}(R)^n = 0$

A (two-sided) ideal $I$ of a ring with identity $R$ has the right Artin-Rees property if for any right-ideal $E$ of $R$, there exists an integer $n\geq1$ such that $E\cap I^n\subseteq EI$. If $R$ ...
3
votes
1answer
64 views

Hartshorne Exercise III 3.2: $X$ is affine iff every component is affine

I'm trying to solve the following exercise frome Hartshorne's Algebraic Geometry: Exercise III 3.2. Let $X$ be a reduced noetherian scheme. Show that $X$ is affine if and only if each irreducible ...
2
votes
1answer
43 views

In a commutative local Noetherian ring $R$ with maximal ideal $J$, if $J$ is not nilpotent then $R$ is an integral domain.

We've just proved this result: Let $R$ be a commutative, local, Noetherian ring. Suppose that $J$ (the maximal ideal) is principal. Then every nonzero ideal of $R$ is a power of $J$. And now we ...
6
votes
1answer
73 views

Is Axiom of Dependence Choice necessary for two definitions of Noetherian to be equivalent?

There are two definitions of Noetherian R-module: That all ascending chains of submodules stop, and that all submodules are finitely generated. Typically people prove them equivalent with Axiom of ...
3
votes
1answer
80 views

Noetherian ring has an associated prime ideal

Question Let $R$ be a Noetherian ring. Show that there is a prime ideal $\mathfrak{p}$ and a monomorphism of $R$-modules $f:R/\mathfrak{p}\to R$. Attempt I considered the set of ideals $\{I< R: \...
1
vote
1answer
50 views

Grillet's “Abstract Algebra”, p. 148, ex. 3: Noetherian subring of a ring

Let $R$ be a Noetherian subring of a commutative ring $S$. Suppose that $S = (R\cup\{b_1,...,b_m\})$ for some $b_1,...,b_m \in S_n$. Then $S$ is Noetherian. I'm not sure how to approach this exercise....
0
votes
1answer
29 views

A nice way to phrase this theorem about ideals in Noetherian rings?

I came across this theorem: Theorem. Let $I$ be an ideal of a Noetherian ring $R$. Then there is $r \in \mathbb{N}$ with $\operatorname{rad}(I)^r \subseteq I$. Is there a concise way to state ...
0
votes
0answers
23 views

Let A be a Noetherian Ring. Prove that Sum anx^n is nilpotent iff an is nilpotent.

Let $A$ be a Noetherian Ring. Prove that $\sum_{n=0}^\infty a_n x^n$ is nilpotent iff $a_n$ is nilpotent for all $n\in\mathbb Z^+$.
1
vote
1answer
39 views

If $\mathfrak{p}$ is a prime such that $M_\mathfrak{p} \neq 0$, then $\mathfrak{p}$ contains an associated prime of $M$

I am studying from Serge Lang's Algebra (3rd edition), and in Chapter X Noetherian Rings and Modules, $\S2$ Associated Primes, we have the following proposition: Proposition 2.10. Let $A$ be ...
0
votes
1answer
55 views

How to show the following ring is not Noetherian

$R \subset \mathbb{Q}[x]$ be the subring consisting of polynomials $f = a_0 + a_1 x+\cdots+a_n x^n$ s.t. $a_0\in \mathbb{Z}$. Show that $R$ is not a Noetherian ring. Given a subgroup $A\subset \...
1
vote
0answers
52 views

On finiteness of $\cup_{n\ge 1 } \operatorname{Ass}_R (R/I^n)$

Let $I$ be an ideal of a commutative noetherian ring $R$. How to prove that $\bigcup_{n\ge 1 }\operatorname{Ass}_R (R/I^n)$ is finite ? I am aware of Brodmann's result about Asymptotic stability ...
1
vote
1answer
32 views

Show that any non-zero prime ideal of $R$ is invertible.

Theorem $:$ Let $R$ be an integral domain such that $R$ is Noetherian, integrally closed and every non-zero prime ideal of $R$ is maximal with quotient field $K.$ Then every non-zero prime ...
1
vote
1answer
74 views

In an integrally closed, Noetherian, local, integral domain of dimension $1$, the maximal ideal $P$ is eventually principal

Let $R$ be an integrally closed, Noetherian, local, integral domain of dimension 1 with unique maximal ideal $P$. Take an element $a \in P$ that is non zero. Show that for some $n$, $P^n$ is ...
0
votes
1answer
92 views

If finite product of maximal ideals of ring $R$ is zero, then $R$ is Noetherian$\iff R$ is Artinian

I'm studying commutative algebra and now I am struggling to understand the following proof: Proposition. Let $R$ be a commutative ring with $1_R$, $t\in \Bbb{Z}^+$ and $P_1,\dots,P_t \in \mathrm{...
0
votes
1answer
43 views

Let R be noetherian. If ideal $I$ is maximal with respect to the property that $R/I$ is not of finite length, prove $I$ is prime.

I'm quite lost as to how to go about proving this. My instinct is to try find some sort of contradiction, but I couldn't formulate any concrete arguments. Any ideas to prove this?
0
votes
1answer
37 views

A Noetherian domain $R$ is a UFD iff $I_{fg}=\{h\in R \mid hg\in(f)\}$ is principal for all $f,g\in R$. [duplicate]

Let $R$ be Noetherian domain. For $f,g \in R$, define the ideal $I_{fg}=\{h\in R \mid hg\in(f)\}$. Prove $R$ is UFD iff $I_{fg}$ is principal for all $f,g\in R$. I'm stuck at this problem. The ...
1
vote
1answer
39 views

Consequence of epimorphism from Noetherian $R$-module

Let $R,S$ be a commutative rings with $1_R,1_S$ respectively. In the most commutative algebra one can find the following proposition. Proposition. Let $φ:R\twoheadrightarrow S$ be a ring ...
1
vote
0answers
50 views

$R_{\mathfrak{p}}$ is integrally closed in its total quotient ring, then $R$ is integrally closed in its total quotient ring.

It is known that if $R$ is a Noetherian ring, then an element $x\in K(R)$ in its total quotient ring belongs to $R$ iff the image of $x$ in $K(R)_{\mathfrak{p}}$ belongs to $R_{\mathfrak{p}}$ for ...
3
votes
3answers
45 views

The finite generation of $M$, to conclude $M$ is Noetherian (when $R$ is Noetherian).

We know the following proposition. Proposition. Let $R$ be a Noetherian/Artinian ring and $M$ an $R$-module. If $M$ is finitely generated, then the $R$-module $M$ is Noetherian module. I was ...
0
votes
1answer
90 views

Confusion about Exercise II .5.15 in Hartshorne

I'm a bit confused about Exercise II 5.15 in Hartshorne's Algebraic Geometry, especially part (b) and (c) which are (b) Let $X$ be an affine noetherian scheme, $U$ an open subset, and $\mathscr{F}...
10
votes
0answers
116 views

Is every commutative ring a limit of noetherian rings?

Let $\mathsf{Noeth}$ be the category of noetherian rings, viewed as a full subcategory of the category $\mathsf{CRing}$ of commutative rings with one. Let $A$ be in $\mathsf{CRing}$. Question 1. ...
8
votes
1answer
215 views

Ideal in polynomial ring which contains no non-zero prime ideal

Let $J$ be a non-zero ideal in $\mathbb C[X,Y]$ such that $J$ contains no non-zero prime ideal. Then is it true that $J$ has height $1$ ? Possible approach: Since $\mathrm{ht}(J^n)=\mathrm{ht}(J)$ ...
2
votes
0answers
42 views

Ideals with equal squares in a Noetherian UFD of dimension 2

Let $I$ and $J$ be two ideals in $\mathbb C[X,Y]$ such that $\mu(I)=\mu(J) \le 3$ and $I^2=J^2$ . Then is it necessarily true that $I=J$ ? If not, then is it at least true if we assume $I,J$ are ...
2
votes
0answers
24 views

Existence of ideal in Cohen-Macaulay ring, going modulo which still gives Cohen-Macaulay [closed]

Let $R$ be a local Cohen-Macaulay ring of dimension $\le 2$. Does there necessarily exist an ideal $J$ of $R$ such that $\sqrt J$ is a minimal prime ideal of $R$ and $R/J$ is Cohen-Macaulay ?
5
votes
2answers
159 views

$K[X^2,X^3]\subset K[X]$ is a Noetherian domain and all its prime ideals are maximal

Consider $K$ field and consider the ring $R=K[X^2,X^3]\subset K[X]$. It is clear that $R$ is not a Dedekind domain, since with the element $X$ one immediately see that it is not integrally closed. But ...
0
votes
1answer
75 views

Exercise VIII.3.9 in Hungerford's Algebra

I am working on the following exercise (Exercise VIII.3.9 in Hungerford's Algebra). Let $R$ be Noetherian and let $B$ be an $R$-module. If $P$ is a prime ideal such that $P=\text{ann }x$ for ...
1
vote
2answers
53 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$ ...
0
votes
0answers
27 views

Noether Equation on Artin and Milgram Galois Theory book

On Section K Chapter 2 of Galois Book by Artin and Milgram it discusses Noether Equation, but I'm not sure what Noether Equation this is, I know about Noether Equation for symmetry in physics but not ...
3
votes
1answer
86 views

$\mathbb{R} ^ \mathbb{R}$ is a commutative ring with identity that is neither noetherian nor artinian.

let $R=\mathbb{R}^ \mathbb{R}$ (all the functions like $f:\mathbb{R} \rightarrow \mathbb{R}$). For each $f, g \in R$ and $a \in R$: $$(f+g)(a):=f(a)+g(a)$$ $$(fg)(a):=f(a)g(a)$$ I want to show that $...