Questions tagged [local-rings]
The local-rings tag has no usage guidance.
218 questions
0
votes
1
answer
73
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 ...
- 271
0
votes
1
answer
300
views
Behaviour of length function under faithfully flat extension
Let $(R,m)$ and $(S,n)$ be local Noetherian rings such that $S$ is a faithfully flat extension of $R$. Let $J\subsetneq I $ ideals of $R$.
Can we relate $l_R(I/J)$ and $l_S(IS/JS)$?
PS: Here $l(-)$ ...
- 1,713
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?
0
votes
1
answer
260
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 ...
- 1,713
0
votes
1
answer
111
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 ...
- 1,025
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
0
votes
0
answers
96
views
Length of generic intersection in local ring
Let $(R, \mathfrak{m})$ be a regular local ring and let $I\subset R$ be an ideal of coheight 1. Let $a \in \mathfrak{m}\setminus \mathfrak{m}^2$.
If $a$ that is not a zero divisor of $R/I$ we have ...
0
votes
0
answers
178
views
Finite monomorphism $A \to B$ with reduced $A$ and special fiber implies $B$ reduced
I have a question about correctness of following statement claimed here in $\boxed{2} \ $:
Let $k$ arbitrary field, let $f : X \longrightarrow Y$ be a finite dominant morphism between finite type $k$-...
- 5,966
0
votes
0
answers
53
views
When a given set of primes of height 1 is a set associated primes of an element
Let $R$ be a Noetherian local ring of dimension $\geq 3$ and $\{p_1,\ldots , p_n\}$ be a collection of prime ideals of height $1$. Does there exist an element $x\in R$ such that $Ass(R/xR)=\{p_1,\...
- 1,713
0
votes
0
answers
72
views
Which power series in $\mathbb{Z}_p[[T]]$ are rational functions? [duplicate]
Consider the power series ring $\mathbf{Z}_p[[T]]$, where $\mathbf{Z}_p$ denotes the $p$-adic integers. I'll call a function $f(T) \in \mathbf{Z}_p[[T]]$ a rational function if I can write it as:
$$f(...
- 1,949
0
votes
0
answers
202
views
When is $u \circ v=v \circ u$ for $p$-adic power series $u$ and $v$ in two power series rings $A$ and $B$ respectively?
Let $K \supset \mathbb{Q}_p$ be the $p$-adic field with ring of integers $O_K$ and maximal ideal $m_K$. Let $\bar K$ be the algebraic closure and $\bar{m}_K$ be the integral closure of $m_K$ with ...
- 930
0
votes
0
answers
440
views
A question about strict henselian local rings
Let $f: X\to Y$ be a finite morphism of schemes, let $y\in Y, Y(\bar{y}):={\rm Spec}(\mathscr{O}_{Y, \bar{y}}), X_{\bar{y}}:=X\times_Y{\rm Spec}(\kappa_y^s)=X_y\otimes_{\kappa_y}\kappa_y^s, X({\bar{y}}...
- 1,906
0
votes
0
answers
287
views
On the product in the power series ring
Let $A_n \colon= K[[X_1,\ldots,X_n,Y_1,\ldots,Y_n]]$ be a power series ring over a field $K$ in $2n$ variables and ${\frak m}_{A_n}$ be the unique maximal ideal of $A_n$.
Suppose we have two ...
- 563
0
votes
0
answers
53
views
a generalization of group (monoid with order-by-order invertible elements)
Fix a filtered monoid, $H=H_0\supsetneq H_1\supsetneq H_2\supsetneq\cdots$. Suppose for any $h\in H$ and any $n\in \Bbb{N}$ exists $h_n\in H$ such that $h\cdot h_n\in H_n$ and $h_n\cdot h\in H_n$. If ...
- 2,232
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
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
votes
1
answer
231
views
Finite extension of $K[[X]]$ and the norm
Let $R \colon= K[[X]]$ be a formal power series ring over a field $K$. We consider a monic polynomial $f(T) \in R[T]$ as follows$\colon$
$$
f(T) = T^e + c_{e-1}T^{e-1} + \ldots + c_1T + c_0.
$$
...
- 563
-2
votes
2
answers
764
views
Reduced ring with all non-prime ideals finitely generated
Let $R$ be a reduced ring with all non-prime ideals finitely generated. Then is $R$ Noetherian ? If not, then is it true at least in the local case ?
Without reduced assumption, it is not true even ...
user111492