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

learn more… | top users | synonyms (1)

1
vote
0answers
23 views

immersions and finite morphisms

I have the following question: Let $X \subset \mathbb A^n$ be an affine variety. Prove that the immersion $i\colon X \hookrightarrow \mathbb A^n$ is a finite morphism. I know that the ...
3
votes
1answer
30 views

Irreducible elements and unique factorization domain

Let $P=\{\frac{a}{3^n} : a \in \mathbb{Z}, n \in \mathbb{N}\}$. a) Which elements are irreducible in $P$: 4, 5, 6, 9, 10, 15? b) Find out, which one of rings: $ P$, $\mathbb{Z}[i\sqrt{5}]$, $P[x]$ ...
0
votes
1answer
59 views

Is ideal prime or maximal? [on hold]

Find, whether or not given ideal of $\mathbb{Z}[x]$ ring is prime or maximal and describe the quotient ring : a) $J_1 = (x-5)$ b) $J_2 = (3, x+5)$. How can I do that?
2
votes
1answer
32 views

If $P \in Supp(M)$ prove that $P$ contains a prime ideal $Q$ with $Q \in Ass_R(M)$.

My problem is below, Let $M$ be an $R$-module. The set of prime ideals $P$ of $R$ for which the localization $M_P$ is nonzero is called the support of $M$, denoted $Supp(M)$. The set of prime ideals ...
7
votes
2answers
69 views

Units of $\overline{\mathbb{Z}}$

What are the units of $ \overline{\mathbb{Z}} $ (the ring of algebraic integers)? I know all roots of monic polynomials with constant term 1 are units, but are there any others?
1
vote
0answers
31 views

Relation between generators of a free graded $k[x,y]$-module and a free graded submodule

Let $M = \bigoplus_{i=1\ldots 5}R(m_i)$ be a free $\mathbb{Z}^2$-graded $R$-module where $R=\mathbb{Z}_p[x,y]$ and $N=\bigoplus_{i=1\ldots 5}R(n_i)$ a free graded submodule of $M$. Define the ...
2
votes
1answer
55 views

Regular Local Ring

Let $Y$ be an affine variety in $\mathbb{A}^n_k$ and $\mathfrak{i}$ its corresponding ideal. We use the notation $A(Y) = k[x_1,...,x_n]/\mathfrak{i}$ for the coordinate ring of $Y$. Pick a point $p\in ...
3
votes
2answers
47 views

Categorical Interpretation of Localization

At the very beginning of Ravi Vakil's amazingly famously amazing and famous notes on algebraic geometry, he remarks that some familiarity with localization and prime ideals is useful. I don't know ...
1
vote
1answer
46 views

A question on Artinian and Noetherian rings.

All rings are commutative and unital. Suppose that $A$ is a ring in which the zero ideal can be written as a product of maximal ideals of $A$. I try to prove that $A$ is Noetherian if and only if ...
5
votes
2answers
120 views

Is this particular module flat?

Let $A=k[x^2,xy,y^2]\hookrightarrow B=k[x,y]$, where $k$ is a field. Is $B$ flat over $A$? I am guessing the answer is no. My first thought is, since $B$ is integral over $A$, so it's finitely ...
7
votes
1answer
76 views

Determinant bundle of a tensor product

Let $X$ be a ringed space (for example, a scheme or a manifold). If $V$ is a locally free $\mathcal{O}_X$-module of rank $n$, then $\mathrm{det}(V) := \Lambda^n V$ is a locally free ...
2
votes
2answers
70 views

The interpretation of ideals of a ring.

