For question on noetherian rings and modules and related notions.

learn more… | top users | synonyms

1
vote
1answer
40 views

Noetherian vector space is finite-dimensional

Given a field $k$, and a $k$-vector space $V$ which is noetherian as $k$-module, I want to show that $V$ is finite-dimensional. Is it correct that this follows because since $V$ is noetherian, every ...
1
vote
2answers
93 views

Example of non-noetherian ring whose spectrum is noetherian and infinite

A topological space is noetherian if it satisfies the descending chain condition for its closed subsets. Let be $R$ a commutative ring and let $\mathrm{Spec}(R)$ its spectrum with Zariski topology. I ...
3
votes
0answers
36 views

Integral closure and $\bigcap \mathfrak{a}^n$

Let $R$ be a domain such that $\bigcap_{n=1}^\infty \mathfrak{a}^n=0$ holds for all proper ideals $\mathfrak{a}$ of $R$ (this holds, for example, if $R$ is Noetherian). Let $K$ be the quotient field ...
1
vote
0answers
35 views

Quotient of free algebra - Noetherian/Artinian?

Let $k$ be a field. Is the following ring noetherian/artinian? $$k\left<x,y,z\right>/\left<y^2 - xyz^5\right>$$ I ran into this problem and have no idea how to deal with it. Please help!
3
votes
0answers
42 views

$\mathbb{Z}[\sqrt{10}]$ is noetherian

How can we prove that $\mathbb{Z}[\sqrt{10}]$ is noetherian except by using Hilbert basis theorem? How can we find a sequence of ideals that satisfy the ACC?
8
votes
3answers
279 views

What is an easy example of non-Noetherian domain?

Keep in mind, I'm strictly an amateur, though a very old one. I learned about imaginary numbers barely two years ago and ideals a year ago, and I'm still decidedly a novice in both topics. In the ...
1
vote
2answers
54 views

Let $R$ be a ring, $S$ a subring and $I$ an ideal. If $R$ is Noetherian, are then $S$ and $R/I$ also Noetherian?

Let $R$ be a ring, $S$ a subring and $I$ an ideal. If $R$ is Noetherian are then $S$ and $R/I$ also Noetherian? I have done the following: $R$ is Noetherian iff each increasing sequence of ideal $...
2
votes
1answer
32 views

direct sum of noetherian modules is noetherian

We say that an $A$-module $M$ is Noetherian if all of its submodules are finitely generated. Having that definition in mind can anyone give me some hints to prove that if $M$ and $N$ are Noetherian ...
0
votes
1answer
32 views

$M$ is a $\Bbb Z/36 \Bbb Z$-module and $\bar 6 \cdot M = \{0\}$. Prove: $M$ is Noetherian $\iff$ it's Artinian

Suppose that $M$ is a $\Bbb Z/36 \Bbb Z$-module such that $\bar 6 \cdot M = \{0\}$. Prove that $M$ is Noetherian $\iff$ $M$ is Artinian. I managed to prove the forward direction: if $M$ is Noetherian,...
2
votes
1answer
33 views

Are Noetherian Rings Goldie Rings?

We know that a ring $R$ is said to be Right-Goldie if $R$, as a right $R$ module, satisfies: (i) $R$ has finite uniform dimension; (ii) every ascending chain of right annihilators of $R$ terminate. ...
0
votes
1answer
18 views

If every ideal I in R is contained in a finite series of ascending ideals, prove that only finitely many ideals of any kind contain I.

If a Noetherian ring is defined by the fact that all ideals are contained within a finite series of ascending ideals, how does this prove that the initial ideal is contained within finitely many ...
2
votes
1answer
26 views

If $I$ is finitely generated nilpotent and $R/I^{n-1}$ is noetherian then $R$ is noetherian

If $I$ is a finitely generated ideal of a commutative ring $R$ with $1$ such that $I^n = \{0\}$ and $R/I^{n-1}$ is noetherian, then $R$ is also noetherian. I don't know what I should do. If I can ...
0
votes
1answer
27 views

