Excuse my naive question and please let me explain it:


In everyday life we experience 3 spatial "dimensions" + time etc.
Usually the 3 dimensions are represented by a coordinate system and mathematically as the vector space $R^3$.
In constrast, the word "dimension" in dimensional analysis has a more objective realism which is based on physical measurements. For instance let $l$ be a transcendental number.


Then $1,l,l^2,l^3,\cdots$ will be *linearly independent* over the rational numbers, and hence can serve as a basis in a vector space. For instance, instead of saying the point in spatial dimension has coordinates $(x,y,z)$ we might as well write:


$$x+y \cdot L + z \cdot L^2$$


where $L$ represents a "transcendental number over the rationals" and is associated with meter or kilometer etc.


Take for instance the derived unit $s/t^k$ for $k=0,1,2$ where $s$ denotes length and $t$ denotes time.
Then $s$=length, $s/t =$ velocity, $s/t^2=$ acceleration. If we view these as a basis of a vector space, then this vector space has 3 dimensions. But no one would count subjectively these as dimensions.


On the other hand the seven basic SI-units (or 6 if you do not want to count $mol$), could be seen as a transcendental numbers over the rationals or reals, and hence powers of those transcendental numbers could give a basis for vector spaces. Monomials of these transcendent numbers would correspond, as is done in dimensional analysis, to derived units. Adding and subtracting for instance $LT^{-1}+M$ would give a point in the "space of physical quantities" (**Edit**: and indicate the measured velocity and mass of an object). As a vector space over the reals this space has infinite dimension but has transcendence degree of $7$. Every derived / basic physical quantity measured by SI-Units would correspond to a point in this space / field of transcendence degree $6$ (or $7$ if you count $mol$ which I will not do):


$$\mathbb{Q}(T,L,M,I,\Theta,J)$$


Excuse my naive question: Is there any reason from physics to discard this point of view?


**Edit**:
It seems that the main idea of this question can be implemented through the ring (Laurent polynomial ring) $L:=\mathbb{R}[T,T^{-1},L,L^{-1},M,M^{-1},I,I^{-1},\Theta, \Theta^{-1},J,J^{-1}]$


**second Edit**:
I was asked to give at least one application of this idea, which I would like to do:


Application:


Let $k(x,y) = \frac{xy}{x^2+y^2-xy}$ for $x \neq 0,y \neq 0, x,y \in \mathbb{R}$ be a Jaccard-Similarity / positive definite kernel defined on $\mathbb{R}$.


We can define a similarity and positive definite kernel on the Laurent polynomial ring $L$ as :


$$K(x,y) := \frac{1}{N\_x + N\_y - N\_{xy}} \sum\_{X\_i^{\alpha\_i}=Y\_j^{\beta\_j}} k(a\_i,b\_j)$$


for $x = \sum\_{i} a\_i X^{\alpha\_i},y = \sum\_{j} b\_j X^{\beta\_j}$ and $X = (T , L, M, I, \Theta,J)$, $\alpha\_i, \beta\_j \in \mathbb{Z}^6$ and $X^{\alpha\_i},X^{\beta\_j}$ are multinomials, and $N\_x = $ number of nonzero $a\_i$, $N\_y =$ number of nonzero $b\_j$, $N\_{xy} =$ number of $(X^{\alpha\_i} = X^{\beta\_j})$.


Since $k(ca,cb) = k(a,b)$ for all $a,b,c \neq 0$, we deduce that $K(c \cdot x,c \cdot y) = K(x,y)$ for all $x,y \in L$, $c \neq 0, c \in \mathbb{R}$.
Hence this (or any other similarity and positive definite kernel $k$ with $k(ca,cb) = k(a,b)$. This is to make sure, that rescaling of physical units, does not change the similarity between objects.) gives us a possibility to measure the similarity / inner product
of two physical objects $A,B$ each of which is defined through measurements $x = \sum\_{i} a\_i X^{\alpha\_i}$ and $y = \sum\_{j} b\_j X^{\beta\_j}$.


Since there are different possibilities to measure similarites / define positive definite kernels, there should be different possibilities to define
equality / similarity between two physical objects $A$ and $B$.


Hence aposteriori $L$ is a Hilbert space by the Aaronszajn-Kolmogorov theorem.


Example:


The meaning of this kernel is to compare two physical objects. For instance $A = 10 m/s + 1 kg$, $B = 9 m/s + 2kg$, $C = 1 m/s^2+10kg$. Then $K(A,B) = 226/276 = 0.8278$, $K(A,C) = 10/91= 0.10989$, $K(B,C) = 5/21 = 0.2381$. Hence $A$ is most similar to $B$, $B$ is most similar to $A$, $C$ is most similar to $B$, and $A,C$ are the most dissimilar physical objects in this list.



