Questions tagged [local-rings]
The local-rings tag has no usage guidance.
218 questions
2
votes
1
answer
257
views
Are the fibers of this morphism geometrically regular?
Let $A\rightarrow B$ be a local morphism of complete noetherian rings making $B$ a formally smooth $A$-algebra. Does the induced morphism $\textrm{Spec}(B)\to\textrm{Spec}(A)$ have geometrically ...
- 255
2
votes
2
answers
256
views
if $R$ is Noetherian local with a finite module of finite injective dimension and if "?" , then $R$ is "Gorenstein"
I know that if $R$ is Noetherian local with a finite module of finite injective dimension, then $R$ is Cohen-Macaulay.
Can one add assumptions on $M$, so that $R$ be Gorenstein or Complete ...
- 1,355
5
votes
0
answers
94
views
How far finiteness dimension can be from edges? Example for $f_m(S/I)\ge depth S/I+2$
Let $ (R,m) $ be a commutative unital noetherian local ring (with $m$ as its maximal ideal), $ I $ an ideal of $ R $, and $ M $ a finite $R$-module with $\dim M\gt 0$. $f_I(M) = \inf\ \{i : H_I^i(M)\ ...
- 1,355
1
vote
1
answer
557
views
Reducedness of a ring with prime nilradical
Let $A$ be a regular ring and $\mathfrak q$ be an ideal, such that $\sqrt{\mathfrak q}$ is prime. Further assume that $\mathfrak q$ is locally principal (i.e. $\mathfrak q$ is an irreducible divisor ...
- 33
2
votes
1
answer
288
views
finiteness dimension
$R$ is a local Noetherian ring. $f_I(M)$, the finiteness dimension of a module $M$ relative to $I$, is defined in ...
- 1,355
7
votes
1
answer
621
views
automorphisms of local rings vs local change of coordinates
Let $R$ be a local (commutative, associative) ring over a field of zero characteristic. (My typical examples are $k[[x_1,..,x_p]]/I$, $k\{x_1,.,x_p\}/I$, $C^\infty(\Bbb{R}^p,0)$. If it helps one can ...
- 2,232
17
votes
4
answers
4k
views
Completion of a local ring of a curve
Let $X$ be a smooth projective irreducible curve defined over an algebraically closed field $\mathbb{K}$ (of arbitrary characteristic), and let $p\in X$ be a closed point. Denote by $\mathcal{O}_p(X)$ ...
- 7,722
2
votes
1
answer
241
views
Hochschild cohomology of commutative quotients
Notation:
Let $k$ be a commutative local ring and let $HH^{i}(A,N)$ denote the $i^{th}$ Hochschild cohomology $k$-module of a $k$-algebra A with coefficients in an $(A,A)$-bi-module $N$.
If $x:=\{...
- 5,405
2
votes
1
answer
191
views
what are the possible approximations for ideals
(Fix some local ring $(R,\mathfrak{m})$ over a field of zero characteristic.)
Suppose an ideal $J$ is defined by some complicated formula/procedure. And there is no hope of computing it/or writing ...
- 2,232
22
votes
3
answers
1k
views
Two (other) rings...are they isomorphic?
Consider the local rings
$$R = \mathbb{C}[[x,y,z,w]]/\langle xyz+xyw+xzw+yzw\rangle$$
and
$$S = \mathbb{C}[[x,y,z,w]]/\langle xyz+xyw+xzw+yzw+xyzw\rangle.$$
Is $R$ isomorphic to $S$?
Some context:...
- 2,537
16
votes
1
answer
1k
views
Two rings...are they isomorphic?
Edit: I have reverted my question to its original version (which Bjorn Pooenen answered correctly) as requested in the comments.
Consider the local rings
$$R = \mathbb{C}[[x,y,z]]/\langle xy+xz+yz\...
- 2,537
2
votes
1
answer
134
views
Projecting solutions of Hermitian forms over local rings
Let $R$ be a local ring (commutative and with $1$) with maximal ideal $M$, with an involution $\theta$. Let $h$ be a Hermitian form on $R^n$, i.e. $h:R^n\times R^n\rightarrow R$ such that $h$ is $R$-...
- 218
8
votes
2
answers
423
views
What is the probability that a random sequence of polynomials is regular?
Let $k$ be a finite field or a field with a height function, such as a number field.
Consider the ring $k[[x_1,\dots, x_n]]$ and let $\mathfrak{m}$ be its maximal ideal.
What is the asymptotic ...
- 635
7
votes
1
answer
1k
views
formally smooth functor
Let $p$ be a prime number, $\mathcal{O}$ the integers of a finite extension of $\mathbb{Q}_p$ with residue field $k$. Let $\mathcal{C}$ be the category of complete, local, noetherian $\mathcal{O}$-...
- 657
4
votes
2
answers
414
views
Maximal Cohen-Macaulay modules of type one
Does anybody know an example of a Noetherian local ring $(R,m)$ which admits a maximal Cohen-Macaulay module of type one, but the ring $R$ itself is not CM?
If $C$ is a maximal CM module then the ...
4
votes
1
answer
267
views
Possibilities for dimensions of $\mathfrak{m}^i/\mathfrak{m}^{i+1}$ for a local ring
Let $R$ be a local commutative ring with maximal ideal $\mathfrak{m}$, and denote by $k$ the residue field $R/\mathfrak{m}$. Then we can look at the sequence of $k$-vectorspaces
$$R/\mathfrak{m}, \...
- 218
2
votes
1
answer
771
views
Does the normalization morphism induce isomorphism on residue fields?
The question is basically coming from the following situation:
Let $C$ be an integral curve over a field $k$ (EDIT and assume that $k$ is not algebraically closed) and let $\phi\colon C^N\to C$ be the ...
- 165
7
votes
2
answers
4k
views
Condition for a local ring whose maximal ideal is principal to be Noetherian
The statement "a local ring whose maximal ideal is principal is Noetherian" is (I think) false. The ring of germs about $0$ of $C^\infty$ functions on the real line seems to be a counterexample since ...
- 1,173
1
vote
0
answers
143
views
Automorphism on F_2[[X,S]]
Let us define the automorphism $\sigma$ on ${\Bbb F}_2[[X,S]]$ such that
$\sigma \colon S \mapsto S + S^2 + S^3$
$\sigma \colon X \mapsto X + S$.
It is easy to see that the ideal $(S)$ is stable ...
- 19
5
votes
1
answer
415
views
Inverse limit of Gorenstein local rings is again Gorenstein?
If we have the system of surjective ring homomorphisms
$f_{i,i+1}: R_{i+1} \twoheadrightarrow R_i$
for an arbitrary $i \geq 0$ such that all $R_i$ are Gorenstein local ring. Let us put
$R^{\...
- 51
3
votes
1
answer
422
views
Automorphisms of complete discrete valuation ring
Let ${\Bbb F}_2[[T]]$ be a c.d.v.r over ${\Bbb F}_2$. We consider the automorphism $\sigma$ of ${\Bbb F}_2[[T]]$ such that $\sigma \colon T \mapsto T + c_2T^2 + c_3T^3 + \cdots$ with $c_i \in {\Bbb F}...
- 87
1
vote
0
answers
148
views
Super-Gorenstein ideal of ${\Bbb F}_p[[X_1,\ldots,X_n]]$
Let $A \colon= {\Bbb F}_p[[X_1,\ldots,X_n]]$ be a $n$-variable power series ring over a finite field ${\Bbb F}_p$. We put ${\frak m}_A \colon= (X_1,\ldots,X_n)$.
Definition(Super-Gorenstein ideal): $...
- 87
1
vote
0
answers
155
views
Universally catenary and all its formal fibers over minimal members are Cohen-Macaulay but it has a nonCohen-Macaulay formal fiber
Please help me to find a Noetherian local ring $R$ such that: $R$ is universally catenary and all its formal fibers over minimal members of $Spec(R)$ are Cohen-Macaulay but $R$ has a nonCohen-Macaulay ...
- 89
2
votes
1
answer
99
views
Rings in which every J-matrix is non-singular
Let $R$ be a ring with identity. A matrix $A=[a_{ij}] \in M_n(R)$ is called a J-matrix if for any $i$, $a_{ii} \not \in J(R)$ but for any $i \not = j$, $a_{ij} \in J(R)$. Now suppose that every J-...
- 123
1
vote
1
answer
173
views
A question on local rings
Let $R$ be a finite local ring (with identity) with exactly one minimal left ideal. Is it necessarily true that $R$ has exactly one minimal right ideal !?
- 447
8
votes
0
answers
366
views
Higher-dimensional generalization of Pink's theorem
Pink's theorem in the title of the question refers to the main theorem of Pink's paper "Compact Subgroups of Linear Algebraic Groups" that appeared in Journal of Algebra (206) in 1998. It essentially ...
- 26.1k
0
votes
1
answer
142
views
Local rings with simple radical
Is there a (finite) non-commutative local ring $R$ (containing identity) such that $J(R)$ is simple as a left module?
2
votes
0
answers
327
views
PAC field : Algebraically closed field :: ? : Henselian local ring
I'm wondering if the following exists in the world as a definition. I'll use the word "pseudo-Henselian." I'll restrict to DVRs for simplicity.
I'd want to call a DVR $(R,\mathfrak{m})$ pseudo-...
- 1,499
3
votes
1
answer
276
views
Characterization of non-commutative local rings of orders 64 and 128
I need the characterization (up to isomorphism) of non-commutative local rings (with identity) of orders 64 and 128. If you know the characterization or a reference, please let me know.
- 31
10
votes
1
answer
2k
views
Etale cohomology of the completion of a Henselian local ring
Let $\pi: R\to S$ be a local morphism of Henselian local rings. Let $f: R \to \hat{R}$ and $g: S \to \hat{S}$ be their completions. Let $\mathcal F$ be a constructible $l$-adic sheaf on $\operatorname ...
- 149k
0
votes
0
answers
259
views
Ring algebraically closed in its completion.
First I would like to be clear about the definition, which I am having trouble finding.
What does: The local ring $A$ is algebraically closed in $B\supset A$. (e.g. for $B:=\hat{A}$, the completion ...
- 807
1
vote
1
answer
211
views
Is there a prime of height $i$ in support of $H^i_I(R)$?
$I$ is an ideal of a local Noetherian ring $R$ and $i>0$ .
Clearly the height of primes in support of $H^i_I(R)$ is at least $i$
The question is if it
contains a prime of height $i$, specially ...
- 189
0
votes
0
answers
99
views
Example of a ring whose minimals are annihilators of idempotents?
I'm looking for examples† of rings with the property that for each
$P={\rm Ann}_R(a)\in{\rm Min}(R)$ then $a\in R$ is idempotent (ie $a^2=a$)
† other than domains!
- 189
1
vote
1
answer
147
views
An example of a ring $R$ with the property that for each $P=Ann_R(r)\in {\rm Min}(R)$ we have $Ann_R(P)=Rr$.
I'm looking for an example of a commutative (preferably local) ring $R$ such that ${\rm dim}R>0$ and $R$ has the property that for each $P=Ann_R(r)\in {\rm Min}(R)$ we have $Ann_R(P)=Rr$.
This ...
- 189
2
votes
1
answer
169
views
Open idempotents in modules over a local ring
Let $R$ be a local ring. By an open idempotent I mean an $R$-module $F$ equipped with a homomorphism $e : F \to R$ such that $e \otimes F = F \otimes e$ is an isomorphism $F \otimes F \cong F$ (this ...
- 63.1k
4
votes
1
answer
499
views
Artin approximation theorems over non-regular rings/non-Noetherian rings
In Artin1968 he considers $\underline{analytic}$ equations, but over the ring $R=k\{x_1,..,x_n\}$. In Artin1969 he works with $R=k\{x_1,..,x_n\}/I$, not necessarily regular, but considers $\underline{...
- 2,232
3
votes
1
answer
614
views
working with local rings: "abstract" vs "geometric" proofs
Let $R$ be a local ring (commutative, Noetherian, over an algebraically closed field; if needed Henselian). Suppose one wants to prove some statement.
Suppose $R$ happens to be the ring of "functions"...
- 2,232
0
votes
1
answer
508
views
"thematic" algebras
I scoured what I could in the literature but I have yet to find the information that should be out there. Consider the property
(P1) Every local subalgebra can be embedded in a local ideal ...
- 103
3
votes
2
answers
438
views
Can a zerodivisor reduce both the depth and the dimension?
In this question $R$ is a commutative noetherian local ring with unity.
One can construct examples of rings $R$ and zerodivisors $z$ such that $\dim R/(z)=\dim R-1$, e.g., $S\colon=k[a,b,c],\ \...
- 3,101
9
votes
0
answers
316
views
When is $\lim_{n\rightarrow\infty}\:\mathrm{depth}\:R/\mathfrak{a}^n= \mathrm{depth}\:R/\mathfrak{a}$?
Suppose $(R,\mathfrak{m})$ is a noetherian local ring. I am interested in ideals $\mathfrak{a}$ of $R$ for which $$\lim_{n\rightarrow\infty}\:\mathrm{depth}\:R/\mathfrak{a}^n= \mathrm{depth}\:R/\...
- 3,101
1
vote
2
answers
552
views
A Question About Free Resolutions
I would warmly appreciate it if someone could tell me whether the following question has an affirmative answer. I am new to the field of commutative algebra, so I am simply trying to fill in some (...
- 816
3
votes
1
answer
333
views
Depth zero, high dimension
$\textbf{Question: }$We know that the depth of a noetherian local ring is at most the dimension. Do there exist noetherian local rings with high dimension but zero depth? If not, what's the smallest ...
- 3,555
16
votes
2
answers
1k
views
A graded ring $R$ is graded-local iff $R_0$ is a local ring?
I asked this question some months ago on math.stackexchange.com:
https://math.stackexchange.com/questions/126810/a-graded-ring-r-is-graded-local-iff-r-0-is-a-local-ring
It would be great (for me) to ...
- 1,871
6
votes
1
answer
784
views
Left ideals vs right ideals
By default, let all algebras be complex and unital. I am concerned with the non-commutative algebras. I am wondering if the following might be true (at least for some classes of algebras, like semi-...
- 537
12
votes
1
answer
967
views
Lengths over a local ring
Let $A$ be a noetherian domain, $\mathfrak{m}$ а maximal ideal, $s$ a non-zero element of $\mathfrak{m}$, $d= \dim A_\mathfrak{m}$.
Is the following claim true?
Claim:
For any $\epsilon>0$, there ...
- 635
2
votes
1
answer
286
views
Modules with small support have big depth - reference wanted
Hello,
I would appreciate an exact reference / proof of the following fact, which I am almost able to prove, but not really:
Let $A$ be a regular Noetherian comm. ring, of finite Krull dimension. ...
- 5,562
1
vote
1
answer
904
views
Norm map and units in local rings
Let
$$
L=\mathbb{Q}(\sqrt{-1})\otimes_\mathbb{Q} \mathbb{Q}_3
$$
where $\mathbb{Q}_3$ denotes de $3$-adic rational numbers.
Then $L$ is a quadratic extension of the local field $\mathbb{Q}_3$.
...
- 2,446
3
votes
1
answer
879
views
Minimal generating set of a free module over local ring
Greetings,
in my studies I went into a statement "minimal generating set of a free module over a local ring is a free basis". The statement came without a proof, just with a reference to Kaplansky's ...
- 33
2
votes
3
answers
359
views
On the comparison of linear topologies on a local ring
Let $R$ be a local ring, $a_{\lambda}$ be a decreasing net of ideals, indexed by a directed set, such that each $a_{\lambda}$ is contained in the nilradical ideal and $\bigcap a_{\lambda}=(0)$. Then ...
- 320
1
vote
1
answer
1k
views
On the Completion of a complete local ring
Let $(R,\mathfrak{m})$ be a complete local ring, $a_{\lambda}$ be a decreasing net of ideals in $R$, indexed by a directed set. Consider the completion under $a_{\lambda}$-topology $A=\underleftarrow{\...
- 320