If $R/I$ and $R/J$ are Noetherian (resp. Artinian), then so is $R/(I \cap J)$

Let $R$ be a commutative unitary ring and $I,J$ be two ideals of $R$. I need to prove that if $R/I$ and $R/J$ are Noetherian (resp. Artinian), then so is $R/(I \cap J)$ It seems that a direct ...
1
vote
1answer
31 views

System of parameters in Noetherian local rings

I'm trying to understand the theorem for systems of parameters in Noetherian local rings, which says: Let $R$ be a Noetherian local ring with maximal ideal $m$. Then there exists an $m$-primary ideal ...
0
votes
1answer
10 views

The product $JR$ of a proper ideal $J$ and the nontrivial ideal $R$

There is a proposition on page 390 of Hungerford's ``algebra'' (1974) as follows: Proposition 4.6. Let $J$ be an ideal in a commutative ring $R$ with identity. Then $J$ is contained in every maximal ...
7
votes
1answer
57 views

On those integers $n>1$ such that any commutative ring with identity having exactly $n$ ideals is a PIR

Convention : All rings are commutative with unity unless stated otherwise. By ideals we will mean to include $\{0\}$ and $R$ also. Let us call an integer $n>1$ a "principal number" if any ring $R$...
7
votes
1answer
128 views

$R$ be a commutative ring with unity such that every surjective ring homomorphism $f:R\to R$ is injective , then is $R$ Noetherian? [closed]

Let $R$ be a commutative ring with unity such that every surjective ring homomorphism $f:R\to R$ is injective , then is $R$ a Noetherian ring ?
1
vote
2answers
41 views

Artinian - Noetherian rings and modules suggest study guide

What text or any document that has gathered this part of Algebra theory. Thanks. Pd: I seek on variety's book of commutative algebra but the subject is partially dealt
1
vote
1answer
22 views

Question about proof of Krull principal ideal theorem

How can we explain the following step in the proof of Krull principal ideal theorem: $l\{ ((z):x^n)/(z) \}$ or $l\{ ((x^n):z)/(x^n) \}$ is finite? $l(M)$ - length of module.
2
votes
1answer
47 views

About a short proof of Krull principal ideal theorem

How from this theorem I can get a proof of Krull principal ideal theorem? I understand that w.l.g. we can prove it for a Noetherian local ring. But why we can consider that $(x)$ is $M$-primary?
2
votes
1answer
43 views

If $A$ is a commutative, unitary ring and $I$ an ideal of $A$ such that $I$ and $A/I$ are Noetherian rings, then $A$ is Noetherian?

If $A$ is a commutative, unitary ring and $I$ an ideal of $A$ such that $I$ and $A/I$ are Noetherian rings, then $A$ is Noetherian ? I know just that if $A$ is Noetherian then $A/I$ is ...
1
vote
1answer
38 views

Noether's normalization lemma in practice (example)

I would like to know how to use the Noether's normalization lemma in practice. Noether's normalization lemma Let $k$ an infinite field, and $k[a_1,\dots ,a_n]$ be a finite $k$-algebra. There ...
2
votes
2answers
195 views

A Bézout UFD is a PID. [duplicate]

Let $R$ be an integral domain and a Noetherian U.F.D. with the following property: for each couple $a,b\in R$ that are not both $0$, and that have no common prime divisor, there are elements $u,v\in ...
1
vote
0answers
42 views

Proof of commutative Artinian ring is Noetherian

I think that I have a proof, but it seems much simpler than all proofs that I can find on the internet. Hence I suppose that there must be a mistake in my proof. The commutative ring $R$ is ...
2
votes
1answer
55 views

Let $R$ be a ring and $I$ be a finitely generated nilpotent ideal. If $R/I$ is noetherian (resp. Artinian) then $R$ is so.

Let $R$ be a ring and $I$ be a finitely generated nilpotent ideal. If $R/I$ is noetherian (resp. Artinian) then $R$ is so. In between step is $I^j/I^{j+1}$ is noetherian (artinian) $\forall j$. I am ...
1
vote
1answer
37 views

