Bourbaki

习题 25, § 6

标签 0BOE,永久不变。引用为 [Bourbaki, Tag 0BOE]。

一般拓扑, III, 323

Bourbaki marks this one as harder than the rest.

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。

a) 设a≠0a \neq 0为pp进数数。那么映射n→ann \to a^n在Z\mathbf{Z}上连续(作为Qp\mathbf{Q}_p的子空间)当且仅当a∈1+pa \in 1 + \mathfrak{p}。如果满足条件,则证明n→ann \to a^n在Z\mathbf{Z}和扩展上一致连续到Zp\mathbf{Z}_p的连续同态进入UU,用x→axx \to a^x表示,如果a≠1a \neq 1则它是单射的。如果p>2p > 2且mm是最大的整数,使得a∈1+pma \in 1 + \mathfrak{p}^m,则x→axx \to a^x是Zp\mathbf{Z}_p到1+pm1 + \mathfrak{p}^m的同构。当p=2p = 2时,这个叙述要如何修改呢?

b) 证明Zp\mathbf{Z}_p到UU的每个连续同态对于某些a∈1+pa \in 1 + \mathfrak{p}来说都是形式x→axx \to a^x[如果ff是这样的同态和f(1)=af(1) = a,那么f(n)=anf(n) = a^n对于n∈Zn \in \mathbf{Z}]。

c) 证明映射(x,y)→xy(x, y) \to x^y在(1+p)×Zp(1 + \mathfrak{p}) \times \mathbf{Z}_p上连续。如果p>2p > 2和b∈Zpb \in \mathbf{Z}_p,并且如果mm是最大的整数使得b∈pmb \in \mathfrak{p}^m,那么映射x→xbx \to x^b是乘法群1+p1 + \mathfrak{p}的同构到乘法上子群 1+pm+11 + \mathfrak{p}^{m+1} [使用习题 24 b)]。当p=2p = 2时,这个叙述要如何修改呢?

d) 如果 nn 是整数 p−1p - 1 和 pp 的质数,则证明映射 x=xnx = x^n 是乘法群 UU 的自同构 [使用习题 24 c)]。

解答

尚未写出解答。

被以下引用

无。

引用了

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。