Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [local-rings]

In abstract algebra, more specifically ring theory, local rings are certain rings that are comparatively simple, and serve to describe what is called "local behaviour", in the sense of functions defined on varieties or manifolds, or of algebraic number fields examined at a particular place, or prime.

2
votes
1answer
41 views
+50

Surjective homomorphism from a faithfully flat module to a regular local ring.

Let $R$ be a regular local ring and let $M$ be a faithfully flat $R$-module. Does there necessarily exist a surjective $R$-module homomorphism from $M$ to $R$? For context, I am computing $\sum_{f\in\...
1
vote
1answer
16 views

The vanishing ideal of the complex torus

I am trying to get my hands on the basics of algebraic geometry, and I am confused about the following. Let $(\mathbb{C}^{\times})^n \subset \mathbb{C}^n$ denote the complex torus. What I know is ...
0
votes
1answer
22 views

Intersections of Local Rings

Let $K$ be a field. Interestingly, the integrally closed subrings of $K$ are characterized as the intersections of valuation rings. What happens if we replace "valuation rings" with "local rings" ...
0
votes
0answers
38 views

Local ring if and only if $x$ or $1-x$ is unit

A commutative ring $R$ with identity is local if and only if for all $x \in R$, $x$ or $1-x$ or both is unit. I have solved the 'only if' part, but I have stuck on the 'if' part for a very long time$\...
2
votes
1answer
41 views

Commutative ring satisfying a.c.c. and d.c.c. on radical ideals

Let $R$ be a commutative ring with unity whose prime spectrum is both Noetherian and Artinian under Zariski topology i.e. $R$ satisfies a.c.c. and d.c.c. on radical ideals. Then is it true that $R$ ...
2
votes
0answers
70 views
+100

Completion of the local ring at a point on arithmetic surfaces.

Let $K$ be a number field and consider a arithmetic surface $X\to B=\operatorname{Spec} O_K$, i.e. $X$ is integral, regular, flat, proper over $O_K$ and it has dimension $2$. Now pick a closed point $...
3
votes
0answers
77 views

Consequence of local duality

Let $(R,\mathfrak m)$ be a local Cohen-Macaulay ring of dimension $d$ with a canonical module $\omega.$ Let $M,N$ be maximal Cohen-Macaulay $R$-modules. Then local duality implies $$\mathrm{Ext}^i(N,\...
2
votes
1answer
34 views

The residue field of valuations are finite extension

Let $K\mid k$ be a finitely generated extension (maybe of transcendence degree bigger than one) and consider a rank one valuation of $K$ over $k$, that is, a function $$v:K^\times\rightarrow \mathbb{R}...
1
vote
1answer
46 views

Is the ring $\mathbb{Z}_{p^n}$ local?

Let $p$ be a prime number. Is the ring $\mathbb Z_{p^n}$ a local ring? That is, the set of non-units an ideal of the ring? I think yes, because the only prime that divides the order of the ring is $p$...
2
votes
0answers
38 views

Every finite integral extension of a Henselian, pseudo-geometric and analytically normal ring is algebraically closed in its completion.

In the book Local Rings Nagata states in Theorem 44.1: If $R$ is a Henselian pseudo-geometric analytically normal ring, then every finite integral extension $R'$ of $R$ is analytically ...
1
vote
0answers
54 views

Theorem on Injective Dimension in Weibel's “An Introduction to Homological Algebra”

This fact is stated in Weibel's book without proof: If $A$ is a finitely generated module over a commutative Noetherian local ring $(R,\mathfrak{m},k)$, then $id(A) \le d$ is equivalent to $\...
1
vote
1answer
48 views

Exercise 4.4.1 in Weibel's 'An Introduction to Homological Algebra'.

I can solve this question on the assumption that the $x_i$s are not zero-divisors since $\dim(R/(x)) = \dim(R)-1$ if $x$ is not a zero-divisor. My question is, how do I prove that they are not zero ...
2
votes
0answers
21 views

Existence of ideal in Cohen-Macaulay ring, going modulo which still gives Cohen-Macaulay [closed]

Let $R$ be a local Cohen-Macaulay ring of dimension $\le 2$. Does there necessarily exist an ideal $J$ of $R$ such that $\sqrt J$ is a minimal prime ideal of $R$ and $R/J$ is Cohen-Macaulay ?
2
votes
2answers
135 views

Quotient ring local if Ring is local

I want to show: If $R$ is local and $I\neq R$ an ideal, then $R/I$ is also local. We already know: A Ring $R$ is local if and only if $R-R^{\times} = \{r\in R \, | r \notin R^\times \}$ is an ideal. ...
0
votes
1answer
74 views

When is a map of local rings finite?

Let $A,B$ be Noetherian local rings, and let $A \to B$ be a ring homomorphism such that the induced map $\operatorname{Spec} B \to \operatorname{Spec} A$ is surjective and quasifinite (of finite type ...
2
votes
1answer
71 views

Commutative local ring with $10$ ideals

Let $R$ be a commutative ring with unity with exactly $10$ ideals (including $\{0\}$ and $R$ ) . Then is it true that $R$ is a Principal Ideal Ring ? My Work: I know that any commutative ring with $5$...
1
vote
0answers
38 views

Adjoining an element with given minimal polynomial to a DVR of characteristic p.

Let $A$ be a DVR of characteristic $p$, with $\pi$ a uniformising parameter, with $K=frac(A)$ the field of fractions. Consider the extension $L=K(\alpha)$ where $\alpha$ has minimal polynomial $y^p+\...
2
votes
0answers
45 views

Showing some element is a zero divisor

Let $R=R_1\oplus R_2$, where each $R_i$ is a commutative ring with unity. Let $(S,\eta)$ be a local subring of $R$. Let $\pi_1$ be the projection of $R$ onto $R_1$. It is also given that $\pi_1|_S$ is ...
1
vote
0answers
61 views

Integral extension of a local ring is semilocal

Let $S\subseteq R$ be commutative rings with $1$. It is given that $S$ is local and $R$ is integral over $S$. I need to show that $R$ is semilocal that is $R$ has finitely many maximal ideals. It is ...
2
votes
1answer
69 views

Divided power algebra is artinian as a module over the polynomial ring

In the paper Homological algebra on a complete intersection, with an application to group representations I found the following argument that I do not understand: Suppose $B$ is a local artinian ring ...
0
votes
0answers
31 views

On cancelling special type of ideals in Noetherian local domain of dimension $1$

Let $(R,\mathfrak m)$ be a local, Noetherian domain of dimension $1$. If $J$ a non-zero ideal of $R$ such that $J^2=\mathfrak m J$, then is it true that $J^2=\mathfrak m^2$ ? If this is not true in ...
0
votes
0answers
19 views

On cancelling primary ideals in Noetherian, local, unique factorization domain of dimension $2$

Let $(R,\mathfrak m)$ be a local , Noetherian , UFD of dimension $2$. Let $J$ be an $\mathfrak m$-primary ideal ($\sqrt J=\mathfrak m$) of $R$ such that $J^2=\mathfrak m J$. Then, is it true that $J^...
0
votes
1answer
20 views

On a special type of ideal in local Artinian ring

Let $(R,\mathfrak m)$ be a local Artinian ring. If $J$ is a non-zero ideal of $R$ such that $J^2=\mathfrak mJ$, then is it true that $J=\mathfrak m$ ? or at least $J^2=\mathfrak m^2$ ? NOTE: $J^2=\...
1
vote
1answer
27 views

Is there a nonzero module $M$ over an artinian local ring $(R,\mathfrak m)$ such that $\mathfrak mM=M\ ?$

Let me paste the title: Is there a nonzero module $M$ over an artinian local ring $(R,\mathfrak m)$ such that $\mathfrak mM=M\ ?$ Of course such a module could not be finitely generated.
5
votes
0answers
79 views

On certain local, Noetherian , unique factorization domain whose maximal ideal is minimally generated by $3$ elements

Let $(R,\mathfrak m)$ be a Noetherian , local , UFD with $\mu(\mathfrak m)=3$ ( where $\mu(\mathfrak m):=\min\{|S| : \langle S\rangle=\mathfrak m\}$ ). Also assume that if $J$ is an ideal with $\sqrt ...
0
votes
0answers
40 views

How to find a regular parameter system of the local ring $ \mathbb{C} [X_0, \dots, X_n]_{(P \ )} $?

How to find a regular parameter system of the local ring : $ \mathbb{C} [X_0, \dots, X_n]_{(P \ )} $ with : $ (P \ ) $ a prime ideal of : $ \mathbb{C} [X_0, \dots, X_n] $ ( i.e : $ P \in \mathbb{C} [...
0
votes
1answer
41 views

Is a complete intersection ring, which is a quotient of a maximal $A$-sequence, Artinian?

Let $A$ be a noetherian regular local ring, $x_1,\dots,x_n$ a regular $A$-sequence and $B = A / (x_1,\dots,x_n)$. Then $B$ is a complete intersection ring by definition. If $(x_1,\dots,x_n)$ is a ...
2
votes
1answer
35 views

Quotients of powers of maximal ideal in a local ring.

I need a reference to a (hopefully) known result: I think I can quite easily prove that if $L$ is a commutative Noetherian local ring with maximal ideal $M$ then for any positive integer $n$, $L$-...
0
votes
1answer
106 views

Is a subring of a local ring still local?

If $B$ is a (unital) subring of a unital local ring $A$, is $B$ still a local ring? If not, under which assumption is it true?
2
votes
2answers
65 views

Multiplicity of point of algebraic plane curve

I'm reading Fulton's Curves at the moment, and I'm stuck on Theorem 2 of section 3.2. He has defined the multiplicity $m_P(C)$ of a point $P = (0,0)$ of curve $C = V(F)$ (let's say $C$ is irreducible ...
2
votes
0answers
17 views

Do we have a nice classification of injective modules over a local ring?

Let $R$ be a local ring. We know, for example, that $V$ is a projective $R$ module if and only if $V$ is free. Also, since $R$ is not semisimple, there must be at least one module which is not ...
3
votes
0answers
54 views

Corollary 4.19 from “Homological methods in commutative algebra”

I would like to show the following result: for a noetherian local ring $A$, we have $\mathrm{gl.dim}_A=\mathrm{hd}_A (k)$. Notice that the left side term of the equality is the global dimension of $A$,...
0
votes
1answer
17 views

$R$ is artinian $\implies$ $(eR)_R$ is local $R$-module for an idempotent $e \in R$

Let $R$ be a ring with unity $1$ and artinian. Consider $R$ as right $R$-module $R_R$. Since it is artinian we have a finite decomposition of $R$ into right ideals: $$R_R = A_1 \oplus ... \oplus A_n$$...
1
vote
1answer
48 views

Example for being an integral domain is not a local property.

Let $K$ be a field and $R=K\times K$ the product ring. We know this ring is not integral domain. But for all $P \in Spec(R)$, $R_P$ (the localization of $R$ at $P$) is integral domain. I know this ...
3
votes
0answers
41 views

Calculate $\dim_k(\mathfrak{m}^i/ \mathfrak{m}^{i+1})$ for the local ring $\mathbb{Z}_{(2)}[\sqrt{-3}]$

I am just studying for my exam in commutative algebra and I am trying to compute the Hilbert polynomial of the ring $R=\mathbb{Z}_{(2)}[\sqrt{-3}]$. To do so, I was trying to calculate $\dim_k(\...
0
votes
0answers
53 views

Completion and endmorphism ring of injective envelope

Let $(R,m,k)$ be a commutative Noetherian local ring. Suppose $E$ is the injective envelope of $k$. For any module $M$, denote by $M^*=Hom_R(M,E)$. Denote by $R^~$the $m$-adic completion of $R$. Let $...
5
votes
1answer
99 views

Local ring of a surface: polynomial expression

Let $(X,\mathscr O_X)$ be a smooth surface over a field $k$ (two dimensional scheme, regular, noetherian....) and fix a point $x\in X$. Then if we complete the local ring $\mathscr O_{X,x}$ at its ...
0
votes
1answer
35 views

Artinian local ring with every non-maximal ideal being principal [closed]

Let $(R, \mathfrak m)$ be an Artinian local ring with every non-maximal ideal being principal. Then is $R$ a principal ideal ring ?
2
votes
1answer
52 views

Valuation ring of finite Krull dimension whose every non-maximal ideal is principal

Let $(R, \mathfrak m)$ be a Valuation ring of finite Krull dimension such that every non-maximal ideal i e. every ideal which is not $\mathfrak m$, is principal. Then is $R$ Noetherian i.e. a discrete ...
0
votes
0answers
28 views

Is R/S injective R-module?

In the book Exercises on Modules and Rings- Lam, Exercise 16.2 gives a ring as follows: K is a field, $\sigma\in End(K)$, $L=\sigma(K)$ such that $[K:L]=2$ (dimension is given as n in the book.) Let $...
1
vote
0answers
77 views

Valuation ring whose unique maximal ideal and every ideal of finite height is principal

Let $(R, \mathfrak m) $ be a valuation ring such that $\mathfrak m$ and every ideal of finite height is principal. Then is $R$ Noetherian , i.e. a discrete valuation ring ?
0
votes
0answers
29 views

Does isomorphism of analytic algebras determine their analytic tensor product (modulo isomorphism)?

Consider two analytic algebras $\mathcal{O}_{\mathbb{C}^{m},0}/\mathcal{I}_{A}$ and $\mathcal{O}_{\mathbb{C}^{n},0}/\mathcal{I}_{B}$, where $\mathcal{I}_{A}:=\mathcal{O}_{\mathbb{C}^{m},0}f^{1}_{0}+\...
0
votes
0answers
50 views

Prime ideal of a polynomial ring restricted to the ring of coefficients

This is a question following on from here. There I was asking about the proof of Proposition 6.6 in Chapter II of Hartshorne's text. At this point I'm still completely stuck. I think I have reduced ...
0
votes
0answers
23 views

Are the quotients in $I$-adic completions of a local Noetherian ring isomorphic for proper ideals $I$

Let $R$ be a local Noetherian ring with maximal ideal $m$. Now let $I$ be a proper ideal of $R$ and $\hat{R}_I$ the $I$-adic completion of $R$. I have to prove that they have the same Samuel function. ...
2
votes
0answers
47 views

More aesthetically pleasing proof of lifting.

Say you have a complete Noetherian local ring $(A,\mathfrak m_A,k_A)$ and a complete Noetherian local $A$-algebra $B$ with residue field $A$. Furthermore, suppose you can find a surjective local ...
3
votes
1answer
89 views

Local, factorization domain with principal maximal ideal is a PID?

Let $R$ be a Factorization domain (https://en.m.wikipedia.org/wiki/Atomic_domain ) which is local and with principal maximal ideal. Then is $R$ a Bezout domain i.e. every finitely generated ideal is ...
0
votes
0answers
24 views

Difference between two localizations

What is the difference between $\mathbb{C}[x]_{(x)}[y]$ and $\mathbb{C}[x,y]_{(x)}$? To me they are both equal to: $\{ \frac{f(x, y)}{g(x,y)} | g(0, y) \neq 0 \}$ Is this true and if it isn't can ...
1
vote
1answer
40 views

Statement of Lech's lemma

The statement of the theorem $14.12$ (page 110) in Commutative ring theory by Matsumura is: Let $A$ be a $d$-dimensional local ring, and $x_1,\ldots ,x_d$ be a system of parameters; set $\mathfrak q=(...
1
vote
0answers
90 views

Complete rings with respect to an I-adic topology

I am interested in a ring $R$ with an ideal $I\subset R$ and the following properties: 1) $R$ is complete with respect to $I$-adic topology; 2) $\cap_{n\geq 1} I^n=\{0\}$; 3) $R/I$ is finite. In ...
5
votes
1answer
76 views

Galois Theory for Finite Local Commutative Rings

Let $R\subseteq S$ be two finite commutative local rings with unique maximal ideals $m$ and $M$, respectively. We say that $S$ is a separable extension of $R$ if $mS=M$. We also say that $S$ is a ...