3

Consider $V = \lbrace \log(n) : n \in \mathbb N_{>0} \rbrace$ and scalars $s \in \mathbb Z_q$ for $q $ prime. Elementary number theory tells you that every $\log(n)$ can be written in a unique way as $s_1 \log(p_1) + \dots + s_k \log(p_k)$ for certain primes $p_1 \dots p_k$. One is tempted to think of $\lbrace \log(p) : p \, \text {prime} \rbrace$ as a basis, but, of course, $s_i \in \mathbb N$, the set of scalars, is not a field. Restricting those scalars to be $\mathbb Z_q$ may give you a field but then the corresponding subset of $V$ with standard addition does not play well with the field’s inverse for addition, etc.

Is there any theory being developed around this simple idea, albeit with modifications, to make it work in some restricted sense? I mean, the idea of seeing $\log(p)$ with $p$ prime as a basis for $\log(n)$ as an (almost) vector space?

lulu
  • 76,951

1 Answers1

4

I think the abstraction you are looking for is "generating set" in a set with some algebraic operations.

A basis of a vector space is a subset that uniquely generates all the elements using scalar multiplication and vector addition.

The primes uniquely generate the positive integers using multiplication (1 is the product of no primes). You don't need logarithms --- all they do in your question is turn multiplication into addition.

Your idea is not silly (as you wonder in a comment) but does not generalize in the way your question hopes it might.

Ethan Bolker
  • 103,433
  • Yes, it does turn multiplication into addition with some uniqueness property similar in structure to a linear combination of basis vectors. It does not have an obvious way to extend, and I was wondering if there was something out there. Of course I googled it and couldn’t find anything. Thanks EthanB. – carlosayam May 11 '25 at 04:09
  • I believe that I found something: Module Theory. $\log(q)$ for $q \in \mathbb Q^+$ seems to be a $\mathbb Z$-module. Example 1.2 in Module Theory, An approach to linear algebra, by T.S. Blyth (2018). I'll continue reading there ... – carlosayam May 14 '25 at 09:48