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

learn more… | top users | synonyms (1)

3
votes
0answers
20 views

Tensor product of injective ring homomorphisms

What is an example of two injective homomorphisms $R \to A$, $R \to B$ of commutative rings such that $R \to A \otimes_R B$ is not injective? Of course neither $R \to A$ nor $R \to B$ can be flat in ...
-5
votes
0answers
29 views

exercises 1.2.21 & 1.4.24 of Cohen -Macauly Rings Bruns - Herzog [on hold]

please help me for solution exercises 1.2.21 & 1.4.24 of Cohen -Macauly Rings Bruns - Herzog
0
votes
0answers
27 views

Extending a lemma about Castelnouvo-Mumford regularity

I'm learning Castelnouvo-Mumford regularity of associated graded ring. There is a lemma: It's from "Castelnuovo-Mumford regularity postulation number and relation types" by Markus Brodmann and ...
0
votes
0answers
26 views

Minimal resolution of a Cohen-Macaulay ring

Let $A = \mathbb{K}[x_1, \dots, x_n]/I$ be a graded ring, Cohen-Macaulay, with Hilbert polynomial equal to $p_A(t) = 5t -2$. I want to describe a minimal resolution of $A$. At the moment, I've ...
3
votes
1answer
47 views

Are there any commutative rings in which no nonzero prime ideal is finitely generated?

I feel like the example (or proof of impossibility) ought to be obvious, but I'm not seeing it.
1
vote
1answer
35 views

question about $Spec(A)$ in Atiyah's book Introduction to Commutative Algebra

Let $A$ be a ring and $X=spec(A)$, the prime spectrum of $A$. Prove that $X$ is quasi-compact. Definition of quasi compact: each open covering of $X$ has a finite subcovering of $X$. It is ...
1
vote
1answer
37 views

If $Q$ is a prime ideal of $R[x]$ then $QF[x]\cap R[x]=Q$

I'm filling the gaps in a proof and I'm stuck in this part: Suppose $R$ is a UFD and $Q$ is a prime ideal of $R[x]$, if $F$ is the quotient field of $R$ and $R\cap Q=\{0\}$, then $QF[x]\cap ...
0
votes
1answer
40 views

Subtlety in Correspondence Theorem for Rings

I have something of a subtle question about the correspondence theorem for rings. The theorem is typically stated like this: Let $A$ be a ring, and $I$ an ideal of $A$. There is a $1-1$, ...
0
votes
1answer
25 views

Maximal $R$-sequences in ideals

If $\alpha_1,...,\alpha_s$ is a maximal $R$-sequence in an ideal $I$ ($R$ is commutative with unity), is this always true that $I⊆P$, where $P\in\operatorname{Ass} (\alpha_1,...,\alpha_s)$? In case ...
0
votes
0answers
23 views

A question about the size of reduced Groebner basis

Let $I=(f,g,h)$ be an ideal in the polynomial ring $k[x,y,z]$ with $LT(f)>LT(g)>LT(h)$ in the lexorder, and $I$ is "reduced" in the sense that $LT(g)\nmid LT(f),LT(h)\nmid LT(g),LT(h)\nmid ...
2
votes
3answers
118 views

What are some examples of coolrings that cannot be expressed in the form $R[X]$?

Let $K$ denote a field. Then the polynomial ring $K[x]$ has the property that the sum of two units is either a unit, or zero. I'll bet there's heaps of other examples, though. So let a coolring be a ...
0
votes
1answer
17 views

If $R\rightarrow S$ is faithfully flat then show that it is pure, and reference for purity

I was reading about $F$-purity and $F$-splittings, when I came across then following statement which I can't proof: Definition: Let $R$ be a commutative ring with identity, and $M,N$ be $R$-modules. ...
0
votes
1answer
74 views

Does every free $R$-module have a maximal proper submodule?

Let $R$ be a commutative ring with $1$. We know that every finitely generated $R$-module has a maximal proper submodule. Is it true for any free $R$-module? In particular, can we do the following: ...
4
votes
1answer
69 views

Thinking About Fractional Ideals Geometrically

So algebraic geometry gives one a way of thinking about about rings geometrically. Like prime ideals correspond to points in the spectrum of a ring, maximal ideals are closed points and so on. This ...
0
votes
0answers
48 views

An explict description of the integral closure of $A=k[x,y]/\langle x^3-y^2\rangle$.

Let $k=\mathbb C$ and $A=k[x,y]/\langle x^3-y^2\rangle$. Denote by $X$ and $Y$ the cosets of $x$ and $y$ in $A$. Question: How do we see that the integral closure $A'$ of $A$ is $k[Y/X]$? Since ...
1
vote
1answer
71 views

Castelnouvo-Mumford Regularity

