Skip to main content

All Questions

11 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
6 votes
0 answers
514 views

Finite extensions of $\mathbb Q_p$

Is there any finite extension of $\mathbb Q_p$ which is not the completion of a finite extension of $\mathbb Q$ at some place over $p$? Analogously in equicharacteristic, if $k=\overline {\mathbb F_p}$...
Cyrille Corpet's user avatar
6 votes
0 answers
2k views

Newton Method in $p$-adic case

The Newton Method over $\mathbb{R}$ has the property that the precision is doubled (under some continuous differentiable assumption) in each iteration. For the ring $\mathbb{Z}_p$ of $p$-adic integers,...
user565739's user avatar
  • 1,109
4 votes
0 answers
216 views

Structure of modules over Iwasawa algebra $\mathbb{Z}_p[[T]]$ when taken mod $p$

Let $A \in M_n(\mathbb{Z}_p)$ be a nonsingular matrix which is nilpotent mod $p$, so $A^r \in pM_n(\mathbb{Z}_p)$ for some $r$. Then $\mathbb{Z}_p[[T]]$ acts on $\mathbb{Z}_p^n$ with $T$ acting by $A$....
Roger Van Peski's user avatar
4 votes
0 answers
144 views

Does a countably generated $\mathbb{Q}$-algebra inject into some $p$-adic field?

Let $K$ be a subfield of $\mathbb{C}$. If $K$ is finitely generated over $\mathbb{Q}$, then $K$ injects into $\mathbb{Q}_p$ for some $p$. Assume that $K$ is countably generated, i.e., $K= \...
Pan Da's user avatar
  • 71
3 votes
0 answers
76 views

Continuous extension of the derivation in positive characteristic

Let $\Omega$ be the completion of an algebraic closure of $\mathbb F_q\left(\left(\frac1T\right)\right)$ for the topology induced by the valuation $-\deg$. Does there exist a derivation on $\Omega$ ...
joaopa's user avatar
  • 3,998
2 votes
0 answers
257 views

Multivariable Weierstrass preparation theorem

The Weierstrass preparation theorem for formal power series says the following: Let $f(T) \in \mathbf{Z}_p [[ T ]]$ be a formal power series. Then we can write $f(T) = p^{\mu} \cdot u(T) \cdot g(T)$, ...
Adithya Chakravarthy's user avatar
2 votes
0 answers
108 views

Can an abelian group have multiple different actions of $\mathbb{Z}_p$?

This is perhaps a trivial question, but I've asked a few colleagues and they couldn't answer. For a given abelian group $M$, is it possible to have several different actions of the ring of $p$-adic ...
user160178's user avatar
1 vote
0 answers
64 views

Continous morphisms of a local field with conditions in positive characteristic

Let $P$ be a an irreducible polynomial of $k:=\mathbb F_q(T)$, $\Omega_P$ be the completion of an algebraic closure $\overline{k_P}$ of $k_P$, the completion of $k$ for the topology induced by the $P$-...
joaopa's user avatar
  • 3,998
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^...
MAS's user avatar
  • 930
0 votes
0 answers
257 views

How to prove the map of rings $\mathcal{R} \to \mathcal{R'}$ is flat?

We fix a finite extension $K$ of $p$-adic field $\mathbb{Q}_p$ with ring of integers $\mathcal{O}_K$ and residue field $\kappa$. Consider the ring of witt vectors $W(\kappa)$ over the residue field $\...
MAS's user avatar
  • 930
0 votes
0 answers
197 views

Name of some commutative ring akin to $p$-adics

I need help in identifying the naming convention of some commutative ring described below. Let $p$ be a prime, let $k$ be a positive integer, and let $$\textbf{e} = (e_0,\ldots,e_{k-1})$$ be a list ...
Andrey Rukhin's user avatar