Ideals of a commutative ring (I have only studied the commutative case) are thought of as generalized numbers (in algebraic number theory) and as ring homomorphisms (through the ideal as kernel ...
1
vote
1answer
33 views

Commutative ring is sum of two ideals iff $x \to (x + I, x + J)$ is surjective.

I'm stuck on this exercise and any help would be well appreciated: Let $R$ be a commutative ring with ideals $I,J$. Show that $R=I+J$ if and only if $\phi(x)= (x + I, x + J)$ is surjective from ...
3
votes
1answer
68 views

Castelnuovo-Mumford regularity of Cohen-Macaulay modules

Let $S=K[X_1,\ldots,X_n]$ and $M$ be a Cohen-Macaulay $S$-module. This equality holds $$ \operatorname{reg}(M)=\dim(M)+\max\{i\in\mathbb{Z}\colon P_{M}(i)\neq H(M,i)\}. $$ It's been proved in ...
4
votes
1answer
28 views

Picard group of $\mathbb Z[\sqrt{-5}]$

I search for a simple proof for the fact that $\operatorname{Pic}(\mathbb Z[\sqrt{-5}])=\mathbb Z/2\mathbb Z$, where $\operatorname{Pic}(R)$ is the Picard group of the ring $R$ - the set of ...
1
vote
1answer
38 views

relation between units and non zero divisors in a ring

I can prove that in finite commutative ring, non zero divisors are units. My question is if the reverse also true. I mean, units are non zero divisors? And what about the commutative infinite rings?
3
votes
2answers
56 views

Can $ℂ$ be viewed as a (nontrivial) field of fractions?

Is there an interesting ring $S ⊂ ℂ$ such that $ℂ = Q(S)$? I’m thinking no, but how can I prove it?
1
vote
0answers
32 views

Proving that a certain local ring is regular

I understand that this is a special case of the Jacobian criterion, but I was hoping that there was a simpler argument to prove it than for the criterion itself (I don't fully understand the proof of ...
0
votes
1answer
49 views

Nakayama's lemma, second version

Let $R$ be a commutative ring with identity, $J$ an ideal that is contained in every maximal ideal of $R$, and $A$ is finitely generated $R-$ module. If $R/J\otimes _R A=0$, then $A=0$. ...
3
votes
1answer
40 views

Are finitely presentable modules closed under extensions?

If $0 \to A \to B \to C \to 0$ is an exact sequence of modules, and $A$ and $C$ are finitely presentable, then is $B$ finitely presentable? The answer is "yes" if we replace modules with groups, ...
1
vote
1answer
27 views

one to one correspondence of Ideals in a ring and its localization

Let $A$ be a commutative ring, and $S$ a mutiplicatively closed subset. In my text book, it is stated that: there is one to one correspondence of prime ideals in ring $A$ (not meeting $S$) and ...
1
vote
0answers
31 views

integral closure of a ring

I have (probably) a very simple exercise in commutative algebra. $k$ is a field and $A = k[x,y]/(x^3 - y^2)$. $\phi : A \to k[t]$ is a morphism defined by $\phi(x) = t^2, \phi(y) = t^3$. Show that ...
-1
votes
0answers
31 views

Question about geometrical invariant

Assume $R$ is ring and $I $is ideal of $R $ The property of ideal $I$ was defined Geomerical properties which only depend on radical of $I$ For example varieties and projective varieties with ...
7
votes
2answers
56 views

Is Orzech's generalization of the surjective-endomorphism-is-injective theorem correct?

In math.stackexchange answer #239445, Makoto Kato quoted a statement from the paper Morris Orzech, Onto Endomorphisms are Isomorphisms, Amer. Math. Monthly 78 (1971), 357--362. The statement ...
2
votes
1answer
57 views

Describing $Spec(\mathcal{O}_K[X])$

Let $K$ be an algebraic number field and $\mathcal{O}_K$ its ring of integers. I am trying to describe $Spec(\mathcal{O}_K[X])$ in terms of fibers of the map $g: Spec(\mathcal{O}_K[X]) \rightarrow ...
2
votes
1answer
32 views

prove that this ideal is radical

Let $A=\mathbb k[x,y,z]$ and let the ideal $$ I=(z-1,x^2-y).$$ I need to find $rad(I)$ but i don't know how. I think that this ideal is radical but I don't know good criteria for doing that =(
1
vote
1answer
41 views

Finite Extension of Integral Domains.

Let $D\subset E$ (integral domains), with fraction fields $k\subset K $. Suppose that $E$ is integral over $D$, and $E$ is $D$-module finitely generated. My question is: $[K:k]$ is finite? Thank ...
2
votes
1answer
34 views

Ideals agreeing in a localization

I have an integral scheme $X$, and two coherent ideal sheaves $\mathcal I$ and $\mathcal J$ on $X$. I know there is a (maybe not closed) point $x$ of $X$ such that $\mathcal I$ and $\mathcal J$ ...
3
votes
1answer
46 views

The local rings of $xy=0$ and $xy+x^3+y^3=0$ are not isomorphic, but have isomorphic completions?

I know that if you have a commutative local ring $R$, and you take its completion $\widehat{R}$ the inverse limit of the $R/\mathfrak{m}^i$, you get another local ring. However, nonisomorphic local ...
4
votes
0answers
49 views

Flatness and Cohen-Macaulay rings

Let $A$ be a local Artin ring, $R$ a local Noetherian ring, $f:A \to R$ a flat morphism and $R$ is cohen-Macaulay. Let $I$ be an ideal in $R$ such that $R/I$ is also Cohen-Macaulay. Under what ...
2
votes
0answers
25 views

Proof of the Jacobian criterion - book of Eisenbud

I could really use some help understanding a statement in the last part of the proof of the Jacobian criterion in "Commutative Algebra with a view toward Algebraic Geometry" by D. Eisenbud, namely: ...
3
votes
2answers
40 views

Proving equivalent versions of faithfully flatness.

I was reading a proof of the the following theorem from Matsumura (p.47) There was something confusing about $(3) \implies (2)$ and $(2) \implies (1)$. Question 1 Here, it says $M \not= ...
1
vote
1answer
55 views

Is the localization of a ring $R$ at a prime ideal a finitely generated algebra over $R$?

Let $R$ be a ring and let $S=\{1,s,s^2,s^3,\dots\}$ be a multiplicative system of $R$. Consider the canonical map $R\rightarrow S^{-1}R$. Is $S^{-1}R$ a finitely generated algebra over $R$? It looks ...
3
votes
1answer
89 views

Atiyah-MacDonald Ch. 4 exercise 20: what's the module analogue of $\sqrt{\mathfrak{a}+\mathfrak{b}} = \sqrt{\sqrt{\mathfrak{a}}+\sqrt{\mathfrak{b}}}$?

Atiyah-MacDonald exercises 20-23 in chapter 4 develop a theory of primary decomposition for modules, in analogy with the theory developed in the chapter for rings. Exercise 20 begins with this ...
5
votes
1answer
83 views

Castelnuovo-Mumford regularity of a Veronese subring

I've faced a problem while reading a paper. It is mentioned to be trivial but I couldn't prove it. I'd appreciate if you can lead me to some resources or if you can prove it for me. Thank you. ...
1
vote
2answers
63 views

Are any of these rings isomorphic?

As part of my ongoing struggle to understand the complex conics, I've reached the following problem: Let $Q_1 = x^2 + y^2$, $Q_2 = x^2 - 1$, and $Q_3 = x^2$ be polynomials in $\mathbb{C}[x,y]$. ...
2
votes
1answer
44 views

Can a multiplicatively closed subset contain zero?

Let $A$ be a ring and $S$ be a multiplicatively closed subset. Can $S$ contain $0$? If so what will happen if we do $S^{-1}A$? A concrete and easy example coming to my mind is $A = \Bbb Z$, and $S = ...
-1
votes
0answers
53 views

Classes of rings C[x,y]/(x²+cy²+ey+f) [duplicate]

I have a question. I would like to describe the classes of rings that appear in $\mathbb{C}[x,y]/I$ up to isomorphism, where $I=(Q)$, $Q=x²+cy²+ey+f$, $c,e,f\in\mathbb{C}$. $Q$ comes from ...
3
votes
1answer
27 views

Describing integral closure of quadratic number fields

I'm facing the following problem. Let $p$ be a prime and $ K=\mathbb{Q}(\sqrt{p}) $. I'm trying to find the integral closure of $ \mathbb{Z} $ in $ K $. I don't really know where to start. I've ...
2
votes
1answer
18 views

Proof with exact sequence of modules

I'm trying to prove that if the sequence $$ M \xrightarrow{\varphi} W \rightarrow 0$$ is exact with $ W $ being a free module, then $ M \simeq \ker{\varphi} \oplus W $ What I got is that since $ W ...
3
votes
1answer
30 views

A ring with ACC on prime ideals, whose spectrum is non-noetherian.

I am currently working on the converse of the exercise #12 on chapter 6 of Atiyah-Macdonald's book on commutative algebra. The problem is asking whether there is a ring $A$, which satisfies the ...
2
votes
0answers
20 views

Homology of Derivations of a dgca algebra

Let $(A,d)$ be a differential graded commutative and associative algebra. A derivation on $A$ is a linear endomorphism $L: A \to A$, that satsfies $L(ab)= L(a)b+ aL(b)$. More general a derivation of ...
3
votes
1answer
40 views

Normalisation of $k[x,y]/(y^2-x^2(x-1))$

I am trying to figure out the normalisation of $k[x,y]/(y^2-x^2(x-1))$, for an algebraically closed field $k$. I can show that it is not normal and I have the information that the normalisation ...
7
votes
2answers
650 views

Is the hyperbola isomorphic to the circle?

Is the ring $B=\mathbb{C}[x,y]/(xy-1)$ isomorphic with $C=\mathbb{C}[x,y]/(x^2+y^2-1)$? I think they shouldn't but all my tryings fail to prove the fact. Are they in fact isomorphic so I may try to ...
1
vote
1answer
38 views

Is $k[x^4,x^3y,xy^3,y^4]$ a local ring?

I noticed that a system of parameters is defined in local rings and some books say that $\{x^4,y^4\}$ is a system of parameters for $R=k[x^4,x^3y,xy^3,y^4]$. Is $R$ a local ring or we use it refers to ...
0
votes
1answer
32 views

Good book for Local Fields/ Commutative algebra?

I am currently studying Local Fields from Serre's textbook, but finding that it requires a bit too much prior knowledge for me. Can anyone suggest another book that I can use alongside Serre that ...
1
vote
1answer
75 views

non-examples for Krull-Schmidt-Azumaya

I am looking for some rings $A$ and finitely generated $A$-modules $M$, where the conclusion of the Krull-Schmidt-Azumaya Theorem does not hold for $M$, i.e. where $M$ can be written as direct sums of ...
1
vote
1answer
55 views

Classifying complex conics up to isomorphism as quotient rings of $\mathbb{C}[x,y]$

This is a continuation of the question I asked here. The problem is now: Let $Q = ax^2 + bxy + cy^2 + dx + ey + f \in \mathbb{C}[x,y]$ be a general quadratic polynomial, that is, $a,b,c \not= 0$. ...
1
vote
1answer
66 views

Trouble showing flatness

Let $K$ be a field and $\pi: K[x]/(x^2) \to K$ be the ring homomorphism given by the valuation at $0$. I'm stuck in showing that $\pi^*(K)$ (the pullback) is not a flat module (over $K[x]/(x^2)$).
1
vote
1answer
45 views

Can anyone help me understand an application of Nakayama lemma?

In the Wikipedia there is an application of Nakayama lemma: In the special case of a finitely generated module $M$ over a local ring $R$ with maximal ideal $m$, the quotient $M/mM$ is a vector ...