All Questions
14 questions
5
votes
1
answer
335
views
About the structure of unit groups appearing in number theory
I think the following statement is not true in the general situations, but consider it:
$R$ is a ring, $\mathfrak{p}$ is a prime ideal, then the unit group of $\dfrac{R}{\mathfrak{p}^nR}$ is ...
3
votes
0
answers
69
views
Division algorithm for multivariable power series
Let $\mathbb{Z}_p$ be the ring of $p$-adic integers. Consider the ring $R=\mathbb{Z}_p[[T]]$. Let $f,g \in R$ and assume that $f=a_0+a_1T+...$ with $a_i \in p\mathbb{Z}_p$ for $0\le i \le n-1$, but $...
- 429
1
vote
0
answers
94
views
What would be the quotient groups $U_{\mathrm{gen}}/U_{\mathrm{gen}}^{(n)}$ and $U_{\mathrm{gen}}^{(n)}/U_{\mathrm{gen}}^{(n+1)}$?
Let $K \supseteq \mathbb{Q}_p$ be a $p$-adic field with ring of integer $O$ and maximal ideal $m$. Let $O^*$ be the group of units in $O$.
Consider the group of units $U^{(0)}=U=O^*$ and $U^{(n)}=1+m^...
- 930
9
votes
2
answers
815
views
Ideal norm in orders
Let $\overline{T}$ be a Dedekind ring such that $\overline{T}/\overline{I}$ is finite for every nonzero ideal $\overline{I}$ of $\overline{T}$. Let $T$ be a subring of $\overline{T}$ with the same ...
- 328
3
votes
2
answers
338
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 ...
- 563
1
vote
1
answer
224
views
Power series ring $\Theta[[X_1,\ldots,X_d]]$ and prime ideals
Let $\Theta$ be a domain. We shall choose $d$ elements $\theta_1,\ldots,\theta_d \in \Theta$ such that any chosen $j$ elements $\theta_{i_1},\ldots,\theta_{i_j}$ form a prime ideal $(\theta_{i_1},\...
- 563
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
1
vote
0
answers
310
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 \...
- 563
12
votes
3
answers
790
views
$K[[X_1,...]]$ is a UFD (Nishimura's Theorem)
Let us define the infinitely-many-variable formal power series ring
$$
K[[X_1,\ldots]] \colon= \underset{m \geq 1}{\varprojlim}\,K[[X_1,\ldots,X_m]].
$$
$K[[X_1,\ldots]]$ is known to be a UFD by a ...
- 563
1
vote
0
answers
166
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$ ...
- 781
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
420
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
2
votes
0
answers
326
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