Foundational Mathematical Frameworks for Music Theory

The intersection of music theory and rigorous mathematics has long been hindered by inconsistent notation and unstated assumptions across disciplines: a "pitch interval" may refer to a logarithmic frequency ratio in acoustics literature, a semitone count in set theory, or a physical time delay in performance studies, while a "beat" may denote a discrete time point, a time interval, or a metrical accent depending on context. This chapter resolves these ambiguities by establishing a unified formal framework that will be used consistently throughout the text, bridging the gap between abstract algebraic structures, analytic signal processing tools, combinatorial enumeration methods, and probabilistic models of musical expression. All notation introduced here is cross-referenced in the supplementary notation guide at the end of the chapter, and worked examples are tied directly to core concepts in Western and non-Western music theory to ground abstract definitions in practical use cases.

1.1 Group Theory and Algebraic Structures for Pitch and Rhythm

Group theory provides the most natural formal language for describing the symmetry and transformational structure of both pitch and rhythmic spaces, as both exhibit closure, associativity, identity, and invertibility under standard musical operations. We first define core group-theoretic concepts before mapping them to concrete musical systems.

1.1.1 Cyclic Groups and the 12-Tone Pitch Class Space

A *group* $(G, \cdot)$ is a set $G$ paired with a binary operation $\cdot$ satisfying four axioms: closure ($\forall a,b \in G, a\cdot b \in G$), associativity ($\forall a,b,c \in G, (a\cdot b)\cdot c = a\cdot (b\cdot c)$), existence of an identity element $e \in G$ such that $e\cdot a = a\cdot e = a$ for all $a \in G$, and existence of inverses ($\forall a \in G, \exists a^{-1} \in G$ such that $a\cdot a^{-1} = e$). A group is *cyclic* if it can be generated by a single element $g$, such that every element of $G$ can be written as $g^k$ for some integer $k$.

The 12-tone equal temperament (12-TET) pitch class space¹ is isomorphic to the additive cyclic group $\mathbb{Z}_{12} = \{0,1,\dots,11\}$ under addition modulo 12, where each integer $n \in \mathbb{Z}_{12}$ represents a pitch class (pc) $n$ semitones above a reference pitch class (conventionally $0 = C$). The group operation is transposition: transposing a pc $x$ by $k$ semitones yields $x + k \mod 12$. The identity element is $0$ (the reference pc), and the inverse of $x$ is $12 - x \mod 12$, corresponding to the pitch class that forms a perfect octave with $x$ when combined.

```mermaid graph TD A[0 (C)] --> B[1 (C#)] B --> C[2 (D)] C --> D[3 (D#)] D --> E[4 (E)] E --> F[5 (F)] F --> G[6 (F#)] G --> H[7 (G)] H --> I[8 (G#)] I --> J[9 (A)] J --> K[10 (A#)] K --> L[11 (B)] L --> A classDef group fill:#f9f,stroke:#333,stroke-width:2px; class A,B,C,D,E,F,G,H,I,J,K,L group; ```

<center>Figure 1.1: Cyclic structure of the $\mathbb{Z}_{12}$ pitch class group, where edges represent transposition by 1 semitone.</center>

<tag>group-theory</tag> <tag>pitch-space</tag> <tag>12-TET</tag> <tag>cyclic-group</tag>

💡 Side Note (Digital Edition): The cyclic group $\mathbb{Z}_{12}$ is isomorphic to the group of rotations of a regular 12-gon, which explains why transposition in 12-TET corresponds to rotating the pitch class circle. This isomorphism fails for non-equal tuning systems: for example, the just intonation pitch class space is not cyclic, as transposition by a perfect fifth (ratio 3:2) does not map the space to itself after 12 iterations (the "Pythagorean comma" discrepancy).

Worked Example 1.1: Mapping Dominant Seventh Chords to $\mathbb{Z}_{12}$

A dominant seventh chord in 12-TET is defined by the pitch class set (pcs) $\{x, x+4, x+7, x+10\}$ where $x$ is the root. For $x=0$ (C dominant seventh), the pcs are $\{0,4,7,10\}$. Transposing by $k=5$ semitones yields $\{5,9,0,3\}$, which is the F dominant seventh chord, confirming closure under the group operation. The interval vector of the chord, a standard music theory object, is derived directly from group differences: the set of unordered intervals is $\{4,7,10,3,6,2\}$, corresponding to the group differences between all pairs of elements in the pcs set.

