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

learn more… | top users | synonyms (1)

1
vote
0answers
40 views

Kahler differentials over non-algebraically closed fields

Let $A = k[x_1,\ldots,x_n]/(f_1,\ldots,f_m)$ be a finitely-generated $k$-algebra, then at least when $k$ is algebraically closed, the module of Kahler differentials is $$ \Omega_{A/k} = A dx_1 \oplus ...
2
votes
1answer
70 views

Possible Inaccuracy at classic paper by Bayer and Stillman

In reading the paper Bayer and Stillman, "A criterion for detecting $m$-regularity", i believe i have encountered what may be a little inaccuracy, which i describe next. Let $I$ be a homogeneous ...
1
vote
1answer
27 views

Height of prime ideal containing the variable of a polynomial ring

I have a ring $R$ and a prime ideal $P$ of $S=R[t]$ with $t \in P$. I'm trying to prove that if $\mathrm{ht}(P/tS)$ is finite then $\mathrm{ht}(P) > \mathrm{ht}(P/tS)$. Here ...
1
vote
1answer
33 views

Direct Product of Completions

This question is regarding Theorem 8.15, page 62 of Matsumura's Commutative Ring Theory. It says that if $A$ is a semi-local ring and $I=m_1\cdots m_r$ be the Jacobson radical of $A$. Then ...
1
vote
1answer
41 views

Deduce that there are short exact sequences

Show that for $n>0$ there is a short exact sequence of chain complexes $0\rightarrow C_i(X;\mathbb{Z})\stackrel{f}{\rightarrow} C_i(X;\mathbb{Z})\stackrel{g}{\rightarrow} ...
2
votes
0answers
20 views

Need a reference/proof for computing the regularity of ideal of points in $\mathbb P^d$?

In a lecture notes on 'Cohomology modules' i read the following remark: Given a set $X$ of points in $\mathbb P^d$,using the Local Cohomology modules one can easily compute the reg$(S_X)$ where ...
2
votes
1answer
55 views

Is there an adjective for rings whose every non-zero prime ideal is maximal?

(All my rings are commutative and unital.) Question. Is there an adjective for rings whose every non-zero prime ideal is maximal? Remarks: Every PID has this property; more generally, every ...
2
votes
1answer
56 views

a little “paradox” in local cohomology of zero-dimensional ideals

Let $S = k[x_1,x_2,x_3]$ be a polynomial ring of dimension $3$ over an infinite field, and let $I$ be a homogeneous ideal of height $3$. Since $S$ has no zero divisors, the Krull dimension of $I$ is ...
2
votes
0answers
13 views

About the discriminant ideal

Let $E/K$ be a separable field extension of degree $n$, let $A$ be a Dedekind Domain which quotient field is $K$, and let $B$ be the integral closure of $A$ in $E$. Then we have that the ideal ...
1
vote
1answer
33 views

Minimal free resolution of ideal generated by three homogeneous polynomials

I am trying to solve the following exercise; Let $R=k[x_0,x_1,x_2]$ and $f_i$ homogeneous polynomials of degree $d_i, 0\leq i \leq 2$. Suppose $f_0,f_1,f_2$ have no common roots in $\mathbb P^2$. ...
0
votes
1answer
29 views

Krull dimension of an algebra

Given the ring, $\mathbb{Z}_6[x,y]/\langle x \rangle$. What is the Krull dimension of the ring? Isn't the following a chain of prime ideals in the ring, $\langle \overline{2}\rangle \subsetneq ...
1
vote
1answer
34 views

Book recommendation on Primary decomposition of ideals [closed]

I'm trying to prepare a presentation on "Primary Decomposition of Ideals" which is the title of my project. But I'm new for the subject so I need help on the following points How to outline my ...
0
votes
0answers
10 views

Inverse limit of ideals equal to expected ideal of inverse limit?

Suppose we have a map $(A_n \to B_n)_{n \in \mathbb N}$ of inverse systems of unital rings and a system $\mathfrak a_n \lhd A_n$ of ideals, one sent into the next under the maps $A_n \to A_{n-1}$. ...
2
votes
1answer
58 views

