Intereting Posts

The degree of the extension $F(a,b)$, if the degrees of $F(a)$ and $F(b)$ are relatively primes.
Specify a bijection from to (0,1].
Does constant modulus on boundary of annulus imply constant function?
Polynomials over finite fields
“Every linear mapping on a finite dimensional space is continuous”
Prove $2^b-1$ does not divide $2^a + 1$ for $a,b>2$
Proof: A loop is null homotopic iff it can be extended to a function of the disk
How have I incorrectly calculated the area A inside the curve $r =1$ and outside the curve $r = 2\cos(\theta)$
Find the value of : $\lim_{x \to \infty}( \sqrt{4x^2+5x} – \sqrt{4x^2+x})$
Does this sum of prime numbers converge?
What is the accepted syntax for a negative number with an exponent?
Counting necklaces with a fixed number of each bead
sequence lemma, relaxing some hypothesis of a theorem
Finding a number given its remainder when divided by other numbers
If $T\alpha=c\alpha$, then there is a non-zero linear functional $f$ on $V$ such that $T^{t}f=cf$

This is a question from Atiyah and Macdonald, *Introduction to Commutative Algebra*.

Problem: Let $M$ be a Noetherian $A$-module. Show that $M[x]$ is a Noetherian $A[x]$-module.

Solution:

- Let $G$ be a group, where $(ab)^3=a^3b^3$ and $(ab)^5=a^5b^5$. How to prove that $G$ is an abelian group?
- Why are modular lattices important?
- Ideal contained in a finite union of prime ideals
- Visual representation of groups
- Is a field (ring) an algebra over itself?
- Algebraic closure for $\mathbb{Q}$ or $\mathbb{F}_p$ without Choice?

So, I can solve the problem with an extra assumption. That is, if we assume that $M$ is faithful (i.e., $Ann(M)=0$). In this case, it follows that $A$ is necessarily Noetherian as well. Hence, by Hilbert’s Basis Theorem, it follows that $A[x]$ is Noetherian as well.

It can easily be shown that $M[x]\cong A[x]\bigotimes_A M.$ I can also show that the tensor product of two Noetherian modules is Noetherian, hence the result.

I am wondering though, does this result hold without this extra assumption? I guess, I’m not also sure whether the ring $A$ is always necessarily Noetherian if we do not require that our module $M$ be faithful? All I can show is that if $M$ is Noetherian as an $A$-module then $A/Ann(M)$ is necessarily Noetherian as a ring.

Thanks!!

- On the relationship between the commutators of a Lie group and its Lie algebra
- Prove that $\Bbb{Z}/I$ is finite where I is an ideal of $\Bbb{Z}$
- Showing Parallelism is an equivalence relation in $\Bbb R ^2$
- Decomposition of polynomial into irreducible polynomials
- Elementary proof for $\sqrt{p_{n+1}} \notin \mathbb{Q}(\sqrt{p_1}, \sqrt{p_2}, \ldots, \sqrt{p_n})$ where $p_i$ are different prime numbers.
- Meaning of “a mapping preserves structures/properties”
- Inducing homomorphisms on localizations of rings/modules
- Tensor products commute with direct limits
- When is a Dedekind group abelian?
- Why don't we study algebraic objects with more than two operations?

Set $I=\hbox{Ann}_A(M)$.

Since $M$ is a noetherian $A$-module, we get that $A/I$ is a noetherian ring and by Hilbert’s Basis Theorem $(A/I)[x]$ is a noetherian ring, too.

On the other side, since $M$ is a noetherian $A$-module, $M$ is a finitely generated $A$-module, and thus a finitely generated $A/I$-module. It follows that $M[x]$ is a finitely generated $(A/I)[x]$-module, hence noetherian. But $(A/I)[x]\cong A[x]/I[x]$, and since $I[x]=\hbox{Ann}_{A[x]}(M[x])$ we get that $M[x]$ is a noetherian $A[x]/\hbox{Ann}_{A[x]}(M[x])$-module. It is well known that the submodules of $M[x]$ as an $A[x]$-module coincide with the submodules of $M[x]$ as an $A[x]/\hbox{Ann}_{A[x]}(M[x])$-module, and we are done.

Notice that Hilbert’s Basis Theorem is the special case $M=A$. But the same proof works here:

Let $U$ be an $A[x]$-submodule of $M[x]$. Consider the subset $N \subseteq M$ of all elements which appear as the leading coefficient of a polynomial in $U$. It is easily checked that this is actually an $A$-submodule of $M$. By assumption, $N$ is finitely generated, say by $n_1,\dotsc,n_s$. Choose polynomials $p_i \in U$ with leading coefficient $n_i$, i.e. $p_i = n_i x^{d_i} + \text{lower terms}$. Let $d = \max_i d_i$. For $k < d$ we similarly have the submodule $N_k \subseteq M$ of all elements which appear as the leading coefficient of a polynomial in $U$ which has degree $\leq k$. It is finitely generated, say by $n_{k1},\dotsc,n_{ks}$ with corresponding polynomials $p_{i1},\dotsc,p_{is}$. We may choose $s$ uniformly (this simplifies notation).

*Claim.* The $A[x]$-module $U$ is generated by the $p_i$ and the $p_{ki}$ for $k<d$ and $0 \leq i \leq s$.

*Proof.* Let $q \in U$, say $q = m x^k + \text{lower terms}$. We make an induction on the degree $k$. If $k \geq d$, we may write $m = a_1 n_1 + \dotsc + a_s n_s$ with $a_i \in A$. Then $q-\sum_i a_i x^{k-d_i} p_i \in U$ is of lower degree, so that we are done by induction. If $k<d$, we may write $m=a_1 n_{k1} + \dotsc + a_s n_{ks}$ with $a_i \in A$. Then $q-\sum_i a_{ki} x^{k-\deg(p_{ki})} p_{ki} \in U$ is of lower degree, so that we are done by induction. $\square$

The module structure on M[x] is coincided with the A/a [x]- module structure where a is the ideal ann(M). Since you have proved that M[x] is a Noetherian A/a[x ] module, M[x] is automatically a Noetherian A[x] module.

- To find all odd integers $n>1$ such that $2n \choose r$ , where $1 \le r \le n$ , is odd only for $r=2$
- Examples of categories where epimorphism does not have a right inverse, not surjective
- How to find the GCD of two polynomials
- How can $\frac{x^3-4x^2+4x}{x^2-4}$ be both $0$ and “undefined” when $x = 2$?
- Continuity of a vector function through continuity of its components
- How many ways to divide group of 12 people into 2 groups of 3 people and 3 groups of 2 people?
- Triangle Quadrilateral and pentagon whose areas form a set of consecutive positive integers.
- Trigonometric identities using $\sin x$ and $\cos x$ definition as infinite series
- Show every subgroup of D4 can be regarded as an isotropy group for a suitable action of D4
- $\mathbb R$ vs. $\omega+\omega$
- “Planar” graphs on Möbius strips
- How to prove the midpoint of a chord is also the midpoint of the line segment defined by the points of intersection of other two chords with it?
- Spaces with the property: Uniformly continuous equals continuous
- Splitting of conjugacy class in alternating group
- Show $\sin x = bx$ has at least 3 real solutions.