1.1.2 Dihedral Groups and Transformational Theory

The *dihedral group* $D_n$ of order $2n$ is the group of symmetries of a regular $n$-gon, consisting of $n$ rotations and $n$ reflections. For $n=12$, $D_{12}$ has order 24 and acts on the $\mathbb{Z}_{12}$ pitch class space via two generators: $r$, rotation by 1 semitone (transposition), and $s$, reflection across an axis through pitch class $0$ (inversion), with the relation $srs = r^{-1}$. All standard twelve-tone transformations (prime, retrograde, inversion, retrograde inversion) are elements of $D_{12}$, making it the formal foundation of serial and transformational music theory.

The group action of $D_{12}$ on the set of 12-tone rows (ordered permutations of all 12 pitch classes) yields exactly 24 distinct row forms: 12 transpositions of the prime form, 12 transpositions of the inversion, plus retrograde and retrograde-inversion variants, a result first formalized by Babbitt (1960) and generalized to non-12-TET systems by Morris (1987). For non-12-TET systems with $n$ pitches per octave, the analogous group is $D_n$, with order $2n$.

1.1.3 Group Homomorphisms and the Circle of Fifths

A *group homomorphism* is a function $\phi: G \to H$ between two groups that preserves the group operation: $\phi(a \cdot b) = \phi(a) \cdot \phi(b)$ for all $a,b \in G$. The most musically useful homomorphism for Western tonal theory is the map $\phi: \mathbb{Z}_{12} \to \mathbb{Z}_7$ defined by $\phi(n) = 7n \mod 12$, which maps each semitone transposition to its corresponding number of perfect fifths. This homomorphism is not injective: its kernel is the subgroup $\{0, 12/ \gcd(12,7)\} = \{0,12\}$ (trivially, since 7 and 12 are coprime, the kernel is only the identity), but its image is the full $\mathbb{Z}_7$ group, corresponding to the 7 distinct pitch classes in the diatonic scale. The circle of fifths is exactly the image of this homomorphism: transposing by 7 semitones (a perfect fifth) cycles through all 12 pitch classes in 12 steps, while mapping to the 7 diatonic pitch classes in 7 steps, explaining the structural overlap between semitone and fifth-based transposition in tonal harmony.

1.1.4 Rhythmic Group Structures

Rhythmic spaces also admit group structure when modeled as discrete time steps. For a measure of $4/4$ time discretized into 16 sixteenth-note steps, the set of rhythmic positions $\{0,1,\dots,15\}$ forms a cyclic group $\mathbb{Z}_{16}$ under addition modulo 16, where the group operation is shifting a rhythm by one sixteenth note. For isochronous meters (all beat subdivisions are equal), this cyclic group structure holds for any time signature $a/b$ discretized into $a \cdot (4/b)$ sixteenth-note steps. For non-isochronous meters (e.g., additive meters like 7/8 = 2+2+3), the rhythmic space forms a direct product of cyclic groups, e.g., $\mathbb{Z}_2 \times \mathbb{Z}_2 \times \mathbb{Z}_3$ for 7/8, where each factor corresponds to a nested subdivision level.

Worked Example 1.2: Group Structure of a 7/8 Additive Meter

The 7/8 meter, conventionally subdivided into 2+2+3 eighth-note beats, has a rhythmic group structure isomorphic to $\mathbb{Z}_2 \times \mathbb{Z}_2 \times \mathbb{Z}_3$. A rhythmic position is represented as a tuple $(a,b,c)$ where $a \in \{0,1\}$ is the position within the first eighth-note beat, $b \in \{0,1\}$ within the second, and $c \in \{0,1,2\}$ within the third eighth-note beat. The group operation is component-wise addition modulo the order of each factor, and the identity element is $(0,0,0)$ (the downbeat of the measure).

1.2 Fourier Analysis for Spectral and Signal Processing Applications

Fo