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

learn more… | top users | synonyms (1)

0
votes
1answer
64 views

Problem on the number of generators of some ideals in $k[x,y,z]$ [on hold]

I have got stuck with two generator problems: The ideal $(zx,xy,yz)$ can't be generated by $2$ elements. The ideal $(xz-y^2,yz-x^3,z^2-xy)$ can't be generated by $2$ elements. Here the ...
0
votes
1answer
74 views

Intersection of all associated primes

Given $(R,m)$, a Noetherian local ring, and $M$ a nonzero $R$-module. I was wondering if there is a way to describe the elements of $\displaystyle\bigcap_{P\in Ass_RM} P$. In particular, when $M$ is ...
2
votes
1answer
36 views

Localization of a finitely generated module is trivial iff its annihilator is nontrivial

I have a problem on Atiyah and MacDonald's commutative algebra book, the exercise 3.1: Let $S$ be a multiplicatively closed subset of a ring $A$ and $M$ a finitely generated $A$ - module. ...
0
votes
0answers
29 views

Kernel of homomorphism $A[X] \to B$ between integral domains [duplicate]

Let $A \leq B$ be integral domains, where $A$ is integrally closed and $B/A$ is an integral ring extension. Let further $\varphi : A[X] \to B$ be some homomorphism of $A$-algebras. Is the kernel ...
2
votes
2answers
93 views

Is every local ring a valuation ring?

