# Questions tagged [local-rings]

The tag has no usage guidance.

144 questions
Filter by
Sorted by
Tagged with
158 views

### Finitely generated commutative rings with the same profinite completion

Let $R_1$ and $R_2$ be two finitely generated commutative rings. Assume that their profinite completions are isomorphic: $\widehat{R_1}\cong \widehat{R_2}$. Suppose that $R_1$ is a domain. Does ...
260 views

### Does the category of local rings with residue field $F$ have an initial object?

Let $F$ be a field. Does the category $C_F$ of local rings $R$ equipped with a surjective morphism $R\longrightarrow F$ have an initial object? This is, for instance, true if $F=\mathbb{F}_{p}$ for ...
291 views

### Isomorphism between finite algebras over ${\Bbb Z}_p$

Let $\pi \colon R \twoheadrightarrow {\Bbb T}$ be a surjective ring homomorphism between finite algebras over ${\Bbb Z}_p$. Further, we suppose the following three conditions$\colon$ $R$ is a ...
124 views

### injective hulls in mixed characteristic

Let $R=\underleftarrow\lim (R/\mathfrak m^i)$ be a complete local ring, with residue field $k=R/\mathfrak m$, and let's assume that $R$ is Noetherian. If $R$ is a $k$-algebra, then I believe that ...
372 views

31 views

### Generators for Ideals in ring of multivariate Laurent Polynomials

Consider the following problem: Find an ideal $I \subset \mathbb{Q}[x^{\pm}_1,x^{\pm}_2,x^{\pm}_3]$ such that $I_{aff} \subset \mathbb{Q}[x_1, x_2, x_3] = I \cap k[x_1, x_2, x_3]$ requires more ...
161 views

242 views

### The Zariski Riemann Space, but with Local Rings

The Zariski Riemann space, while an abandoned approach, has lead to later developments and generalizations, including $\text{Spv}$ (the space of valuations) and Huber's work. In studying it, I would ...
178 views

### Primes of the power series rings

Let $A_n \colon= K[[X_1,\ldots,X_n]]$ be a $n$-variable formal power series ring. By setting $X_n \mapsto 0$, we obtain a natural surjection \begin{equation*} \psi_{n,n-1} \colon A_n \...
68 views

### Relation between lifts of simple roots and lifts of idempotents (Henselian property)

Let $f:A\to B$ be a morphism of commutative rings. Given a monic $\varphi\in A[x]$ write $Z(A,\varphi)$ for the set of simple roots of $\varphi$ in $A$. Consider the following properties of $f:A\to B$....
147 views

41 views

### Integral closure of lexsegment ideal

Let $R=k[x_1,\ldots,x_d]$ where $k$ is a field and $I$ be a lexsegment ideal of $R$ and $l(I)=d$ (where $l(I)$ is analytic spread of $I$). Is $I$ integrally closed? If I is generated by elements ...
367 views

### indecomposable module over a local ring

I ask this in mathematics for some days.it doesn't have an answer up to now. https://math.stackexchange.com/questions/2565828/indecomposable-module-over-a-local-ring As we all know, for an arbitrary ...
528 views

130 views

### Length of a module and Frobenius map

Let $(R,m)$ be a regular local ring of dimension $d$ and char $p>0.$ Let $F^e:R\longrightarrow R$ defined by $r\longrightarrow r^{p^e}$be the Frobenius map. How to compute $l(R/m^{[p^e]})?.$ I ...
67 views

### Analytic spread of an ideal after reduction

Let $(R,m)$ be a local ring and $I$ an ideal in $R.$ Let $l(I):=\dim \bigoplus_{n\geq 0}(I^n/mI^n)$ and $x\in R\setminus I.$ My question is what is the relation between $l(I)$ anf $l(I+(x)/(x))?$
186 views

### Is it true that the functor of completion of a module over a local ring is injective on isomorphism classes?

Let $A$ be a commutative Noetherian local ring and $\hat A$ be its completion. Then we have the functor of completion from the category of finitely generated $A$-modules to the category of finitely ...
166 views

### Localization of a maximal Cohen-Macaulay module

Let $(R,m)$ be a Cohen-Macaulay local ring of dimension $d\geq 2$ and $M$ an module with depth$M=d.$ Is there any example of $M$ such that $(1)$ $M_p$ is not free for some $p\in Ass(R)$ and $(2)$...
90 views

### Adic filtration and integral closure

Let $(R,m)$ be a Noetherian local domain whose integral closure $S$ is too. Also assume that $S$ is module-finite over $R$. Let $x\in m^k\setminus m^{k+1}$ and $u\in S^\times$ such that $ux \in R$. ...
191 views

### Meaning of the statement “$a\in I$ is a general element of $I$”

Suppose $I$ is an ideal in a Noetherian local ring $(R,m)$. In some papers I have seen the following statement: "$a\in I$ is a general element of $I$". What is the definition of general element ...
59 views

### A question on infinite local rings which are not division ring

Is it true that if $(R,m)$ is a (not necessary commutative) local ring then $R$ and $m$ have the same cardinal ? (Exclude TWO trivial cases: when $R$ is finite and when $R$ is a division ring) On ...
225 views

### Analytic spread of an ideal

How to calculate analytic spread of the ideal $I=\left<xyw^2,xyz^2,xw^2+yz^2\right>$ in $\mathbb Q[x,y,z,w]?$ I think it is 3.
212 views

### Analytic spread of localization of an ideal

Let $J$ be an ideal in a Noetherian local ring $(R,m)$. It is well known that for any prime ideal $p\in Spec(R)$, $l(J_p)\leq l(J)$, where $l(J)$ is the analytic spread of $J$. Q) Are there ...
### Almost complete intersection ideal and $d$-sequence
In a Noetherian local ring $R$, an ideal $I$ is called an almost complete intersection ideal if $\mu(I)=\text{ht}(I)+1$. Q) Is it true that $I$ is generated by a $d$-sequence?