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

learn more… | top users | synonyms (1)

1
vote
2answers
97 views

On the minimal set of generators of monomial ideals in $\mathbb{C}[x,y]$.

I am trying to do exercise 2.6 of Hassett's "Introduction to algebraic geometry": i) Give an example of a monomial ideal $I\subseteq\mathbb{C}[x,y]$ with a minimal set of generators consisting of ...
0
votes
1answer
15 views

Length of quotients and relations between $\ell(\mathrm{coker}\varphi),\ell(R/\det\varphi)$

Let $R$ be domain(not necessary local) with maximal ideal $\mathfrak{p}$ and $d \in R, d \neq 0$. $(R/(d))_{\mathfrak{p}} = 0 \iff (d) \not\subset \mathfrak{p}$(?). And if $ (d) \subset \mathfrak{p}$ ...
0
votes
0answers
95 views

Submodules $H$ satisfying: “if $ax \in H$ for some non-zero scalar $a$, then $x \in H$.”

Suppose $R$ is a commutative ring and that $X$ is an $R$-module. Question. Is there a term for those $R$-submodules $H$ of $X$ satisfying the following? For all $x \in X$, if $ax \in H$ ...
1
vote
1answer
28 views

Maximal ideals of finite algebra over a local ring

Let $R$ be a local ring with residue field $k$. Let $A$ be an $R$-algebra which is finitely generated as $R$-module. I want to show that the maximal ideals of $A$ are in one-to-one correspondence ...
1
vote
2answers
43 views

Prove Kähler Differential is always surjective using universal property.

Let $A$ be an $R$-Algebra. An $R$-linear derivation $d \colon A \to \Omega_{A/R}$ is called universal derivation or Kähler differential if for every $R$-linear derivation $D \colon A \to M$ there is a ...
0
votes
1answer
72 views

Relation between two definitions of primary modules

Let $A$ be a commutative ring, $M$ be an $A$-module and $N \leq M$. There are two definitions of primary modules: 1) $M/N$ is coprimary (i.e., every zero divisor is nilpotent); 2) $\text{Ann}_A(N)$ ...
8
votes
2answers
75 views

Definition of $\mathfrak{m}$-adic completion.

Let $V$ be a discrete valuation ring with the maximal ideal $\mathfrak{m}$ and let $T$ be a prime element of $V$. Assume that we have a subfield $k\subseteq V$ such that the induced map $ k \to ...
4
votes
2answers
43 views

Is $m$ a projective $A$-module?

$A$ is a Noetherian local ring and $m$ be its maximal ideal. Then is $m$ a projective $A$-module? I got this problem while solving another problem. Can anyone please help me to figure it out?
1
vote
2answers
103 views

Cohen-Macaulay rings and Normal rings

is there an example that R is Cohen-Macaulay but not normal ring? what about the converse example?
3
votes
1answer
45 views

Prove that the following is a non zero tensor.

I'm asked to prove that the ideal $I=(x,y)$ in $R=k[x,y]$ is not a flat R-module. My approach was to use the exact sequence $$0\rightarrow I \to R \to R/I \to 0$$ to induce a non injective map ...
0
votes
2answers
43 views

Jacobian of n linearly independent forms in n variables

Let $k$ be a field of characteristic zero and let $f_1, \ldots, f_n \in k[x_1, \ldots, x_n]_d$ be linearly independent forms of degree $d$ in $n$ variables. Is there a nice algebraic argument for ...
1
vote
1answer
28 views

Is torsion-free equivalent to free for non-finitely generated modules over a PID?

Maybe this is a trivial question. If $A$ is a PID and $M$ is a finitely generated $A$-module, it's well known that $M$ is torsion-free iff $M$ is free. However, if $M$ is not finitely generated, does ...
2
votes
2answers
54 views

Why is it called the category of representations?