Exercise II-11 from Eisenbud-Harris, subscheme of dimension $0$, degree $3$, supported at origin isomorphic to what?

Suppose that $K$ is algebraically closed, and let $Z = \text{Spec}\,K[x_1, \ldots, x_n]/I \subset \mathbb{A}_K^n$ be any subscheme of dimension $0$ and degree $3$, supported at the origin. How do I ...
0
votes
0answers
25 views

Proving “up to unique isomorphism”: Universal property of cokernel

This is a homework question. I have already searched the web, but the proofs I have found are very generalized using category theory. Problem is the following: Suppose you have homomorphism $f: M ...
0
votes
1answer
65 views

Krull dimension of a $\Bbbk$-algebra

Given an ideal, $\mathfrak{a}\subseteq \Bbbk[x_1,\ldots,x_n]$, where $\Bbbk$ is a field. Let the maximal set of indeterminates independent modulo the ideal $\mathfrak{a}$ be of cardinality $k$. ...
3
votes
1answer
31 views

Computing prime factorization of ideals?

I want to compute the prime factorizations of the ideals $\langle 4\sqrt{-14}\rangle$, $\langle 6\sqrt{-6} \rangle$ and $\langle 4\sqrt{-5} \rangle$ in the ring of algebraic integers of ...
1
vote
1answer
54 views

Associativity of the tensor product of bimodules

Let $A_0,\dots,A_n$ be algebras over some fixed commutative ring $k$ (you may assume $k=\mathbb{Z}$ for simplicity). Let $M_i$ be an $(A_{i-1},A_i)$-bimodule for $i=1,\dots,n$. A multilinear map from ...
1
vote
1answer
39 views

Krull dimension of affine $\Bbbk$-algebra

Given an ideal, $\mathfrak{a} = \langle x_2x_3 \rangle \subseteq \Bbbk[x_1, x_2,x_3]$, where $\Bbbk$ is a field. We have that the maximal set of indeterminates independent modulo the ideal ...
0
votes
0answers
20 views

A direct summand of a sequence, Rotman, Homological Algebra, ex. 10.15 [duplicate]

If $0 \rightarrow A' \xrightarrow{\delta} A \rightarrow A'' \rightarrow 0$ is a split short exact sequence in an abelian category $\mathcal{A}$ (if you like, let $\mathcal{A}$ be the category of ...
4
votes
1answer
59 views

Castelnuovo-Mumford regularity and exact sequence.

In a question on MathOverflow it is said that: It is known that given a short exact sequence of finitely generated graded modules over a polynomial ring over a field:$$0 \to M'' \to M \to M' \to ...
4
votes
1answer
31 views

(Finitely many minimal primes) + ($R_M$ domain for all maximal $M$) $\Rightarrow$ ($R$ = product of domains)

We are doing a homework problem for our commutative algebra class, which asks us to prove: Let $R$ be a commutative ring with $1$ containing finitely many minimal prime ideals $P_1, \dots, P_n$. ...
1
vote
2answers
39 views

Artinian - Noetherian rings and modules suggest study guide

What text or any document that has gathered this part of Algebra theory. Thanks. Pd: I seek on variety's book of commutative algebra but the subject is partially dealt
0
votes
1answer
45 views

Finding the maximal ideals of the quotient of a polynomial ring by an ideal

Let the field $k$ be algebraically closed, let $f(X) \in k[X]$ be a separable polynomial of degree at least $2$, let $$ B = \frac{k[Y,X]}{(Y^2 - f(X))} $$ and write $y,x$ for the images in $B$ of $Y$ ...
0
votes
1answer
38 views

Quick way to show that inclusion is a local property? [duplicate]

I have encountered a problem which requires me to prove that ideal inclusion is a local property. That is to say, suppose $S,T \subset R$. Show that $S \subset T $ if and only if $SR_P \subset SR_P$ ...
3
votes
0answers
32 views