Example of a non noetherian module $M$ s.t. $M/IM$ is noetherian

What is an example of a non noetherian module $M$ s.t. $M/IM$ is noetherian? What is an example of a non artinian module $M$ s.t. $M/IM$ is artinian? What I was thinking that $k[x_1,...,x_n,...]$ is ...
0
votes
1answer
26 views

Let $M$ be a noetherian $R$-module and $I=\mathrm{Ann}_R(M)$. Then $R/I$ is a noetherian ring. [duplicate]

Let $M$ be a noetherian $R$-module and $I=\mathrm{Ann}_R(M)$. Then $R/I$ is a noetherian ring. I was trying to show that $R/I$ is a submodule of $M^n$ if $M=\langle f_1,...,f_n\rangle$. Now $M$ is ...
2
votes
1answer
74 views

Noetherian Lemma Contradiction

There is a noetherian version of Higman's Lemma which says If $X$ is a noetherian poset, then $X^*$ is noetherian. Now I was thinking, given $X=\{1\}$ we get $X^*=\{1,11,111,\dots\}$ by the ...
-3
votes
1answer
52 views

Let $A$ a ring such that $0=m_1m_2…m_k$ where $m_i$ are maximal ideals of $A$. [closed]

Let $A$ a ring such that $m_1m_2...m_k=0,$ where $m_i$ are maximal ideals of $A$. Then $A$ is Noetherian if and only if $A$ is Artinian.
0
votes
1answer
53 views

Can every element of a Noetherian ring be expressed as a product of irreducible elements?

Let $X$ be a Noetherian ring. Question: Can every element of $X$ be expressed as product of irreducible elements? I'm not assuming that $X$ is a Noetherian integral domain, only $X$ is Notherian....
0
votes
1answer
69 views

Noetherian rings have only finitely many minimal prime ideals. [duplicate]

We say that $p$ is minimal prime if It does not contain any other prime. Assume that $A$ is Noetherian ring Question: $A$ has only finitely many minimal primes. any suggestions please
0
votes
2answers
43 views

A module over a noetherian ring and its dual

Let $R$ be a noetherian ring, $M$ an $R$-module and $M^*$ be its dual. Is it true that if $M$ is noetherian then $f(x) = 0$ for all $f \in M^*$ implies $x =0$? How about the other way round? Ok, so ...
0
votes
0answers
61 views

why is this subring noetherian?

Let $R_1$ be a noetherian commutative ring and $R_2 \subset R_1$ be a commutative subring. We know that in general $R_2$ need not be noetherian. But I'm asked to prove that if there's a $R_2$-module ...
0
votes
2answers
70 views

Noetherian submodules and isomorphisms

Suppose $M$ is an $A$-Module, and $N$ is a submodule of $M$. Let $f:N\to M$ be an $A$-module epimorphism. How could I show that if $N$ is noetherian, then $f$ is an isomorphism? Thanks
1
vote
3answers
101 views

the ideal contains some power of the unique prime ideal containing it

Let $R$ be a Noetherian ring, and $I$ an ideal such that there exists a unique prime ideal $\mathfrak{p}$ containing $I$. Show that $I$ contains some power of $\mathfrak{p}.$ In this question, I ...
0
votes
2answers
58 views

Subgroups of $\mathbb Z^5$

Is there a nice way to see that any subgroup of $\mathbb Z \times \mathbb Z \times \mathbb Z \times \mathbb Z \times \mathbb Z$ can have at most 5 generators? I know that $\mathbb Z$ is Noetherian, so ...
0
votes
1answer
27 views

Chains of ideals contained in maximal ideal in non-Noetherian commutative ring

Given a maximal ideal $M$ in a non-Noetherian commutative ring $R$, I'm trying to determine whether or not there can exist infinite strictly ascending chains of ideals of $R$ contained in $M$. I know ...
1
vote
1answer
59 views

Polynomial ring in infinitely many variables over a noetherian ring is coherent

If $R$ is noetherian, show that the polynomial ring of infinite variables $R[x_1,x_2,...]$ is coherent, i.e. every finitely generated ideal is finitely presented. I don't really know how to get ...
0
votes
0answers
53 views

