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

learn more… | top users | synonyms (1)

0
votes
1answer
23 views

Length of polynomial ring modulo a homogeneous regular sequence

Proposition: Let $k$ be a field and $R=k[x_1,\dots,x_n]$ the polynomial ring with $x_i$ having degree $1$. Let $f_1,\dots,f_n$ be homogeneous elements such that $\deg(f_i)=s_i >0$ and they form ...
1
vote
1answer
31 views

An equivalent condition for zero dimensional Noetherian local rings

Let $(A,m)$ be a Noetherian local ring. Why "$A$ is zero dimensional if and only if a power of $m$ is $\{0\}$"?
8
votes
1answer
168 views

Recovering free modules from their projective limit

Let $\dotsc A_2 \to A_1 \to A_0$ be a sequence of surjective homomorphisms of commutative rings. Consider the projective limit $\varprojlim_i A_i$. If $S$ is an (infinite) set, then $\varprojlim_i ...
1
vote
1answer
79 views

non-principal height one primes of a particular hypersurface

I was reading about divisor class groups, and I was wondering the following. Let $R=\mathbb{C}[X,Y,Z,W]/(XZ-YW)$, and let $x,y,z,w$ be the images of $X,Y,Z,W$ in $R$, respectively. Is there a way ...
2
votes
0answers
76 views

The greatest common divisor of homogeneous polynomials

Let a matrix $$M=\begin{pmatrix} a_{01}&a_{02}&a_{03}\\a_{11}&a_{12}&a_{13}\\a_{21}&a_{22}&a_{23}\\a_{31}&a_{32}&a_{33}\end{pmatrix}$$ with $a_{ij}\in k[x,y,z]$ ...
0
votes
1answer
41 views

Problem on the number of generators

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
34 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. ...
1
vote
0answers
23 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
88 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
23 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
54 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
40 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
70 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
41 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
30 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
78 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
52 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
28 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
32 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 ...
-2
votes
0answers
42 views

$R_P$ is a valuation noetherian ring

I need a hint to prove this question: Let $R$ be an integral domain and $P\neq 0$ a principal ideal of $R$ such that $\cap_{i=1}^{\infty}P^n=0$, show $R_P$ is a valuation Noetherian ring. I ...
0
votes
0answers
103 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
52 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
116 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
46 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
166 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
46 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
85 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
27 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
60 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
196 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
65 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
77 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
46 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
55 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
26 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
19 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
78 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
78 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 ...