On describing a sort of “well-behaved” subgroups of a free abelian group.

I found this question when I tried to figure out what kind of subgroups of a free abelian group behave just as well as in the finite generated case. Let $M$ be an free abelian group, $N$ a subgroup ...
1
vote
1answer
27 views

Let $A$ a Noetherian ring and $ q \in\mathrm{Spec} (A)$. Then $q^{(n)} A_q=q^{n}A_q$.

Let $A$ be a Noetherian ring and $ q \in\mathrm{Spec} (A)$. Then $q^{(n)} A_q=q^{n}A_q$, where $q^{(n)}= \lbrace a \in A \mid \exists d \in A \setminus q\text{ such that }da \in q^n \rbrace$ and ...
1
vote
1answer
26 views

Definition of primary ideal [duplicate]

I am confused with the definition of a primary ideal. The definition states that if $R$ is a commutative ring then $I$ is called a primary ideal of $R$ is the following condition holds. If $xy\in I$ ...
0
votes
2answers
59 views

Notation in commutative algebra

I am doing some exercises on commutative algebra and came along the following expressions, which were not elaborated on. Is someone familiar with them? The first is for $p$ a prime number ...
1
vote
2answers
73 views

How does extension of restriction of $M$ relate to $M$?

Let $A,B$ be rings, $f:B\to A$ be a ring homomorphism, and $M$ be an $A$-module. We can view $M$ as a $B$-module via restriction, and we may then extend the restriction of $M$ to an $A$-module by ...
1
vote
1answer
15 views

Number of zero-solutions for two bivariate polynomials $p$ and $q$

If I consider two bivariate polynomials $p,q \in \mathbb{C}\left[ x,y \right]$ where $p$ has total degree $m$ and $q$ has total degree $n$. To keep things simple I'm not interested in special cases ...
1
vote
1answer
20 views

Question about proof of Krull principal ideal theorem

How can we explain the following step in the proof of Krull principal ideal theorem: $l\{ ((z):x^n)/(z) \}$ or $l\{ ((x^n):z)/(x^n) \}$ is finite? $l(M)$ - length of module.
0
votes
0answers
29 views

Definition of hypersurface singularity

I am really confused about this notion. Suppose $X$ is an arbitrary variety over an algebraically closed field $k$ (if you like, let the characteristic be $0$), and $p$ is a $k$-valued point. If $p$ ...
0
votes
0answers
28 views

if $F_{\bullet}$ is a complex and $r$ an integer, what is $F_{r-\bullet}$?

While reading the paper Some results and questions on the Castelnuovo-Mumford regularity, by Marc Chardin, I encountered in the proof of Theorem 5.1 the notation $F^N_{r-\bullet}$. To provide some ...
0
votes
1answer
39 views

