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

learn more… | top users | synonyms (1)

3
votes
0answers
10 views

Nonsingular curve $C$ of degree 4, exists rational function $f: C \to \mathbb{CP}^1$ of degree 2?

Suppose $C \subset \mathbb{CP}^2$ is a nonsingular curve of degree $4$. Does there exist a rational function $f: C \to \mathbb{CP}^1$ of degree $2$?
3
votes
1answer
19 views

Question about proof of Corollary 2.18 from Eisenbud

I am reading Eisenbud's Commutative Algebra. The following is the proof I am trying to understand. My question is the second sentence in the proof. I understand that a power of $P_P$ annihilates ...
3
votes
1answer
22 views

Exists rational function on curve in $\mathbb{CP}^2$ such that pole of order $2g + 2$?

Let $C \subset \mathbb{CP}^2$ be a nonsingular curve of degree $d$, and $p_1$, $p_2$, $q$ distinct points in $C$. For any $a_1$, $a_2 \in \mathbb{C}$, does there necessarily exist a rational function ...
0
votes
0answers
18 views

Relation between Tensor-hom adjunction and adjugate matrix

Let $R\to S$ be a ring homomorphism, let $M,N$ be $S$-modules and $Q$ an $R$-module. Then, we have $$\textrm{Hom}_R(M\otimes_S N,Q) \cong \textrm{Hom}_S(M,\textrm{Hom}_R(N,Q).$$ I want to know ...
0
votes
0answers
38 views

Tensor Product of Complexes and the definition of the differentials

Suppose we have the following complexes, $$0 \rightarrow R \xrightarrow{x_1} R \rightarrow 0$$ $$0 \rightarrow R \xrightarrow{x_2} R \rightarrow 0$$ $$0 \rightarrow R \xrightarrow{x_3} R \rightarrow ...
2
votes
1answer
27 views

Singular matrix with entries in a ring. [duplicate]

Given a matrix $M\in A^{n\times n}$, where $A$ is a commutative ring different from $\{0\}$, then we know that if there exists a vector $x\in A^n$ such that $Mx=0$, then $\det M$ must be a zero ...
1
vote
0answers
10 views

Computing the order of a divisor in the Jacobian of a hyperelliptic curve.

Given a hyperelliptic curve of genus $g$, of equation $H: y^{2}+h(x)y=f(x)$ and defined over the finite field $\mathbb{K}$, how does one compute the order of a (reduced) divisor defined over ...
5
votes
4answers
168 views

How to learn commutative algebra?

I want to learn commutative algebra from scratch. I was wondering, as you guys are experts in mathematics, what you think is the best way to learn commutative algebra? Is there any video course ...
5
votes
1answer
39 views
0
votes
1answer
40 views

Subset of points in noetherian scheme of rank $\le n$ is open

Let $\mathcal{F}$ be a coherent sheaf over a Noetherian scheme $X$. Lets define its rank in a point $x \in X$ as the dimension of $\mathcal{F}_x \otimes k(x)$ (here $k(x)$ is the residue field in ...
1
vote
0answers
27 views

Computing the cotangent complex: what's the ring?

As far as I understand, deformation theory of schemes may be calculated via the cotangent complex. I have read that in general the cotangent complex may be difficult to compute. However, I have a ...
1
vote
0answers
29 views

Geometric structure on the set of valuation rings of a field

Let $K$ be a field. Let $\mathcal{O}_K$ be the intersection of all valuation rings with quotient field $K$. Can someone give an example of a field $K$ in which we don't have a bijection of sets: $$ ...
1
vote
1answer
57 views

How to prove that the ring of algebraic integers is a Bézout domain?

I was told that the ring of all algebraic integers (that is, the complex numbers which are roots of a monic polynomials with integral coefficients) is a Bézout domain. But I have no idea how to prove ...
0
votes
1answer
45 views

Looking for a direct proof that all maximal ideals of $\mathbb C[x_1,x_2,…,x_n]$ are generated by $n$ linear polynomials

Without using Hilbert's Nullstelensatz , can we directly prove that all maximal ideals of $\mathbb C[x_1,x_2,...,x_n]$ is of the form $\langle x-a_1,x-a_2,...,x-a_n \rangle$ ? It is easy to prove it ...
2
votes
1answer
48 views

Any curve of genus three is either hyperelliptic or trigonal?

A curve $C$ is said to be trigonal if it admits a rational function $f: C \to \mathbb{CP}^1$ of degree $3$. Is any nonsingular plane curve of degree four trigonal? Can the map be chosen so that it has ...
2
votes
1answer
53 views

Divisors of differentials.

Let $\mathbb{C}$ be the base field. Suppose $C \subset \mathbb{P}_2$ is a nonsingular projective curve of degree $d > 3$. Must it be the case that $D \in \text{Div}(C)$ is the divisor of a ...
0
votes
0answers
39 views

Number of ideals in a minimal irreducible decomposition

Assume $R$ is a local ring, $M\subseteq R$ is the maximal ideal, $I\subseteq R$ is an $M$-primary ideal and $I=\bigcap_{i=1}^n Q_i$ is a minimal irreducible decomposition of $I$ (i.e. $Q_i\subseteq R$ ...
2
votes
0answers
38 views

Endomorphism commutes with its adjugate

Let $R$ be a commutative ring, $M$ a free $R$-module of rank $n$ and $f \in \rm{End}(M)$. The adjugate $f^\sharp$ of $f$ is defined by the equalities $$ f^\sharp(x) \wedge y = x \wedge ...
3
votes
2answers
28 views

Proof of a lemma which leads to Nakayama's lemma

I am trying to understand the proof of the following statement: Let $A$ be a commutative ring, let $M$ be a finitely generated $A$-module and $I$ an ideal of $A$ such that $IM=M$. Then there is an ...
2
votes
1answer
33 views

The proof of Krull's Principal Ideal Theorem

Theorem: Let $R$ be Noetherian and $P$ be a minimal prime ideal over $(a)$ for some nonunit $a$ of $R$. Then $\operatorname{ht}(P)\leq 1$. My lecture notes prove this as follows. WLOG $R$ is local ...
2
votes
1answer
25 views

Does “pseudo-independent implies independent” imply that $R$ is a field?

(All my rings are unital.) Suppose $R$ is a commutative ring and that $M$ is an $R$-module. Definition. Call a subset $X \subseteq M$ pseudo-independent iff for all proper subsets $Y$ of $X,$ the ...
0
votes
1answer
19 views

Example of a non-radical annihilator [on hold]

What is an example of a ring $R$, a finitely generated module $M$ over $R$ and an element $m\in M$ such that the annihilator $\operatorname{Ann}_R(m)$ is not a radical ideal and ...
2
votes
1answer
42 views

Localising a polynomial ring and non-maximal prime ideal

I'm trying to work out the following past paper question and I've got stuck. $R$ is an integral domain and $S = R[t]$, the polynomial ring in one variable over $R$. We have that $Q$ is a prime ideal ...
2
votes
1answer
51 views

Is a smooth ring extension of a UFD a UFD?

Let $A \subseteq B$ be noetherian integral domains, $A$ a UFD, and $B$ a smooth $A$-algebra (=the definition of a smooth algebra can be found in ...
2
votes
2answers
203 views

Can Zorn's Lemma be 'inverted' like this:?

Let $R$ be a (commutative) ring not equal to $0$. I want to show that the set of prime ideals of $R$ has a minimal element w.r.t. inclusion. This may be a wholeheartedly wrong attempt, but I thought ...
5
votes
4answers
123 views

Stably-free ideals are free?

In my class of algebraic topology, a friend of mine stated the following: If $R\ne 0$ is a commutative ring with unit and $I\subset R\oplus R$ is a submodule such that $(R\oplus R)/I\cong R$, ...
2
votes
0answers
17 views

Applications of module's length

I'm studying some theory about module's length and want to know motivation for this definition. I know that it's useful for intersection theory, but i know only one example from intersection theory: ...
0
votes
2answers
37 views

Is $(x^2,xy)$ a primary ideal in $k[x,y]$ for $k$ a field?

In Example of Page 52 in Atiyah's Introduction to Commutative Algebra $\mathfrak a = (x^2,xy)$ is not a primary ideal in $A = k[x,y]$ where $k$ is a field. I think, for any $z \in \mathfrak a$, ...
-1
votes
0answers
24 views

Idempotent ideal in ring of continuous functions

Is there any equivalence conditions under which an ideal $I$ in ring of continuous functions be an idempotent ideal?
2
votes
3answers
89 views

Example of commutative ring that doesn't satisfy distribution of intersection over addition

I'm trying to find an example of commutative ring $R$ and ideals $\mathfrak a,\mathfrak b,\mathfrak c \in R$ such that $$\mathfrak a \cap (\mathfrak b + \mathfrak c) \neq \mathfrak a \cap ...
0
votes
1answer
53 views

Describe the normalization of the cusp.

Show that the normalization of $A = k[x_1,x_2] / (x_2^2 - x_1^3)$ is isomorphic to $k[x]$ and describe (for $k$ algebraically closed) the induced map $Spec(k[x]) \to Spec(A)$ I know that $A$ is a non ...
1
vote
1answer
45 views

Show that this map has not the going-down property.

Let $A= k[x_1,x_2,y] / (x_2^2-x_1^2(x_1+1))$ and $Spec(A) \to Spec(k[x_1,x_2,y])$ the natural inclusion induced by the projection $k[x_1,x_2,y] \to A$. Consider the map $f : Spec(k[x,y]) \to Spec(A)$ ...
-3
votes
0answers
17 views

Questions of commutative [closed]

show that p is minimal among prime ideals containing a if and only if aAp is pAp-primary
3
votes
0answers
19 views

What is $HC_0(\operatorname{Spec} k[x,y]/(xy))$?

Does anybody know how to compute $HC_0(\operatorname{Spec} k[x,y]/(xy))$? Here $HC_0(-)$ is the zeroth cyclic homology group. I'm curious since $\operatorname{Spec} k[x,y]/(xy)$ can be viewed as the ...
1
vote
0answers
18 views

Lifting points of étale group scheme.

Consider the following setting: let $(R,\mathfrak{m})$ be a Noetherian complete discrete valuation ring (with maximal ideal $\mathfrak{m}$) and let $K$ be its field of fractions. Now take $L$ be the ...
0
votes
1answer
27 views

Annihilators and exact sequence

Let $R$ be a commutative ring and $0\longrightarrow L \overset{f}{\longrightarrow}M\overset{g}{\longrightarrow}N\longrightarrow 0$ be an exact sequence of $R$-modules. How to prove ...
1
vote
1answer
31 views

A short exact sequence + exact sequence of opposite direction = split?

Let $0 \to A \to B \to C \to 0$ be a short exact sequence of modules over a commutative ring $R$ containing $1 \ne 0$. Suppose this is also another exact sequence $0 \to C \to B \to A \to 0$. Do ...
2
votes
1answer
38 views

Writing the ideal $m=\langle X, Y \rangle$ in $R=k[X, Y]$ as a countable union of prime ideals

Here's a problem (Exercise 3.21) from "A Term in Commutative Algebra" by Altman & Kleiman: Let $k$ be a field, and $R=k[X, Y]$ be polynomial ring in two variables. Let $\mathfrak{m}=\langle ...
4
votes
1answer
65 views

Proof of the Artin-Rees lemma

I am struggling to understand a key step in a proof of the Artin-Rees lemma, which I have put in a red box below. I don't really see how we can pass from a finite direct sum to an infinite one. I've ...
0
votes
0answers
30 views

associated prime of a module

Let $f: A\rightarrow B$ be a homomorphism of Noetherian rings, and $M$ a $B$-module. Question: Is $^af(Ass_B(M))=Ass_A(M)$? If $q$ is an associated prime of the $B$-module $M$, $p=^af(q)$, then from ...
2
votes
1answer
40 views

Zeroes of prime polynomials in the algebraic torus (A Hilbert's Nullstellensatz for Laurent polynomials?)

Let $Q\in\mathbb C[z_1,\dots,z_D]$ be a prime polynomial and let $Z(Q)$ be the algebraic hypersurface of its zeroes. Assume that $P\in\mathbb C[z_1,\dots,z_D]$ is a polynomial which has zeroes at ...
3
votes
1answer
40 views

Algebraic closure for rings

Is there any notion of algebraic closure for commutative rings? I am specifically interested in such a concept for $\mathbb Z_n$, with $n$ not a prime (possibly square-free). Such a concept would be ...
1
vote
1answer
26 views

$F(t)$ as an $F[t]$-algebra and the Weak Nullstellensatz

Sorry if this question has already been answered somewhere, but it's quite hard to find if so, because of the use of the word 'algebra' in the question... In the lead up to a proof of the Weak ...
5
votes
3answers
136 views

Basic application of the Nullstellensatz

Background: I have just started learning basic algebraic geometry. My solution to a simple problem involves an application of the Nullstellensatz and I want to know whether this is overkill (or ...
3
votes
0answers
52 views

Is every reduced $k$-algebra all of whose residue fields are $k$ finitely generated?

Let $k$ be a field (of characteristic zero if you want). Let $A$ be a reduced $k$-algebra with the property that for every prime ideal $\mathfrak{p}$ of $A$ the natural homomorphism $k \to A/ ...
1
vote
0answers
34 views

morphisms of curves and discrete valuation rings

Given a dominant morphism $\varphi\colon C\to C'$ of curves, a nonsingular point $Q\in C'$, such that $\varphi^{-1}(Q) = \{P_1,\ldots, P_m\}$ consists of nonsingular points only. Then it is clear to ...
0
votes
1answer
72 views

Is this sheaf simple?

Let $S$ be a surface and $C$ be an effective divisor in $S$. That is $C$ is a curve in $S$ and $i:C\longrightarrow S$ is the inclusion morphism. Let $E$ be line bundle over $C$, so $i_*E$ is a ...
8
votes
3answers
262 views

Geometrically, why do line bundles have inverses with respect to the tensor product?

Geometrically, why do line bundles have inverses with respect to the tensor product? Here my thoughts on the problem so far, please excuse their scatteredness. I know algebraically, it is just ...
10
votes
1answer
126 views

DVR, power series expansion.

Let $A$ be a discrete valuation ring with quotient field $K$, maximal ideal $\mathfrak{m}$, uniformizing parameter $t$. Let $k = A/\mathfrak{m}$, so $k$ is a field. How do I show that there is a ...
5
votes
1answer
49 views

Only DVR's with quotient field $\mathbb{Q}$?

Let $p \in \mathbb{Z}$ be a prime number. I know how to show that $$\{r \in \mathbb{Q}: r = {a\over{b}},\text{ }a,b \in \mathbb{Z},\text{ }p\text{ doesn't divide }b\}$$ is a DVR with quotient field ...