Let $R$ be a Noetherian ring, $I$ be an ideal of $R$ and $M$ be an $R$-module. Is the following formula true? $\operatorname{Supp}\operatorname{Hom}(R/I, M)=\operatorname{Supp}(M) \cap V(I)$ If not, under what conditions the above formula is true? Thanks.

This question already has an answer here: When $\operatorname{Hom}_{R}(M,N)$ is finitely generated as $\mathbb Z$-module or $R$-module? 1 answer

This is testing my understanding of algebras, subalgebras, & polynomial rings. Page 31. Corollary 1.5. Let $k$ be a field, and let $S = k[x_1, \dots, x_r]$ be a polynomial graded by degree. Let $R$ be a $k$-subalgebra of $S$. If $R$ is a summand of $S$, in the sense that there is a map […]

Everyone knows the rules of zero divisors like $$\forall \alpha,\beta\in\mathbb{R}\;:\;\alpha\cdot\beta = 0\Rightarrow\alpha=0\vee \beta=0.$$ But how can I prove it for $\mathbb{Z}$? My first try was this one: For $\alpha\cdot \beta=0$ and $\alpha\neq 0$ let $$0=\alpha^{-1}\cdot 0=\alpha^{-1}\cdot (\alpha\cdot\beta)=(\alpha^{-1}\cdot \alpha)\cdot\beta = \beta = 0\Rightarrow \beta = 0;$$ and the same for $\beta\neq 0\Rightarrow \alpha=0$, however i realized […]

Let $R$ commutative ring and $I$ an ideal of $R$. How do I prove that $\operatorname{Ext}^1_R(R/I,R/I)$ isomorphic to $\operatorname{Hom}_R(I/I^2,R/I)$ ? This question is an exercise of the course but has a chance of being false.

I have the following questions: (i) must every subring of the polynomial ring in two variables over the complex plane, containing the complex plane itself, be Noetherian? (ii) Are there Noetherian rings containing the complex field which are not f.g. as a ring over the complex field (maybe the field of rational functions over the […]

Here is a statement of a standard theorem in commutative algebra (see page 60 of this book): Theorem. (“Determinant Trick”) Suppose that $R$ is a commutative ring with $1$. Let $M$ be a finitely generated $R$-module, generated by $m_{1}, …, m_{n}\in M$. Let $\varphi: M\to M$ is an endomorphism, and assume that $\varphi(m_{i})=\sum_{j=1}^{n} a_{ij} m_{j}$ […]

Let $A$ be a commutative noetherian ring (I do not mind to assume that $A$ is a UFD), and assume that $A$ is regular. Recall that a commutative noetherian ring is called regular if all its localizations at maximal ideals are regular local rings. Let $w$ be algebraic over $A$ (I do not mind to […]

If $R{^m}$ is isomorphic to $R{^n}$ as $R$-modules and if $M$ is a maximal ideal of $R$ then how can I show that image of $M{^m}$ is $M{^n}$? Background: I was trying to prove that if $R{^m}$ is isomorphic to $R{^n}$ as $R$-modules then $m=n$. For this I need a step like $R{^m/M{^m}}$ isomorphic to […]

Assume $A \subseteq B \subseteq C$ are commutative rings such that $C$ is separable over $A$, namely $C$ is a projective $C \otimes_A C$-module. Separability of $C$ over $A$ does not imply separability of $B$ over $A$. In other words, it can happen that $pd_{C \otimes_A C}(C)=0$ and $pd_{B \otimes_A B}(B) > 0$. Can one […]

Intereting Posts

What is known about the minimal number $f(n)$ of geometric progressions needed to cover $\{1,2,\ldots,n\}$, as a function of $n$?
Proof of a formula involving Euler's totient function: $\varphi (mn) = \varphi (m) \varphi (n) \cdot \frac{d}{\varphi (d)}$
Why isn't there a good product formula for antiderivatives?
Is the sum of factorials of first $n$ natural numbers ever a perfect cube?
Is $\mathbb{R}/\mathord{\sim}$ Hausdorff if $\{(x,y)\!:x\sim y\}$ is a closed subset of $\mathbb{R}\times\mathbb{R}$?
How do you bring quantifiers to the front of a formula?
On maximal submodules of projective modules
Elliptic regularization of the heat equation
Example of Riemann integrable $f: \to \mathbb R $ whose set of discontinuity points is an uncountable and dense set in $$
How to find the limit of $\frac{1−\cos 5x}{x^2}$ as $x\to 0$?
If X and Y are equal almost surely, then they have the same distribution, but the reverse direction is not correct
indefinite integral of $x^n\sin(x)$
An empty intersection of decreasing sequence of closed sets
Motivation for/history of Jacobi's triple product identity
Question about Hatcher's book CW complex