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)$?

Updated July 08, 2018 15:20 PM

Updated August 31, 2018 14:20 PM

- Serverfault Query
- Superuser Query
- Ubuntu Query
- Webapps Query
- Webmasters Query
- Programmers Query
- Dba Query
- Drupal Query
- Wordpress Query
- Magento Query
- Joomla Query
- Android Query
- Apple Query
- Game Query
- Gaming Query
- Blender Query
- Ux Query
- Cooking Query
- Photo Query
- Stats Query
- Math Query
- Diy Query
- Gis Query
- Tex Query
- Meta Query
- Electronics Query
- Stackoverflow Query
- Bitcoin Query
- Ethereum Query