A classification of $\mathbb Q$-valued linear functionals on $\overline{\mathbb Q}^\times$ modulo units

TL;DR

This paper classifies all algebraic duals of a certain vector space derived from algebraic numbers, including continuous functionals, and explores applications to prime Omega functions and Galois group actions.

Contribution

It provides a complete classification of all $Q$-valued linear functionals on $Q$-vector spaces related to algebraic numbers, including continuous ones, and studies their applications.

Findings

Classified all elements in the algebraic dual of the space $Q$-vector space $Q^ imes/A^ imes$.

Characterized continuous linear functionals with respect to an appropriate norm.

Applied the classification to extend the prime Omega function and analyze Galois actions.

Abstract

Let $\overline{\mathbb Q}$ be an algebraic closure of $\mathbb Q$ and let $A$ denote the ring of algebraic integers in $\overline{\mathbb Q}$. If $\mathcal S = \overline{\mathbb Q}^\times/A^\times$ then $\mathcal S$ is a vector space over $\mathbb Q$. We provide a complete classification all elements in the algebraic dual $\mathcal S^*$ of $\mathcal S$ in terms of another $\mathbb Q$-vector space called the space of consistent maps. With an appropriate norm on $\mathcal S$, we further classify the continuous elements of $\mathcal S^*$. As applications of our results, we classify extensions of the prime Omega function to $\mathcal S$ and discuss a natural action of the absolute Galois group $\mathrm{Gal}(\overline{\mathbb Q}/\mathbb Q)$ on $\mathcal S$.