Let $A$ be a (Hopf) algebra. Let $C_A$ be a category whose objects are $A$-modules and whose morphisms are $A$-linear maps. This category is called "the category of representations". My question is: ...
0
votes
2answers
47 views

How do I find an isomorphism between varieties

Our book defines an isomorphism between varieties when there exist two maps say $\phi: V \rightarrow W$ and $\psi: W \rightarrow V$ both morphisms and $\psi \circ \phi =id_V$ and $\phi \circ \psi =id ...
1
vote
1answer
19 views

Representation matrix for modules map

Here $S=\mathbb Q[x,y]$, and we define $\oplus Se_i$ to be a $S$-free module with basis $\{e_1,e_2,e_3\}$. Define a map from $\oplus Se_i$ to $S$ by $e_1\to x^2$, $e_2\to xy+y^2$, $e_3\to y^3$. Is the ...
0
votes
1answer
23 views

Showing $\hat{A} \otimes_{A} M \cong \hat{M}$ when $M$ is a finitely generated free $A$-module.

I had a reading question on Proposition 10.13 from Atiyah-MacDonald. The proposition is the following PROPOSITION. For any ring $A$, if $M$ is finitely-generated, $\hat{A} \otimes_{A} M \rightarrow ...
1
vote
1answer
98 views

Short exact sequence of modules over a Noetherian local ring of depth $1$.

I am reading an article in algebraic geometry and am having trouble understanding a particular point that reduces to a problem in commutative algebra. I'm not familiar with the concepts involved so am ...
2
votes
0answers
98 views

How to prove that an ideal can not be generated by 2 elements

In Kunz's "Introduction to commutative algebra and algebraic geometry", page 137-139, particular monomial affine curves are described. Here is the link. In case the curve is not an ideal ...
1
vote
1answer
30 views

Quotient by power of maximal ideal

Suppose $R$ is a commutative ring (but see the edit portion below) and $\mathfrak{m}$ is a maximal ideal of $R$ such that $|R/\mathfrak{m}|<\infty$. Also assume that $k$ a positive integer. Is ...
4
votes
0answers
55 views

Is the preimage of the non-normal locus a divisor?

Let $X$ be a complex, affine variety. Let $\nu:\tilde X\to X$ be the normalization of $X$ and denote by $D\subseteq X$ the closed set of points where $\nu$ fails to be an isomorphism, i.e. $D$ is the ...
0
votes
0answers
59 views

What are some examples of principal, proper ideals that have height at least $2$?

Krull's principal ideal theorem states that in a Noetherian ring $R$, any principal proper ideal $I$ has height at most $1$. Presumably the Noetherian hypothesis is required, so what are some ...
2
votes
2answers
88 views

One-dimensional Noetherian UFD is a PID

I am looking for a reference which has a self-contained (elementary, that is, at the "undergraduate algebra level") proof of the the fact that any one-dimensional Noetherian UFD is a PID. Does anyone ...
3
votes
1answer
60 views

Maximal ideal in a polynomial ring over a field that is not algebraically closed

I want to prove that although $K$ is a field that IS NOT algebraically closed, every maximal ideal in $K[x_1, \ldots, x_n]$ can be generated by $n$ elements. To prove this, I am following the next ...
2
votes
1answer
27 views

How to classify the rings of fractions of a principal ideal domain?

Let $A$ be a principal ideal domain and let $K$ be its field of fractions. I proved a) Every ring $B$ such that $A \subset B \subset K$ is a ring of fractions of $A$, and c) Show that any ring of ...
1
vote
1answer
40 views

Contraction of a maximal ideal in a polynomial ring

I have two questions: If $K$ is a field, $R=K[x_1,\ldots,x_n]$, the ring of polynomials over $K$ with $n$ indeterminates, and $M$ is a maximal ideal of $R$ why is the contraction $N$ of $M$ to ...
3
votes
0answers
81 views

When does a homogeneous morphism have only finite fibers?