Is the "space of physical quantities" a field of transcendence degree $6$ or $7$ over the rationals?
I don't think there are many meaningful situations where physical quantities of different dimension are added together (in fact, this is widely regarded as a taboo, and precisely the sort of mistake that dimensional analysis is supposed to prevent us from doing), so I don't think viewing the space of physical quantities as a field is the most fecund or useful description.


Instead, let me offer the following alternative point of view, which I think better matches what physics does and *why* it does it, and which is, at any rate, how I think of physical dimensions:


Consider the “**group of homogeneities**” $G = (\mathbb{R}\_+^\times)^k$ which is the product of $k$ copies of the positive real numbers, where $k$ is the number of “base units” (so $k=7$ in the SI system, but this depends on the sort of theory we wish to study: economists might have reasons to consider currencies or commodities as different units, whereas relativists will not consider time and length to be different units): the point is that $G$ acts on physical quantities by multiplying each one of the $k$ base quantities by the corresponding positive real number (e.g., $g=(2,3,1,\ldots)$ might multiply lengths by $2$, times by $3$ and preserve masses).


The crucial physics point is that: *insofar as the choice of units is arbitrary, $G$ acts as a group of physics-preserving symmetries* (e.g., multiplying all lengths by $2$ and times by $3$ while preserving masses should keep physics the same). So we seek quantities that are covariant under $G$. This is the whole point of dimensional analysis.


Now the group $G^\*$ of characters of $G$, i.e., the group of continuous morphisms $\lambda\colon G\to \mathbb{R}\_+^\times$ is the group $\mathbb{Z}^k$ with $(d\_1,\ldots,d\_k) \in \mathbb{Z}^k$ sending $g := (g\_1,\ldots,g\_k) \in G$ to $g\_1^{d\_1}\cdots g\_k^{d\_k}$. Really we should forget about $k$ and care about the group $G$ which might not have a clear “basis of dimensions” (e.g., is it electrical charge or electrical current which is the “base unit”? this is meaningless) and might even incorporate other transformations than positive-real-homogeneities (e.g., changes of sign on certain quantities might be physics-preserving).


So I propose that: **a “physical dimension” is an element $\lambda$ of $G^\*$ and a quantity of that dimension is an element of the corresponding representation $V\_\lambda$ of $G$** (which is $1$-dimensional because $G$ is abelian), i.e., $G$ acts on $V\_\lambda$ by $g \mapsto v \mapsto g^\lambda\cdot v$.


This $V\_\lambda$ is $1$-dimensional, so it is $\mathbb{R}$ as an $\mathbb{R}$-vector space, but it is so in a non-canonical way, and **a unit of measure for the physical dimension $\lambda$ is a basis for $V\_\lambda$** (probably a *positive* basis since $V\_\lambda$ still has a natural orientation).


Taking the **product** of two physical quantities of dimensions $\lambda$ and $\mu$ consists of taking the tensor product $V\_\lambda \otimes V\_\mu \buildrel\sim\over\to V\_{\lambda+\mu}$, while the inverse of a physical quantity $\lambda$ should be seen as living in the dual space $V\_\lambda^\vee \buildrel\sim\over\to V\_{-\lambda}$. The **sum**, on the other hand, is meaningful only insofar as it compatible under the action of $\lambda$, i.e., adding elements of the same $V\_\lambda$. (Of course, you are welcome to consider $V\_\lambda \oplus V\_{\lambda'}$, in some cases it might be meaningful, e.g., adding different currencies in economics, but the direct sum is then canonically split.)


What you propose to do, by taking arbitrary rational combinations of the base units and considering them as transcendental quantities, would be germane if the physically relevant acting group were the full Cremona group of automorphisms of rational fractions. I don't think we can make any physical sense of such an action, so this point of view is bound to remain very artificial.


**PS:** I'd like to add the following remark showing that the group of symmetries (so, in my description, $k$) might very well depend on the kind of theory being considered: Americans like to measure heights in *feet* and plane distances in *miles*, which makes some kind of sense in a situation where one might apply different homotheties on both; the “fundamental slope” of $5280\,\mathrm{ft}/\mathrm{mi}$ breaks this symmetry, exactly in the same way the “fundamental speed” known as the speed of light of $299\,792\,458\,\mathrm{m}/\mathrm{s}$ breaks the possibility of applying different homotheties on times and lengths: there is no fundamental difference between $5280\,\mathrm{ft}/\mathrm{mi}$ and $299\,792\,458\,\mathrm{m}/\mathrm{s}$ from the dimensional point of view: they are conversion factors breaking the possibility of choosing two units independently which, from the pre-breaking point of view, appears as a fundamental constant of nature (which can be measured experimentally: if the foot and the mile had been defined separately using a reference height and a reference plane length, the former would be an experimental quantity until redefinition of one of the units, exactly like the speed of light in the SI system).


