The Algebraic Structure of Quantity Calculus

The algebraic structure underlying the quantity calculus is defined axiomatically as 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 of quantity calculus which is centered on the concept of dimension, rather than on the concept of unit, which is regarded as secondary, and uses only integer exponents of the dimensions.