Is every local ring a valuation ring? I know the answer is no and the first example comes to my mind was as following (I started with smallest fields, as $\mathbb{Z}_2$ and $\mathbb{Z}_3$ are ...
0
votes
0answers
26 views

Extension of graded algebra by a homogeneous ideal

If an algebra is graded by the group $G$: $A=\bigoplus\limits_{d \in G} A_d$ and contains a homogeneous ideal $I \subset A$, then we have the quotient $B:=A/I$ and canonical epimorphism $\nu:A ...
0
votes
1answer
57 views

Question regarding Vakil's algebraic geometry notes

Exercise 1.3 D of Vakil's lecture notes on algebraic geometry asks: "Verify that $A \to S^{−1}A$ satisfies the following universal property: $S^{−1}A$ is initial among $A$-algebras $B$ where every ...
1
vote
1answer
41 views

Nilpotent elements in commutative rings

Let $A$ be a commutative ring, $a, a+b \in A$ are nilpotent. Does this imply that $b$ is nilpotent?
7
votes
1answer
69 views

The set of all $p \in \mathbb{C}[x]$ that can be expressed using only one occurrence of $x$.

Let $X$ denote the least subset of $\mathbb{C}[x]$ subject to the following constraints. $x \in X$. $p \in X \rightarrow ap \in X,$ for all $a \in \mathbb{C}$. $p \in X \rightarrow p+a \in X,$ for ...
1
vote
1answer
62 views

Does there exist a UFD having only finitely many irreducibles?

Does there exist a UFD (which is not a field) having only finitely many irreducible elements? Definition of a UFD is: $R$ is an integral domain ($R$ is a commutative ring having unity and no ...
3
votes
1answer
71 views

Plane curves isomorphic to the affine line

Let $C$ be a plane curve parametrized by $x=f(t),y=g(t)$ where $f(t),g(t)\in k[t]$. We can easily see that the coordinate ring of $C$ is isomorphic to $k[f(t),g(t)]\subset k[t]$. So $C$ is isomorphic ...
1
vote
1answer
46 views

Difference between PID and principal ideal ring

All rings are commutative, associative and with 1. Wikipedia states that the difference between PID and Principal Ideal Ring is that the former has to be integral domain while the latter does not. ...
1
vote
0answers
35 views

Interpretation of $\Omega_{A/k} \simeq A \otimes_k I/I^2$ for affine group schemes

I'm learning some group scheme stuff and there's the following result: If $A$ is Hopf $k$- algebra, then $\Omega_{A/k} \simeq A \otimes_k I/I^2$, where $I$ is the augmentation ideal. I know the ...
0
votes
0answers
36 views

A question about locally free differential sheaf and regular local ring

Let $B$ be a local ring containing a field $k$ isomorphic to its residue field. Assume furthermore that $B$ is a localisation of a finitely generated $k$-algebra. Then $Ω_{B/k}$ is a free $B$-module ...
3
votes
1answer
81 views

Atiyah-MacDonald, Problem 6 of Chapter 1

I was trying to solve the following problem from "Introduction to Commutative Algebra" by Atiyah and MacDonald. (It is Problem 6 of Chapter 1.) While trying to solve the problem, I am facing trouble ...
1
vote
1answer
56 views

A nonfree module which is locally free

The general context is trying to understand the Picard groups of various schemes, but this question focuses on affine schemes. Let $X=Spec A$ an affine scheme. What conditions does $A$ need to ...
0
votes
0answers
29 views

Same number of generators and relations in a complete intersection, when?

I make this question a bit more general because i think as i put it, it will have no answer because there are too many maybe irrelevant details: Given $B$ an $A$-algebra, local, of finite type (that ...
1
vote
0answers
57 views

Local complete intersection ring

Suppose $R$ is a local Noetherian complete intersection ring that is a finite $A$-algebra, where $A$ is a DVR. If the module of differentials of $R$ is free as an $R/\mathfrak a$-module for some ...
0
votes
1answer
34 views

Deducing a presentation for a complete intersection

Today, while reading some articles, I had this doubt trying to justify a passage: Hypothesis Suppose $O_K$ is some complete discrete valuation ring (it is the ring of integers of some complete field ...
0
votes
0answers
104 views

Computing the Length of a finite length module.

How we can compute the length (length of a composition series) of the Artinian local ring $R=K[x,y]/(x^3,y^3)$ ? Does the following chain is a saturated chain of ideals of $K[x,y]$ ? ...
3
votes
1answer
62 views

Is Serre's $S_1$ condition equivalent to having no embedded primes?

Today I tried to prove that if a Noetherian ring $A$ satisfies Serre's $R_0$ and $S_1$ conditions, then $A$ is reduced. Now we recall that $R_0$ means the localization at any minimal prime is a field ...
5
votes
1answer
120 views

The kernel of $R \to A \otimes_R B$ is nil

Let $R \to A$ and $R \to B$ be two homomorphisms of commutative rings whose kernels are nil (i.e. consist only of nilpotent elements). Then the kernel of $R \to A \otimes_R B$ is also nil. See ...
1
vote
0answers
49 views

question about gradation of a ring

I was reading Mumford's 'Red book on varieties and schemes', when I came across the following paragraph: I am confused about meaning of the phrase "We let $k(X)$ be the zeroth graded piece of the ...
2
votes
4answers
172 views

A finitely dimensional algebra over a field has only finitely many prime ideals all of them are maximal

Let $K$ be a field and let $R$ be a $K$-algebra with unity which is finite dimensional as a $K$-vector space. Prove that $R$ has only finitely many prime ideals all of which are maximal. (Hint: ...
0
votes
0answers
49 views

use Noether normalization theorem to integrate differential forms over singular subvarieties

Let $X \subset \mathbb C^n$ be an analytic subset. I would like to show that locally around any point $x \in X$ the regular part $X_\text{reg}$ has finite volume, perhaps using the theorem below. ...
2
votes
0answers
89 views

Computing generators of the positive component of a graded ring

Let $R$ be a sub-algebra of $\mathbb{Q}[X_1^{\pm 1}, \dots, X_n^{\pm 1}]$ given by finitely many generators, and let $\lambda$ be a linear form $\lambda : \mathbb{Z}^n \to \mathbb{Z}$. This defines a ...
1
vote
0answers
29 views

An example of a henselian valuation of rank 2.

I need to know simple examples of valuations of rank bigger than one. Please help me to concrete some examples of valuations of rank bigger than one with their valuation rings (specially henselian ...
2
votes
1answer
61 views

Are locally integral extensions integral? [closed]

Let $R$ be a commutative ring with unit and let $A \subseteq B$ be commutative $R$-algebras. Suppose $B_P$ is integral over $A_P$ for all primes $P$ of $R$. Is $B$ then necessarily integral over ...
0
votes
0answers
31 views

A question about Hodge algebra

The following picture is from the Takayuki Hibi's paper Every affine graded ring has a Hodge algebra structure. My question is how to get the $\Sigma$ in the example part? Maybe I do not ...
5
votes
1answer
48 views

Are there any integral domains in which no nonzero prime ideal is finitely generated?

Are there any integral domains in which no nonzero prime ideal is finitely generated? (Other than fields, of course, where the condition is vacuously satisfied.) I asked a similar question the ...
7
votes
1answer
200 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 ...
0
votes
0answers
66 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 ...
3
votes
1answer
79 views

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

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
49 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
38 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
56 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
32 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
27 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 ...
3
votes
3answers
129 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
20 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
80 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: ...
5
votes
1answer
80 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 ...
1
vote
1answer
76 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
45 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
80 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
77 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
52 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
149 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
54 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 ...
1
vote
0answers
58 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 ...