The algebraic structure of quantity calculus

Abstract

An algebraic structure underlying the quantity calculus is proposed consisting in an algebraic fiber bundle, that is, a base structure which is a free Abelian group together with fibers which are one dimensional vector spaces, all of them bound by algebraic restrictions. Subspaces, tensor product and quotient spaces are considered as well as homomorphisms to end with a classification theorem of these structures. The new structure provides an axiomatic foundation for quantity calculus and gives complete justification within its framework of the way that quantity calculus is actually performed. It is hoped that this exposition helps to clarify the role of the interviening concepts of quantity, quantity value, quantity dimension and their relation with a system of units, particularly, the SI.