Problem 3 - Algebra

Question

Show that the \(p\) -adic numbers \(Q_{p}\) have no automorphisms other than the identity. [Hint: Show that such automorphisms are continuous for the \(p\) -adic topology. Use Corollary \(7.5\) as an algebraic characterization of elements close to \(1 .]\)

Step-by-Step Solution

Answer

To show that the \(p\)-adic numbers \(\mathbb{Q}_p\) have no automorphisms other than the identity, we first understand the \(p\)-adic topology and continuous automorphisms. We then show that continuous automorphisms preserve the algebraic structure of elements close to 1 using the given hint and Corollary 7.5. Finally, we demonstrate that for all \(x \in \mathbb{Q}_p\), \(\sigma(x) = x\), proving that the only continuous automorphism of \(\mathbb{Q}_p\) is the identity mapping.

Step 1: Understanding \(p\)-adic topology and continuous automorphisms

The \(p\)-adic topology on the field of \(p\)-adic numbers \(\mathbb{Q}_p\) is a topology induced by the \(p\)-adic absolute value, which is a non-Archimedean norm on the field. In the context of this problem, a continuous automorphism is an automorphism that preserves the topology, i.e., for every open set \(U\) in the \(p\)-adic topology, the image of \(U\) under the automorphism is also an open set.

Step 2: Show that continuous automorphisms preserve algebraic structure of elements close to 1

We will use Corollary 7.5, which characterizes elements close to 1 as having a specific algebraic property. Let \(\sigma\) be a continuous automorphism of \(\mathbb{Q}_p\). For any element \(x \in \mathbb{Q}_p\) that is close to 1, we can write \(x = 1 + u\), where \(u\) has a small \(p\)-adic absolute value. By the continuity of \(\sigma\), we have \(\sigma(x) = \sigma(1+u)\). Since \(\sigma\) is an automorphism, it satisfies \(\sigma(1) = 1\) and \(\sigma(x) = \sigma(1) + \sigma(u) = 1 + \sigma(u)\). This means that the transformed element is also close to 1 under the \(p\)-adic topology.

Step 3: Show that the only automorphism is the identity

We want to show that the only continuous automorphism is the identity mapping. We will do this by proving that for all \(x \in \mathbb{Q}_p\), we have \(\sigma(x) = x\). Since we have shown that continuous automorphisms preserve elements close to 1, it is sufficient to show that the equality holds for the elements in a base of the \(p\)-adic topology. The topology is induced by the \(p\)-adic absolute value, so we can take the balls \(B(0, p^{-k}) = \{x \in \mathbb{Q}_p : |x|_p \leq p^{-k}\}\), for \(k \in \mathbb{Z}\), as a base of the topology. We have \(\sigma(0) = 0\), so we only have to prove that \(\sigma(x) = x\) for \(x \neq 0\). For any \(x \in B(0, p^{-k})\), we can write \(x = p^n y\), where \(y\) is a power of \(p\) times a unit, i.e., \(|y|_p = 1\). Then, we have \(\sigma(x) = \sigma(p^n y) = \sigma(p)^n \sigma(y)\). By the preservation of elements close to 1, we have \(\sigma(y) = y\). So, we get \(\sigma(x) = \sigma(p)^n y = p^n y = x\). Finally, we have shown that the only continuous automorphism of \(\mathbb{Q}_p\) is the identity mapping, completing the proof.

Key Concepts

p-adic topology

In simple terms, the \(p\)-adic topology is a special way of measuring distance within the field of \(p\)-adic numbers, denoted as \(\mathbb{Q}_p\). Unlike usual distances used in real numbers, this distance is based on the \(p\)-adic absolute value.
This value has a unique feature: it is non-Archimedean, meaning it satisfies the strong triangle inequality: \(|x + y|_p \leq \max(|x|_p, |y|_p)\).

• Open sets: These are constructed from elements close together in the \(p\)-adic sense.
• Balls and bases: Balls like \(B(0, p^{-k})\) serve as basic building blocks.

The \(p\)-adic topology is crucial because it governs the behavior and properties of continuous functions and automorphisms in this number field.

continuous automorphism

A continuous automorphism within the context of \(p\)-adic numbers is a special function. It changes \(p\)-adic numbers while preserving both their algebraic structure and the topology.
This means two things:

• Algebraic preservation: It keeps the addition and multiplication of numbers intact.
• Topological preservation: The image of any open set remains an open set.

This will be essential in understanding how such functions can be limited to identities on \(\mathbb{Q}_p\).

non-Archimedean norm

The term "non-Archimedean norm" is all about the \(p\)-adic absolute value's special property. In a non-Archimedean setting, you have the strong triangle inequality:
\[|x + y|_p \leq \max(|x|_p, |y|_p)\]

• This means the norm doesn't behave like typical norms in real numbers.
• It's more restrictive, affecting how numbers can be approximated.

The non-Archimedean nature has profound implications on the type of automorphisms permissible within \(\mathbb{Q}_p\). It supports unique phenomena not seen in familiar number systems.

automorphism identity

Within \(\mathbb{Q}_p\), the automorphism identity essentially states that the only \(p\)-adic automorphism that preserves all number properties is the identity.
Here's how it works:

• Any continuous automorphism must map an element like 1 back to itself.
• Elements close to 1 also remain close due to continuity.

This principle simplifies the structure within \(\mathbb{Q}_p\), demonstrating that all continuous mappings can't stray from this identity property.

algebraic characterization

The algebraic characterization offers a perspective on numbers near 1 in \(\mathbb{Q}_p\). Specifically, it refers to numbers that can be written as \(1 + u\) with \(u\) having a small \(p\)-adic value.
This concept assists in understanding how elements behave under automorphisms:

• Elements near 1 are crucial, as their images need to obey specific algebraic conditions.
• This leads to proofs verifying that the only valid automorphism is the identity.

Such characterizations reveal deeper insights into the constraints on transformations within \(\mathbb{Q}_p\).