Questions about commutative rings, their ideals, and their modules.

learn more… | top users | synonyms (1)

0
votes
1answer
15 views

Modules with finite support in $\mathrm{Max}(R)$

Let $R$ be a commutative Noetherian ring, and $M$ be an $R$-module. Is the following statement true? If $\mathrm{Supp}_R(M)$ (support of $M$) is a finite subset of $\mathrm{Max}(R)$ (the set of all ...
1
vote
0answers
21 views

For a discrete valuation ring to be a PID, must it have an element of valuation 1?

When is a discrete valuation ring a PID? Must it have an element of valuation 1 or is this not necessary?
0
votes
0answers
11 views

Bass numbers of a minimax module

Let $R$ be a commutative Noetherian ring, and $M$ be a minimax $R$-module. Are the Bass numbers of $M$ are finite? (A module is called a minimax module, when it has a finite submodule, such that the ...
3
votes
0answers
86 views

Ring of rational power series

Let $A$ be any commutative ring with 1. A power series $f\in A[[t]]$ is called rational if we can find a $g\in A[t]$ such that $fg\in A[t]$. It is clear that the set of rational power series forms a ...
0
votes
0answers
21 views

The injectivity of $f\mapsto f\circ v$ on $\hom(M'',N)$ implies that $v$ is surjective [duplicate]

I'm an undergrad getting familiar with some notions of commutative algebra by reading Atiyah-McDonald. On the exact sequences part, a part of the proof of (2.9) is proving that if ...
0
votes
1answer
22 views

Example of commutative algebra over integers where there exists $x$ such that $x = y^2$ for several $y$'s

Is there a commutative algebra over integers such that there exists $x$ with $x = y^2$ for several $y$'s? Also, is there a commutative algebra over integers such that for every $k \in \mathbb{N}$, ...
3
votes
2answers
174 views

Krull dimension of the injective hull of residue field

Let $(R,\mathfrak{m})$ be a noetherian local ring, and $E=E_R(R/\mathfrak{m})$ the injective hull of $R/\mathfrak{m}$. What do we know about the Krull dimension of $E$? Thank you.
4
votes
1answer
102 views

Equivalence of definitions of Krull dimension of a module

I've seen two definitions of Krull dimension of a module $M$ over a (commutative) ring $R$, and their equivalance does not seem obvious: Matsumura on page 31 of his book Commutative Ring Theory ...
0
votes
0answers
44 views

Injective dimension and Krull dimension of a module

Let $R$ be a regular local ring and $M$ an $R$-module (not necessarily finite), then the injective dimension $\operatorname{id}_R(M)$ of $M$ is finite. When $M$ is finitely generated, we have ...
0
votes
0answers
11 views

Characterization of ideals generated by homogeneous polynomials in terms of $f^{(d)}$ in Gathmann's notes.

On pg. 37 of Gathmann's Algebraic Geometry notes, the following is mentioned: For every $f\in k[x_0,x_1,\dots,x_n]$ be an ideal. The following are equivalent: I can be generated by ...
0
votes
0answers
30 views

Exercise on localization as a colimit

I am doing the following exercise: Suppose $S$ is a multiplicative set of $A$, an integral domain, and interpret $S^{-1}A = \varinjlim \dfrac{1}{s}A$, where the limit is over $s \in S$ and in the ...
1
vote
1answer
28 views

Ideal quotient and extension

Let $R$ be a commutative ring and $S$ a subring of $R$. If $I$ is an ideal of $S$ define $I^e$ as the ideal in $R$ generated by $I$, i.e. the extension of $I$ in $R$. If $I,J$ are ideals in $S$, we ...
2
votes
2answers
19 views

A direct limit concerning some homomorphisms

In an algebra text there is the following argument I am stuck in the last part of which: "Let $f:B→C$ be an epimorphism in the category of $R$-modules, and $D=∑_{n=1}^∞c_nR$ be a countably generated ...
0
votes
1answer
40 views

Isomorphism between $R$ and its dual space

Let $R$ be a finite dimensional algebra over a field $K$. If $f$ is an $R$-module monomorphism from $R$ to the dual $K$-space $\operatorname{Hom}_K(R,K)$ why it is onto? Thanks!
3
votes
1answer
34 views

Injective hull of $\mathbb{ Z}_n$ [duplicate]

What is the injective hull of $\mathbb Z_n$? I know that in case $n=p$ is prime, the injective hull would be isomorphic to $\mathbb Z_{p^∞}$, but in general case, I have no idea. Can anyone be of ...
1
vote
2answers
23 views

Cardinality of minimal generating set of a module is constant

Let $R$ be a commutative ring with unity and $M$ be a finitely presented module over $R$. Then how to show that for any minimal generating set $S$, the cardinality is same? Edit: Thanks to Martin to ...
3
votes
0answers
32 views

Resultants of two polynomials over a ring

Let $k$ be a field $f,g\in k[x,y]$ be two polynomials. The resultant $R\in k[x]$ is a polynomial function of the coefficients of $f$ and $g$, such that $f$ and $g$ gave a common zero (in an extension) ...
1
vote
1answer
21 views

Rational group algebras and maximal orders

Let $G$ be a finite group, and $\mathbb{Q}[G]$ be the rational group algebra. Then the group ring $\mathbb{Z}[G]$ is an order in $\mathbb{Q}[G]$, but is not in general a maximal order. What can we ...
2
votes
2answers
116 views

Finite injective dimension

Let $A$ be a commutative noetherian ring. Is it true that if $A$ is regular then any module over it has a finite injective dimension? What if $A$ is Gorenstein? Any reference who discuss this?
0
votes
1answer
20 views

A vector space in the form of a tensor product

Let $R$ be a commutative domain with fraction field $K$. It is known that $K_R$ is injective. Now, if $M_R$ is a torsion-free module and we localize at $S=R-0$ we get $M⊗_RK=S^{-1}M⊇M$. My question ...
3
votes
2answers
75 views

How to show this ring is not a UFD

I am trying to show that $R=\Bbb Z[x,y,z,w]/(xw-zy)$ is not a UFD. Let $I=(xw-zy)$. Let $X=x+I$, $Y=y+I$, $Z=z+I$, and $W=w+I$. My guess is that $X$ is irreducible and therefore $(X)$ is a ...
1
vote
3answers
99 views
+50

Some practical questions on cohomology and the ring $\mathbf{Z}[x]/(x^2)$

So I know that the cohomology ring of $S^n$ is $\mathbf{Z}[x]/(x^2)$ with "$x$ in degree $n$"; if we ignore the grading then this ring fails to distinguish the spheres. What is actually meant by "in ...
2
votes
2answers
350 views

Quotient of a local regular ring

How can I prove this: Let $A$ be a local regular ring with maximal ideal $\mathfrak m$ and $x \in \mathfrak m-\mathfrak m^2$. Then $A/(x)$ is a regular ring. Prove also that if $x\in\mathfrak ...
2
votes
4answers
193 views

$\mathbb{C}[x,y]/(f,g)$ is an artinian ring, if $\gcd(f,g)=1$. [on hold]

This problem extends the fact that $\mathbb{C}[x,y]/(x^n,y^m)$ is artinian ring. Let $f,g \in \mathbb{C}[x,y]$ such that $\gcd(f,g)=1$. Show that $\mathbb{C}[x,y]/(f,g)$ is an artinian ring.
1
vote
1answer
36 views

When is $k(X)$ algebraic over $k(Y)$ for a dominant morphism $f:X\rightarrow Y$ between varieties.

Let $f:X\rightarrow Y$ be a dominant morphism between irreducible varieties over an algebraically closed field $k$. When is $k(X)$ algebraic over $k(Y)$? Is there an if and only if criterion? What if ...
-1
votes
2answers
73 views

Nonintegral element and a homomorphism

Assume $R\subseteq S$ are rings. Choose $x\in S$ nonintegral over $R$. I want to define a homomorphism from $R[x^{-1}]$ to an arbitrary field containing $R$ which maps $x^{-1}$ to zero. I was ...
5
votes
1answer
328 views

Krull dimension of Noetherian local rings is finite

Does anyone know an "elementary" proof of the fact that a Noetherian local ring has finite Krull dimension? The one I know is from Atiyah&Macdonald's book Introduction to Commutative Algebra, ...
-5
votes
0answers
19 views

direct sum and product on modules in commutative algebra [on hold]

in finite case direct sum and product are equal, but not otherwise.give examples. also in what situation we use direct sum and product . what is the difference between direct sum and ordinary sum. ...
2
votes
1answer
96 views

Help in this notation in Fulton's Algebraic Curves book

I'm reading Fulton's Algebraic Curves book, I'm stuck in the following proposition (page 105): In fact, what I didn't understand is the following notation in the proof of this proposition: Why ...
2
votes
0answers
66 views

If $R$ is a domain and $M$ a finitely generated $R$-module, is it true that $\bigcap_{f\in M^{*}}\ker{f}=\operatorname{Tor}M$?

Let $R$ be a domain and $M$ a finitely generated $R$-module. Let $M^{*}=\hom_{R}(M,R)$. Let Tor$M$ be the torsion submodule of $M$. It it true that $$\displaystyle\bigcap_{f\in ...
7
votes
2answers
178 views

Showing that $x^3+y^3+z^3=0$ is not rational

Is there a short proof that $F:x^3+y^3+z^3=0$ in $\mathbf{P}^2$ is not rational, apart from using the genus? Perhaps this is an elliptic curve, so every morphism $\mathbf{P}^n\rightarrow F$ is ...
0
votes
1answer
51 views

Proof that presheaf is a sheaf for Spec

Atiyah Macdonald define presheaf (chapter 3, exercise 23) on the base of $Spec(A)$, where $A$ is commutative ring with $1$, as follows $$ \mathfrak{F}(X_f) = A_f, $$ where $X_f$ is a basic open set ...
3
votes
1answer
112 views

Endomorphisms of the maximal ideal of a local ring

Let $R$ be a commutative local ring with maximal ideal $\mathfrak{m}$. Is it true in general that $\text{Hom}_R(\mathfrak{m},\mathfrak{m})\cong \text{Hom}_R(\mathfrak{m}, R)$? What if the Krull ...
1
vote
0answers
38 views

Direct image of the exceptional divisor along a blow-up

Let $X=\mathrm{Spec}(k[x_1,\ldots,x_n])$ for $n\geq 2$, and let $\mathcal{I}=\widetilde{I}\subseteq\mathcal{O}_X$ for an ideal $I\subseteq k[x_1,\ldots,x_n]$. Let ...
1
vote
2answers
136 views

Every element in a ring with finitely many ideals is either a unit or a zero divisor.

I came across the above proposition on mathstackexchange If every nonzero element of $R$ is either a unit or a zero divisor then $R$ contains only finitely many ideals. the link asks a different ...
0
votes
2answers
45 views

Preimages of coprime ideals

Assume $R,S$ are commutative rings, $f:R\to S$ is a surjective ring homomorphism and $I,J$ are coprime ideals in $S$. Must $f^{-1}(I)$ and $f^{-1}(J)$ be coprime in $R$?
4
votes
0answers
69 views

Flatness after dividing out a minimal prime ideal

Let $A \hookrightarrow B$ be an extension of finitely generated, reduced $k$-algebras, where $k$ is a field of characteristic zero such that $B$ is a free $A$-module of finite rank. Let $A$ be an ...
1
vote
0answers
49 views

Quotient of local ring is of finite length

My objective is to show that $\mathcal{O}_{P}/(f,g)$ is of finite length as a $\mathcal{O}_{P}$-module. $\mathcal{O}_{P}$ is the local ring of $P = (0, 0)$. In other words it's $k[x, ...
1
vote
1answer
78 views

The spectrum of a commutative ring with unity and its “topology”

Let $\operatorname{Spec}(R)$ be the set of prime ideals in the commutative ring with unity $R$, and let $\mathfrak a$ be some ideal. Show that we get a topological space if we define the closed sets ...
2
votes
1answer
168 views

Does codimension equal height in complete local domains?

For an ideal $I$ in a commutative ring $R$, define $\operatorname{codim}I=\dim R-\dim R/I$. Does codimension equals height for all ideals in the formal power series ring? Does this hold for complete ...
2
votes
1answer
44 views

Von Neumann regular but not self-injective ring

I want an example of a von Neumann regular ring which is not self-injective. My thanks go to anybody answering.
1
vote
1answer
257 views

When is the localization of a module trivial?

Let $R$ be a commutative ring and $M$ a finitely generated $R$-module. Let $S^{-1}M$ be localization of $M$, where $S$ is a multiplicatively closed subset of $R$. How to show that $S^{−1}M =0$ if ...
2
votes
2answers
66 views

Minimal injective resolution of a module

Let $R$ be a commutative Noetherian ring and $M$ an $R$-module. Let $0\rightarrow M \rightarrow E^{\bullet}$ be a minimal injective resolution of $M$ and $0\rightarrow M\rightarrow I^{\bullet}$ be an ...
0
votes
1answer
39 views

Completion of quotient of polynomial ring

Hartshorne's Algebraic Geometry uses the following facts on page 35 without proof: The completion of $(k[x,y]/(y^2-x^2-x^3))_{(x,y)}$ is $k[[x,y]]/(y^2-x^2-x^3)$ and that of $(k[x,y]/(xy))_{(x,y)}$ is ...
4
votes
1answer
141 views

$k$-algebra homomorphism of the polynomial ring $k[x_1,\dots,x_n]$

Let $\phi:k[x_1,\dots,x_n]\mapsto k[x_1,\dots,x_n]$ be a $k$-algebra homomorphism with $\phi(x_i)=f_i$, where $k$ is algebraically closed and has characteristic zero. I have the following questions: ...
0
votes
0answers
101 views

Multiplicity of a module in a particular case

We define multiplicity of a module M of dimension $d>0$ as $$mult(M) := lc (P_M) (d-1)!$$ where $P_M$ denotes the Hilbert polynomial of M. Equivalently, we have $mult(M) = Q_M(1)$, where $HP_M (z) ...
1
vote
1answer
27 views

Subbase of a topology containing prime ideals (commutative ring)

Let $A$ be a commutative ring. Prove that the set of the ideal primes of $A$, along with $A$, is a subbase of some topology on (the subjacent set of) $A$ and that the complements of the prime ideals ...
2
votes
1answer
40 views

A statement related to Hilbert Nullstelensatz

By Hilbert Nullstelensatz we know that for any field $k$, every maximal ideal of $k[x_1, ..., x_n]$ has residue field a finite extension of $k$. I also did an exercise which goes: any integral domain ...
0
votes
1answer
25 views

Does extension of scalars take Noetherian modules to Noetherian modules?

Suppose $A$ is a commutative ring with unity, and $B$ is an $A$-algebra. If $M$ is a Noetherian $A$-module, is $M \otimes_A B$ Noetherian as a $B$-module? Note that there are no finiteness conditions ...
0
votes
1answer
46 views

A nonregular local ring [duplicate]

Consider the ring of the formal power series $k[[T_1,\ldots,T_n]]$ ($k$ algebraically closed) where $\mathfrak m$ is the maximal ideal. If $f\in\mathfrak m^2$, why $$\frac{k[[T_1,\ldots,T_n]]}{(f)}$$ ...