2
$\begingroup$

I just came across the p-adic norm for the first time. I tried to show that it is actually a norm on $Q$ but I was asking myself, whether checking scalability is a bit self referential ?

What I mean by that is, that I am used to show scalability under the absolute value for any scalar from the underlying field (mostly due to my lack of experience this was in the context where there is a clear intuitive interpretation for the absolute value, e.g. on $\mathbb{R} \quad or \quad \mathbb{C}$, but with the p-adic the scalability criterion is only satisfied w.r.t the p-adic itself which seems self referential to me. Can somebody help clarify this notion ?

  • 1
    I think you are confused between the concept of a norm $|| \cdot ||$ on a vector space $V$ over a normed field $(K,|\cdot|)$ and a norm $|\cdot |$ on a field $K$. In the latter case, one of the conditions is indeed $||av || = |a| ||v||$ for all $a \in K$ and $v \in V$, but that is not your situation when you are examining the $p$-adic norm on $\mathbb{Q}$.2012-01-30

1 Answers 1

2

Sure, what you call the "scalability criterion" is indeed "self-referential," but it's not a problem because the axioms which define field norms are perfectly well-defined and are not intended to determine the norm uniquely. A norm here is any function $|\cdot|:K\to \mathbb{R}^{\ge0}$ such that $|x|=0$ iff $x$ is zero, satisfies what is likely better termed as multiplicativity i.e. $|xy|=|x||y|$, and the triangle inequality $|x+y|\le|x|+|y|$. The issue you seem to have is that you're confusing a vector space norm, which presumes an absolute value on the underlying base field is already understood, and an out-in-the-wild field norm, where no such presumptions are taken for granted and we're defining something directly on the field itself instead of some overarching structure built on top of the field.

So to check the multiplicativity of the $p$-adic norm, you need only invoke unique factorization...

  • 0
    absolutely, I agree. But this was not apparent to me before I understood, that to get off the ground with a norm on the field you don t really need an underlying one to check scalability or multiplicativity as you put it.2012-01-30