Commutativity of ring $R$ necessary for $\mathrm{Hom}_R(M,M')$ being an $R$-module

Why do we need $R$ to be commutative if we want $\mathrm{Hom}_R(M,M')$ (where $M$ and $M'$ are $R$-modules) to be an $R$-module itself? I tried to find out which axiom for modules does not hold if ...
4
votes
1answer
23 views

$G_{\mathfrak a}(A)$ integral domain and $\bigcap \mathfrak a^n = 0$ implies $A$ is integral domain

This is Lemma 11.23 in Atiyah: For an ideal $\mathfrak a \subseteq A$, define $G_{\mathfrak a} (A) = \bigoplus _{n=0} ^\infty \mathfrak a^n / \mathfrak a^{n+1}$. The statement of the Lemma: ...
2
votes
1answer
46 views

Showing the polynomials form a Gröbner basis

Let $A$ be an $m \times n$ real matrix in row echelon form and $I \subset \mathbb{R}[x_1,\dots,x_n]$ is an ideal generated by polynomials $p_i = \sum_{j = 1}^na_{ij}x_j$ with $1 \leq i \leq m$. ...
3
votes
1answer
60 views

Hilbert function and homogenous polynomials.

Let $\{[1:0:0],[0:1:0],[0:0:1],[1:1:1] \} = \{p_1,p_2,p_3,p_4\}$ be four points in the projective space $\mathbb{P}^2$. For every $p_i$, show there is a homogenous polynomial $f_i$ such that ...
4
votes
1answer
87 views

When is $\mathbb{Z} [x]/f(x) $ a Dedekind domain?

Given a monic separable irreducible polynomial $f$ with integer coefficients, when $\mathbb{Z} [x]/f(x)$ is a Dedekind domain? And when it happens to be a Dedekind domain, how to know its class ...
1
vote
0answers
67 views

Infinitely generated torsion free modules over PID

Let $R$ be a PID and $\mathbf{V}$ a torsion-free $R$-module, not necessarily finitely generated. If I understand it correctly, every rank 1 submodule of $\mathbf{V}$ is isomorphic to a submodule of ...
1
vote
2answers
83 views

How do I find $\gcd(p,q)$ and $\mathrm{lcm}(p,q)$ by using syzygies?

Let us introduce the setting and recall some definitions. Setting: We are in a UFD polynomial ring $K[x]$ with $p,q \in K[x]$. Definition: Given a finitely generated $R$-module $M$ (where $R$ is a ...
2
votes
1answer
35 views

Arithmetically Cohen-Macaulay curve on a quadric

If $Y$ is a curve of bidegree $(a,b)$ on a smooth quadric surface $Q\subset \mathbb{P}^3$, how do we see that it is arithmetically Cohen-Macaulay (ACM, for short) iff $|a-b|\leq 1$? If (like me) ...
2
votes
1answer
43 views

About a short proof of Krull principal ideal theorem

How from this theorem I can get a proof of Krull principal ideal theorem? I understand that w.l.g. we can prove it for a Noetherian local ring. But why we can consider that $(x)$ is $M$-primary? ...
0
votes
1answer
35 views

Show that some monomial ideal is primary

Show that $I=(X_{k_1}^{a_1},...,X_{k_s}^{a_s})$ is $(X_{k_1},...,X_{k_s})$-primary. I noticed that ...
0
votes
2answers
38 views

Extension of the fields of fractions of integral domains

Let $A$ and $B$ be integral domains, and let $\varphi:A\to B$ a ring homomorphism. We can give $B$ a structure of $A$-module by saying $ab = \varphi(a)b$. Suppose that $B$ is a finitely generated ...
0
votes
1answer
37 views

Prove that a monomial ideal $I$ is determined by the set of monomials it contains. [closed]

For an ideal $I \subseteq k[X_1, \dots ,X_n]$ prove that the following are equivalent: $I$ is generated by monomials. If $f =\sum \limits _a c_a X^a \in I$, and $c_a \ne 0$, then $X^a \in I$, where ...
1
vote
1answer
60 views

Chern class of ideal sheaf

Let $X$ be a smooth projective surface. Let $Z$ be a dimensional $0$ subscheme of length $l$. Suppose $I_Z$ is the ideal sheaf of $Z$. Then it claimed that $c_1(I_Z) = 0$ and $c_2(I_Z) = l$. (1)Why ...
1
vote
0answers
44 views

The same algebraic variety defined by different sets of polynomials

Let $\emptyset\neq X\subset\mathbb{P}^{n}$ be an algebraic variety such that $$ X=V(F_{1},\ldots,F_{m}) $$ for certain linearly independent homogeneous polynomials $F_{1},\ldots,F_{m}\in ...
0
votes
1answer
48 views

Determine the integral closure of a ring.

Let $R=F[X,Y]/(Y^2-X^3)$. Determine the integral closure of $R$ in its quotient field. I guess I should reduce the problem to some statement related to $F[X]$. For $F$ of characteristic not equal ...
1
vote
1answer
30 views

Atiyah-Macdonald, Exercise 4.6 [duplicate]

Let $X$ be an infinite compact Hausdorff space and let $C(X)$ be the ring of real-valued continuous functions on $X$. Does $(0)$ have a primary decomposition in this ring? I feel like the answer ...