All Questions
Tagged with ac.commutative-algebra p-adic-numbers
19 questions
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}$...
- 113
2
votes
1
answer
223
views
Finitely generated $\mathbb{Z}$-algebra embeds into unramified $p$-adic ring
Let $R$ be a finitely generated ring, that is, a $\mathbb{Z}$-algebra of finite type. Assume that $\operatorname{char}(R) = 0$. It follows from Noether's normalization lemma that $R$ can be embedded ...
- 16.2k
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)$, ...
- 1,949
0
votes
1
answer
568
views
A confusion about power series and p-adic measures
In page 16 of these notes on $p$-adic $L$-functions, it makes the following claim:
Let $\alpha$ be a $p$-adic measure on $\mathbf{Z}_p$ which corresponds to a power series $F_{\alpha}(T) \in \mathbf{...
- 50.6k
10
votes
3
answers
1k
views
What's the number of solutions of the quadratic equation $x_1^2+\dots+x_m^2=0$ over finite ring $\mathbb{Z}/p^n$?
I want to calculate the number of solutions to the quadratic equation $$x_1^2+\dots+x_m^2=0$$ where $m$ is odd (a given number) and $x_i\in\mathbb{Z}/p^n$ for a given prime number $p$ and a given ...
- 63.9k
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$-...
- 3,065
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 $\...
- 930
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
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 ...
- 21
7
votes
2
answers
606
views
convergence in $\hat{\mathbb{Z}}$, modulo prime power
The following problem appears in Lenstra's Galois Theory for Schemes (p 14, Ex 1.16).
Let $b\in\mathbb Z_{\ge0}$. Define the sequence $(a_n)_{n=0}^\infty$
by $a_0=b, a_{n+1}=2^{a_n}$. Prove that $...
- 63.9k
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$ ...
- 63.9k
18
votes
2
answers
1k
views
Is a matrix similar to its transpose over $\mathbb{Z}_p$?
Is every $n \times n$ matrix with entries in $\mathbb{Z}_p$ (or even $\mathbb{Z}$) conjugate to its transpose via a matrix in $GL_n(\mathbb{Z}_p)$?
On the one hand, I know the analogous fact is false ...
- 3,823
2
votes
1
answer
413
views
$2$-adic valuation on $\mathbb Q (\sqrt{-15})$
I was reading the book "The structure of groups of prime power order". In the book (page 226, Example 10.1.18) it is proved that
$-15$ has a square root is $\mathbb Z_2$ where $\mathbb Z_2$ ...
CommunityBot
- 1
1
vote
1
answer
289
views
Inverse limit of $p^n$-torsion abelian groups
Let $p$ be a prime and let $\{A_n\}_{n > 0}$ be an inverse limit of abelian groups such that $A_n$ is $p^n$-torsion with $A_n/p^{n - 1} \cong A_{n - 1}$ (these isomorphisms are part of the data). ...
- 34
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$....
- 568
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= \...
- 71
2
votes
1
answer
695
views
The Unit Group of $\mathbb{Z}_p$
Let $\mathbb{Z}_p$ the ring of $p$-adic numbers. It's known that the multiplicative unit group $\mathbb{Z}_p ^\times$ can be set theoretically described as $\bigcup _{1 \le a \le p-1} a+ p\mathbb{Z}_p$...
- 47.4k
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,...
- 63.9k
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 ...
- 43.2k