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

learn more… | top users | synonyms (1)

3
votes
0answers
21 views

Ramification group of valuations - need terminology

I am lost and need some terminology (also hopefully sources). Let $L/K$ be a Galois extension, and $w$ be a valuation of a $L$, lying above a valuation $v$ of $K$. Notice that I do not suppose that ...
0
votes
0answers
45 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
2answers
42 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= ...
0
votes
1answer
64 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?
8
votes
3answers
1k views

About the localization of a UFD

I was wondering, is the localization of a UFD also a UFD? How would one go about proving this? It seems like it would be kind of messy to prove if it is true. If it is not true, what about ...
3
votes
1answer
33 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]$ ...
2
votes
1answer
61 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 ...
3
votes
2answers
51 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
0answers
34 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
38 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 ...
1
vote
1answer
47 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 ...
3
votes
2answers
76 views

$\overline{\mathbb{Z}}$ is not a Dedekind domain.

I have to prove the following statement : Let $\overline{\mathbb{Z}}$ be the ring of all algebraic integers in (a fixed choice of) $\overline{\mathbb{Q}}$. Then $\overline{\mathbb{Z}}$ is not a ...
7
votes
2answers
74 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?
2
votes
1answer
57 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 ...
5
votes
2answers
125 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 ...
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 ...
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 ...
83
votes
0answers
3k views
+50

The Ring Game on $K[x,y,z]$

I recently read about the Ring Game on Mathoverflow, and have been trying to determine winning strategies for each player on various rings. The game has two players and begins with a commutative ...
3
votes
1answer
69 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 ...
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 ...
4
votes
1answer
335 views

The UFD field lemma

This page contains a result which it refers to as the UFD field lemma. I was wondering if anybody knew of any other references which discuss this result--this page is the only place I've seen it. The ...
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
83 views

Prove that $S$ is an integral domain and $T$ is not an integral domain.

Let $R = \mathbb{C}[x,y]$ $R^i \subset R$ be the abelian subgroup of $R$ generated by elements of $\mathbb{C}$ times monomials of degree at least $i$ $I = (x^3+x^2-y^2)$ $S = R/I$ $S^i$ be the group ...
0
votes
1answer
56 views

An example of Noether normalization

Let $A=k[x_1,x_2]/(x_2^2-x_1^3+x_1)$. As an example of Noether normalization, determine elements $y_1,\ldots,y_m\in A$, algebraically independent over $k$, such that $A$ is a finite ...
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?
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
2answers
58 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 ...
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 =(
0
votes
0answers
34 views

a math-software that can compute analytic spread

I want to compute "analytic spread" . So I need a math-software that can compute it. can anyone help please? Here is the definition:
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 ...
103
votes
0answers
4k views
+100

A short proof for $\dim(R[T])=\dim(R)+1$?

If $R$ is a commutative ring, it is easy to prove $\dim(R[T]) \geq \dim(R)+1$. For noetherian $R$, we have equality. Every proof I'm aware of uses quite a bit of commutative algebra and non-trivial ...
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 ...
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 ...
12
votes
4answers
2k views

Surjective endomorphisms of finitely generated modules are isomorphisms

My Problem: Let $M$ be a finitely generated $A$-module and $T$ an endomorphism. I want to show that if $T$ is surjective then it is invertible. My attempt: Let $m_1,...,m_n$ be the generators of ...
0
votes
0answers
70 views

Ambiguity in the definition of unmixed ideal

Compare the definitions: Page 136 Matsumura, Commutative ring theory: A proper ideal $I$ in a Noetherian ring $A$ is said to be unmixed if the heights of its prime divisors are all equal. ...
-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 ...
1
vote
1answer
42 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$ ...
-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 ...
2
votes
2answers
153 views

Finite injective dimension

Let $A$ be a commutative noetherian ring. Is it true that if $A$ is regular then any module over it has a finite injective dimension? What if $A$ is Gorenstein? Any reference who discuss this?
75
votes
4answers
2k views

Does $R[x] \cong S[x]$ imply $R \cong S$?

This is a very simple question but I believe it's nontrivial. I would like to know if the following is true: If $R$ and $S$ are rings and $R[x]$ and $S[x]$ are isomorphic as rings, then $R$ and $S$ ...
3
votes
1answer
48 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 ...
9
votes
1answer
175 views

$\Bbb{R}/n\Bbb{Z}$ is isomorphic to $A_\Bbb{Q}/(\Bbb{Q}+C_n)$.

Let $A_\Bbb{Q}$ be the adele group of $\Bbb{Q}$. Let $C_n=\{x \in A_\Bbb{Q}: x_\infty=0 \text{ and }x_p \in p^{\operatorname{ord}_p(n)}\Bbb{Z}_p \text{ for prime }p\}$. I want to show that ...
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: ...
0
votes
1answer
70 views

When is the quotient ring of a multivariable polynomial ring over a field an integral domain?

When is the quotient ring of a multivariable polynomial ring over a field an integral domain? I am actually trying to show that a monomial ideal is prime by showing the corresponding quotient ...
2
votes
3answers
247 views

An ideal whose radical is maximal is primary

I've got to prove that an ideal $Q$ whose radical is a maximal ideal is a primary ideal. That is, I want to prove that if $xy\in Q$, then $x\in Q$ or $y^n\in Q$ for some $n>0$. I've been ...