I'm learning Castelnouvo-Mumford regularity of associated graded ring. As u see in 2 pics below, Lemma 3.3. $(A,\mathfrak{m})$ is a Noetherian ring local, $\dim(A)=1$; $\mathfrak{q}=(x)$ is a ...
1
vote
1answer
37 views

How to define a smooth subvariety as the vanishing of local coordinates

I keep stumbling upon this fact, and would like to see or get an idea for the proof: An ideal of a smooth subvariety at a point of a smooth variety can be generated by a subset of a suitably chosen ...
1
vote
1answer
75 views

Ideal generated by a regular sequence

I need to prove that the ideal $$ I = (xz -y^2, x^2t^2 -yz^3, x^2yt^2 -xz^4) \subset R = \mathbb{K}[x,y,z,t]$$ is generated by a $R$-regular sequence. How can I do it? I don't know if this can ...
0
votes
1answer
63 views

Bruns-Herzog, Cohen-Macaulay Rings, Exercise 6.4.17 (b)

Let k be an infinite field, $S=k[x_{11},x_{12},x_{21},x_{22}]/(x_{11}x_{22}-x_{12}x_{21})$. Let $p=(x_{11},x_{12})$, $q=(x_{21},x_{22})$. Show that (i) $p$ and $q$ are prime ideals in $S$ ...
0
votes
2answers
49 views

Calculating the kernel of a homomorphism

Let $R := k[x, y]$ be a polynomial ring over field $k$. Consider the homomorphism $\lambda : k[x, y, z] \to R \times R$, defined by $\lambda(x) := (x, x)$, $\lambda(y) := (y, y)$ and $\lambda(z) := ...
6
votes
1answer
108 views

Why is $W_n(k)$ the unique flat lifting of a perfect field $k$ over $\mathbf{Z}/p^n$?

Let $k$ be a perfect field of characteristic $p>0$ and denote by $W_n(k)$ the ring of Witt vectors over $k$ of length $n$. In their article on the decomposition of the de Rham complex, Deligne and ...
2
votes
1answer
51 views

Valuation rings of $k(X)$

My question is how to determine all valuation rings of the field $k(X)$ containg the field $k$. I want to show that if $V$ is a valuation ring of the field $k(X)$ and $\neq k(X)$ then ...
0
votes
0answers
39 views

$I_M=J_M$ for all $M \in \operatorname{Max}(R)$ implies $I=J$ [closed]

Let $R$ be a commutative ring with unity. Show that if $I_M=J_M$ for all $M \in\operatorname{Max}(R)$ then $I=J$.
0
votes
0answers
46 views

An ideal that contained in finitely many maximal ideals but all of its elements contained in infinitely many maximal ideals

Is it possible that an ideal I in an integral domain D is contained in only finitely many maximal ideals but each element of I is contained in infinitely many maximal ideals? I am quit sure that it is ...
4
votes
0answers
63 views

Functorial approach to Ideals and Quotients, Multiplicative Sets and Localizations

I have been playing with substructures of commutative rings today and noticed that there is a strong analogy between the formation of quotients and kernels with the formation of localizations with ...
0
votes
0answers
40 views

If field has a prime field isomorphic to $\mathbb{Q}$, sufficient condition for every subring being integrally closed domain

Suppose that a field $k$ has the prime field isomorphic to the field of rational numbers $\mathbb{Q}$. Then what would be sufficient condition in order for every subring of $k$ be integrally closed ...
1
vote
0answers
33 views

When is a subring of a field an integrally closed domain? [closed]

What criteria would be necessary/sufficient for a subring of a field to be an integrally closed domain?
4
votes
0answers
59 views

Condition on a field that makes every subring an integrally closed domain

I want to know what condition would need to be additionally imposed on a field to make every subring of the field an integrally closed domain.
1
vote
1answer
46 views

Example of a module such that every proper submodule is finitely generated but the module is not.

Let $R$ be a ring with 1 and $M$ an $R$-module. What is an example such that $M$ is infinitely generated but every proper submodule is finitely generated.
1
vote
1answer
54 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
27 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
0answers
40 views

Bass numbers of minimax modules are finite?

Let $R$ be a commutative Noetherian ring, and $M$ be a minimax $R$-module. Are the Bass numbers of $M$ are finite? (An $R$-module $M$ is called minimax, if there is a finite submodule $N$ of $M$, such ...
0
votes
1answer
69 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 ...
0
votes
1answer
31 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}$, ...
0
votes
0answers
15 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
34 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 ...
3
votes
0answers
38 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
23 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 ...
1
vote
1answer
33 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 ...
3
votes
1answer
38 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
32 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 ...
2
votes
2answers
22 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
0answers
57 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
1answer
23 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 ...
0
votes
1answer
42 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!
1
vote
1answer
38 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 ...
3
votes
0answers
100 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 ...
2
votes
1answer
98 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 ...
0
votes
1answer
54 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 ...
1
vote
0answers
43 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 ...