System of parameters in a Noetherian local ring

I'am studying "system of parameters" on Commutative Ring Theory by H. Matsumura. There is a theorem about height of an ideal and the number of generators of the ideal. In the proof of the part (ii), ...
5
votes
1answer
72 views

$R\subset A\subset R[X]$, $A$ is Noetherian. Is $R$ Noetherian?

Let $R\subset A\subset R[X]$ be commutative rings and suppose $A$ is Noetherian. Is $R$ Noetherian? I guess the answer is yes. Can we say from this relation that $A[X]=R[X]$? If yes, then by Hilbert ...
0
votes
0answers
28 views

The ring of polynomials in $X, Y$ all of whose partial derivatives with respect to $X$ vanish for $Y=0$ is Noetherian? [duplicate]

The ring of polynomials in $X,Y$ all of whose partial derivatives with respect to $X$ vanish for $Y=0$ is Noetherian ?
3
votes
3answers
46 views

$R$ be an infinite commutative ring with unity such that for every non-zero ideal $I$ , $R/I$ is finite ; then is $R$ a PID or at least Noetherian?

Let $R$ be an infinite commutative ring with unity such that for every non-zero ideal $I$ of $R$ , $R/I$ is finite; then is $R$ a PID or at least Noetherian ? I can only prove that $R$ must be an ...
-1
votes
1answer
38 views

If $M/N$ and $N$ are noetherian $R$-modules then so is $M$ [duplicate]

Let $M$ be an $R$-module. I want to show only using the definition of noetherian that if $N$ is a noetherian submodule of $M$ such that $M/N$ is noetherian, then $M$ is noetherian. I know that if $...
0
votes
0answers
36 views

Every non-Noetherian module has a submodule maximal with respect to being not finitely generated. [duplicate]

Let $M$ be a module. Show that if $M$ is not Noetherian then $M$ has a submodule $N$ such that $N$ is not finitely generated whenever $N<A\leq M$. The question is related to If $M$ isn't ...
1
vote
1answer
58 views

Tensor product of Hom-module and another ring

Let $A$ be a local noetherian ring, $B$ and $C$ are finitely generated $A$-algebras and $M$ is a finitely generated $B$-module. Is the natural morphism $\mathrm{Hom}_B(M,B) \otimes_A C \to \mathrm{Hom}...
0
votes
0answers
21 views

Example where the closure of a point does not contain a closed point in a Nonnoetherian Scheme

Let $x\in X$ be a point of a Noetherian scheme. Then the closure of $x$ contains a closed point. Is there an example in non-Noetherian schemes where this property does not hold?
3
votes
1answer
62 views

Endomorphism of a finitely generated module and finite length of $\operatorname{Coker}f$

Let $M$ be a finitely generated module over a noetherian ring $R$ and suppose that $\dim R≤1$. And let be a one to one homomorphism $f:M\to M$. It is true that $\operatorname{Coker}f$ has finite ...
0
votes
1answer
72 views

Finite length module over Noetherian ring

Let $M$ be a finitely generated module over a noetherian ring $R$ and suppose that $\dim R\leq 1$. Then $M$ has finite length. A preliminary lemma: There exists an chain $\{0\}=M_0\subsetneq M_1\...
1
vote
1answer
64 views

Unusual proof that $M$ is Noetherian if and only if $N$ and $M/N$ are Noetherian

Let $M$ be an $R$-module for a ring $R$. Let $N$ be a submodule of $M$. I read that one can prove that $M$ is Noetherian if and only if $N$ and $M/N$ are Noetherian using these two results: 1) If $M$ ...
0
votes
1answer
38 views

Can one add reasonable assumptions that we have $depth\ R \geq depth\ M$ for every $R$-module $M$?

Let $(R,m)$ be a commutative Noetherian local ring which is not CM. Let $M$ be a finite $R$-module. Here, Hanno shows that one can have any inequality between $depth\ R$ and $depth\ M.$ Still, the ...