Suppose that we have a map ${\bf f}:=(f_1,f_2,\cdots ,f_n):\mathbb{C}^n\rightarrow \mathbb{C}^n$ given by $$ \mathbb{C}^n\ni {\bf z}:=(z_1,z_1,\cdots,z_n)\rightarrow \big(f_1({\bf z}),f_2({\bf ...
1
vote
1answer
67 views

Question on a property of $\mathrm{Ass}(M)$ for modules over noetherian rings

I got stuck reading a proof of the following lemma (Lemma 0.19 in this file): Lemma Suppose that $M$ is a module over a commutative noetherian ring $R$ and let $m\neq 0 \in M$. Let $S$ be a ...
2
votes
2answers
70 views

If the localizations of two submodules with respect to any prime ideal are equal then the submodules are equal [closed]

I want to prove the following: Let R be a commutative ring with 1 and let N and L be two submodules of an R-module M. If the localizations of N and L with respect to any prime ideal of R are ...
1
vote
0answers
78 views

Localization of a regular local ring is regular

Quoting Hartshorne's Algebraic Geometry Definition. We say a scheme $X$ is regular in codimension one if every local ring $\mathcal{O}_x$ of $X$ of dimension one is regular. The most ...
5
votes
2answers
104 views

About the ramification locus of a morphism with zero dimensional fibers

This question arises from my somewhat frustrating attempts to understand what etale means (in the world of algebraic varieties for now) and marry the more advanced algebraic geometry references and ...
2
votes
1answer
47 views

Relatively prime ideals in Dedekind Domains

I am currently working through Lang's Algebra and have come across an exercise I can not solve (Chapter II, Exercise $19$). Any help would be greatly appreciated. Let $R$ be a Dedekind domain. ...
2
votes
0answers
54 views

Partial derivatives with respect to algebraically independent polynomials

Suppose that $\{f_1, \ldots, f_n\}, \{g_1, \ldots, g_n\}$ and $\{h_1, \ldots, h_n\}$ are algebraically independent polynomials that generates the same algebra of $\mathbb{R}[x_1, \ldots, x_n]$. Then I ...
3
votes
0answers
46 views

Product of schemes and ideal sheaves

Let $X \subset \mathbb{P}^n$ and $Y \subset \mathbb{P}^m$ be projective schemes over $\mathbb{C}$. Then, 1) Is the structure sheaf of $X \times_{\mathbb{C}} Y$ isomorphic to $\mathcal{O}_X ...
0
votes
1answer
45 views

Let I be an unmixed radical ideal of R. then (I:x) is unmixed

Let $R$ be commutative ring with $1$. One says that an ideal $I$ is unmixed if $I$ has no embedded prime divisors (in other words, if the associated prime ideals of $R/I$ are the minimal prime ideals ...
3
votes
1answer
53 views

Length of tensor product of finite length modules is finite

Let $R$ be a commutative ring. If $M$ and $N$ are finite length $R$-modules, then $M\otimes_R N$ has finite length, and $l(M\otimes_R N) \le l(M)l(N)$. I know the question has been posted ...
2
votes
1answer
68 views

How can I verify that the ideal $(x^2-zw, z^2-yw, y^3-xw, w^3-xy^2z)$ in $\mathbb Q[x,y,z,w]$

I want to show that the ideal $$(x^2-zw, z^2-yw, y^3-xw, w^3-xy^2z)$$ in the ring $\mathbb{Q}[x,y,z,w]$ is prime, how can I?
0
votes
1answer
62 views

If every maximal ideal is finitely generated is the ring Noetherian? [duplicate]

$R$ is a commutative ring with $1$. Suppose every maximal ideal is finitely generated. Is this ring Noetherian? Equivalently, is every prime ideal finitely generated?
0
votes
0answers
31 views

Subvarieties and finding ideals

Hi guys I am stuck working on this problem. I have a surface $W= V(xz-y^2)$ and we are trying to find an ideal $J \in K[W]$ so that the $V_w(J)=V(y-x^2,z-x^3)$ I showed that the second thing which is ...
2
votes
1answer
78 views

Functorial construction with two integral domains

Motivated by this question: Let $\mathsf{Int}$ be the category of integral domains with ring homomorphisms (perhaps only injective ring homomorphisms, if you need this). Is there a functor ...
1
vote
2answers
38 views

Residue class field of coordinate ring

If $X$ is an irreducible affine curve over an algebraically closed field $k$, then its coordinate ring $O(X)$ is a Dedekind domain. Suppose $\mathfrak{p}$ is a prime (hence maximal) ideal in $O(X)$ ...
0
votes
0answers
39 views

Property of free submodules for a module over a PID [duplicate]

This question was asked here and remains without solution. It's possible to produce an example of an integral domain $R$ and a free $R$-module $M$ with free submodules $L, L'$ such that $L+L'$ is ...
0
votes
1answer
17 views

Residue class ring of Dedekind domain

Zariski and Samuel Commutative Algebra Ch V para 7 makes the following statement: If $R$ is a Dedekind domain with an ideal $\mathfrak{a}=\prod_i\mathfrak{p}_i^{n(i)}$ factored into prime ideals, ...
1
vote
2answers
55 views

Module structure of base extension via tensor product

Let $A,B$ be commutative rings. Defining a product of $B\otimes_{A}B$ as $(b_1 \otimes b_2)\cdot (b_3 \otimes b_4)=(b_1b_3)\otimes(b_2b_4)$, this becomes a commutative ring. Defining $b\cdot(b_1 ...
3
votes
1answer
40 views

Question on the existence of a prime ideal contained in the $\ker$ of a homomorphism $\mathbb{C}[x,y]\rightarrow\mathbb{C}[t]$.

I found this exercise in a basic algebraic geometry book: Let $f:\mathbb{C}[x,y]\rightarrow \mathbb{C}[t]$ a non-zero homomorphism such that $\ker f$ strictly contains a prime ideal $P\neq0$. Is it ...
0
votes
0answers
33 views

tensor product of formal power series

Let $A[[h]]$ be the formal power series algebra over $\mathbb{C}[[h]]$, here $\mathbb{C}$ is the complex number field. Is the canonical map $A[[h]] \otimes_{\mathbb{C}[[h]]} A[[h]] \to ...
0
votes
1answer
37 views

A comparison between heights and between grades

I search for noetherian commutative rings having distinct prime ideals $P⊂Q$ with no primes between them, where $grade(Q)≠grade(P) +1$, or $height(Q)≠height(P)+1$. If $R$ is Cohen-Macaulay, are the ...
2
votes
1answer
40 views

Gröbner Basis and Division Algorithm

I recently read a lemma on a course in Commutative Algebra that states, If $G$ is a Gröbner Basis for an Ideal $I$ in $k[x_{1},x_{2}...x_{n}]$, then a polynomial $f$ belongs to $I$ if and only if ...
0
votes
1answer
37 views

Describing ideal that vanishes at the variety

We have the following morphism $$\phi(a_1,..a_m;b_1,...,b_n)= \begin{pmatrix} a_1 b_1 & \ldots & a_1 b_n \\ \vdots & \ddots & \vdots \\ a_mb_1 & \ldots & a_m b_n ...
7
votes
2answers
173 views

What's the theoretical basis for integration using partial fractions?

Exercises involving integration using partial fractions depend on expressing a rational function $\frac{P(x)}{Q(x)}$ (where the degree of $P$ is less than the degree of $Q$) as a sum of ...
1
vote
1answer
39 views

Element in no prime ideal $\iff$ it is a unit

I was working through Atiyah & MacDonald, chapter 1 section 1 problem 17 part iii) where it says Let $R$ be a ring and $f\in R$. Define $V(f)$ to be all elements of ...