The tag has no usage guidance.

learn more… | top users | synonyms

1
vote
3answers
291 views

Krull-dimension of local domain

Let $(R,{\frak m}_R)$ be a local domain (not necessarily Noetherian). That is, $R$ is integral and ${\frak m}_R$ is the unique maximal ideal of $R$. Suppose that ${\frak m}_R$ is finitely generated. ...
4
votes
1answer
256 views

Can K[[T_1,…,T_∞]] be embedded into K[[X,Y]]?

In the MathOverflow question about common false beliefs, the following answer teaches us that there is an embedding $\iota_n \colon K[[T_1,...,T_n]] \hookrightarrow K[[X,Y]]$. Now let us define the ...
2
votes
1answer
71 views

Is there a characterization of r(M) by local cohomology instead of Ext

For a Noetherian local ring $(R,m)$, and a finite $R$-module $M$ with $\operatorname{depth} M=t,$ type of $M$ is defined to be $r(M):=dim_{R/m}Ext^t \ (R/m, M).$ Is there a characterization of $...
1
vote
0answers
64 views

Popescu-Neron Desingularization for K[[T_1,…,T_∞]]

Let $K[[T_1,...,T_n]]$ be a finitely many variables formal power series ring over a field $K$. Dorin Popescu proved that there are smooth algebras $A_{\lambda}$'s which are of finite type over $K$ ...
3
votes
1answer
223 views

Let $f:R\to S$ be a local finite monomorphism .If $M$ is an Artinian $S$-module, is it an Artinian $R$-module?

$(R,m)$ and $(S,n)$ are local rings (commutative Noetherian with 1). Let $f:R\to S$ be a local homomorphism/monomorphism ($f(m)\subseteq n$), such that the natural induced homomorphism $R/m\to S/n$ ...
1
vote
1answer
56 views

initial and terminal objects in local rings [closed]

in a class gave me the concept of initial and terminal object. I started to look for this objects in different categories. I already proved that $\mathbb{Z}$ is initial and the zero-ring is terminal ...
0
votes
0answers
134 views

Structure theorem for non-Noetherian local rings

Is there a structure theorem (like Cohen 's structure theorem) for non-Noetherian local rings? I am adding what I am looking for as someone asked in the comment. If $R$ is a local domain (not ...
1
vote
1answer
124 views

when there is an injection $0 \to R \to K_R$?

Let $(R,m)$ be a Cohen-Macaulay local ring which possesses the canonical module $K_R$. Then $R$ is said to be an almost Gorenstein local ring, if there is an exact sequence $0 \to R \to K_R \to C \to ...
7
votes
2answers
333 views

invariants that can be measured by Local Cohomology

What invariants can be measured by Local Cohomology (and what application it has)? As an example of what I mean: Local Cohomology can measure invariants like depth and dim. So in some cases ...
6
votes
0answers
214 views

Is $k(\!(x,y)\!)$ a topological field?

More generally, let $(R,m)$ be a Noetherian local domain with fraction field $K$. The $m$-adic topology turns $R$ into a topological ring. When $R$ is a discrete valuation ring, this topology extends ...
4
votes
1answer
119 views

Reference on the classification of (low rank) Gorenstein rings over $\mathbb{C}$

I am interested in the question of the classification of (low rank) Gorenstein rings over $\mathbb{C}$. The socle of a local algebra is the annihilator of its maximal ideal. A commutative local ring ...
3
votes
1answer
64 views

Derivations annihilated by powers of the augmentation ideal

Consider an augmented commutative ring $R$, with augmentation ideal $\varpi$. Let $\delta$ be a derivation of $R$. The example I have in mind is $R=\mathbb F_p[x]/(x^{p^i})$ and $\delta=d/dx$, though ...
2
votes
0answers
91 views

When does $R [x]/I $ have infinitely many idempotents in special case?

At < When does $R [x]/I $ have infinitely many idempotents? >, Er_Ro asked the following question. Let $R $ be a commutative ring with identity and $R[x] $ its polynomial ring. I am looking ...
3
votes
0answers
108 views

rings with 'flat functions'

Let $(R,\mathfrak{m})$ be a local ring over a field. Suppose the ring has flat elements, i.e. $\mathfrak{m}^\infty\neq\{0\}$. (The prototype is of course $C^\infty(\Bbb{R}^p,0)$, or a quotient of it, ...
0
votes
1answer
83 views

How to find ideals of finite length in a power series ring with special properties?

Let $A$ be the power series ring $\mathbb{C}[[x,y]]$. Assume we are given two ideals $I,J$ of finite length in $A$ such that: $xJ\subseteq I\subseteq J$ Is it possible to find ideals of finite ...
3
votes
1answer
256 views

Castelnuovo-Mumford regularity in multigraded case

Let $R=\oplus_{n\geq 0}R_n$ be a standard Noetherian commuative graded ring over a local ring $(A,m)$ where $R_0=A.$ Put $R_+=\oplus_{n\geq 1}R_n.$ Let $M$ be a finitely generated $\mathbb Z$-graded $...
2
votes
1answer
103 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 ...
1
vote
2answers
171 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 ...
5
votes
0answers
77 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
vote
1answer
158 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 ...
2
votes
1answer
221 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 ...
6
votes
1answer
366 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 ...
11
votes
4answers
1k 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)$ ...
2
votes
1answer
200 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:=\{...
2
votes
1answer
156 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 ...
21
votes
3answers
911 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:...
16
votes
1answer
985 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
votes
1answer
118 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$-...
7
votes
2answers
350 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 ...
6
votes
1answer
340 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}$-...
3
votes
2answers
163 views

Maximal Cohen-Macaulay modules of type one

Does any body 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 the maximal CM module then the ...
3
votes
1answer
195 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}, \...
2
votes
1answer
240 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 ...
3
votes
2answers
572 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
vote
0answers
124 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 ...
5
votes
1answer
251 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^{\...
3
votes
1answer
325 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}...
0
votes
0answers
101 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): $...
1
vote
0answers
118 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 ...
2
votes
1answer
84 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-...
2
votes
1answer
142 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 !?
7
votes
0answers
255 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 ...
0
votes
1answer
131 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
0answers
262 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-...
3
votes
1answer
208 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.
8
votes
1answer
755 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 ...
0
votes
0answers
131 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 ...
1
vote
1answer
167 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 ...
0
votes
0answers
86 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!
0
votes
0answers
123 views

ideals of a noetherian ring $R$ Cohen-Macaulay as $R-$modules

When are (prime) ideals of a noetherian ring $R$ Cohen-Macaulay as $R-$modules? That is, $depth_R(Ann_R(P))=dim_R(R/Ann_R(P)$ for each $P\in {\rm Spec}(R)$