Axiomatic scale theory

Scales are a fundamental concept of musical practice around the world. They commonly exhibit symmetry properties that are formally studied using cyclic groups in the field of mathematical scale theory. This paper proposes an axiomatic framework for mathematical scale theory, embeds previous research, and presents the theory of maximally even scales and well-formed scales in a uniform and compact manner. All theorems and lemmata are completely proven in a modern and consistent notation. In particular, new simplified proofs of existing theorems such as the equivalence of non-degenerate well-formedness and Myhill's property are presented. This model of musical scales explicitly formalizes and utilizes the cyclic order relation of pitch classes.