# Why do physical dimensions form an abelian group?

the dimensions form an abelian group under multiplication

This is used to justify the manipulation of ratios of incommensurable quantities. My question is, how do we know that the (physical) dimensions form an abelian group under multiplication? Is it just that at the outset we decided that abelian groups are easy to deal with, and so designed the dimensional system explicitly to form an abelian group, or is the abelian-groupness of physical dimensions derived from more basic properties?

• There really isn't anything fancy going on. It's just that multiplication is commutative. I think that Wikipedia article used unnecessary terminology. Oct 4, 2019 at 2:43

$$[x,p] = i\hbar,$$
and on the left hand side we are subtracting two quantities which while not equal, have the same dimension, as the right hand side. This is because in terms of the physical intuition, there is no difference between a distance times energy, or energy times distance (which is one way to think of the dimensions of $$\hbar$$).
If we have a set of dimensions, $$[X_i]$$ for $$i=1,\dots,k$$, for any $$i$$, $$[X_i]^m [X_i]^n = [X_i]^{m+n}$$. The abelian group in question is then generated by these $$[X_i]$$, and it is abelian, free and finitely generated. If you had say, a single dimension, this would obviously give you $$\mathbb Z$$.
• @pelrow $[x,p] = i\hbar$ is the canonical commutation relation, for the position operator $x$ and momentum operator $p$ in quantum theory. Oct 4, 2019 at 19:07