Multiplicative Group of $p$ - adic Power Series

by Naweed Seldon   Last Updated November 09, 2018 00:20 AM

We let $D$ be an open or closed disc in $\mathbb{C}_p$ centered at $0$. I have to prove that

$\text{(a)}$ $\{f \in 1 + x\mathbb{C}_p[[x]] : f \text{ converges in }D\}$ is closed with respect to multiplication but does not form a group; and

$\text{(b)}$ $\{f = 1 + \sum_{i=1}^{\infty} a_i x^i : \text{ord}_p a_i − λi > 0\ \forall i \text{, and tends to }\infty\text{ as }i \rightarrow \infty\}$ forms a group with respect to multiplication, where $\lambda \in \mathbb{R}$ is fixed.

While showing that these sets are closed with respect to multiplication is straightforward, I don't know how to show that $\text{(a)}$ is not a group. Clearly it has identity, but how do I show that it's candidate for inverse (which will exist since the constant term is $1$) doesn't converge in the disk?

Coming to $\text{(b)}$, I'm unable to show how a candidate for inverse's coefficients will satisfy the given constrain, may be mathematical induction will help. But not getting anywhere.

I know asking multiple questions in a single question is frowned upon, but all these questions come from a single question, which is an exercise problem in Koblitz's book on $p$ - adic analysis, but here's another question I have which I can't make heads or tails of:

Let $f_j ∈ 1+x\mathbb{Z}_p[[x]]$ converge in the closed unit disc $D(1)$ for any $j$. Does $f := \prod_{j \geq 1}f_j (x^j)$ converge in $D(1)$?

Related Questions

Updated July 20, 2017 08:20 AM

Updated July 08, 2018 15:20 PM

Updated September 01, 2018 08:20 AM

Updated January 08, 2018 08:20 AM