Foundational Algebraic and Analytical Prerequisites for Mathematical Music Theory

Building on the introductory group-theoretic concepts introduced earlier, we now extend our algebraic framework to capture the full symmetry structure of musical objects, with particular attention to operations that preserve musical identity under transformation. While cyclic groups model the transpositional symmetry of the octave, the full set of musical symmetries relevant to common-practice tonality includes not only transposition but also inversion (mirroring pitch content about a fixed axis) and retrograde (reversing temporal order of a sequence), which are formalized via the dihedral group action on pitch and rhythmic sequences. For rhythmic structures, cyclic groups model the periodic repetition of meters and grooves, while Fourier analysis decomposes periodic signals into their constituent frequency components, enabling quantitative analysis of timbre and rhythmic periodicity. Topological models, in turn, provide a rigorous foundation for continuous pitch spaces used in microtonal and just intonation systems, capturing intuitive properties of proximity and continuity that discrete algebraic models cannot.

1.1 Extended Group Theory for Musical Symmetry

We first formalize the dihedral group $D_n$, the symmetry group of a regular $n$-gon, which is the minimal algebraic structure required to model all common pitch and rhythmic transformations in Western music. For $n=12$, $D_{12}$ has 24 elements: 12 rotational symmetries (corresponding to transposition by $k$ semitones, $k=0,1,\dots,11$) and 12 reflection symmetries (corresponding to inversion about a fixed pitch axis, or retrograde operation for sequences). The group operation is composition of transformations, with the identity element $e$ corresponding to the null transformation (no change to pitch or sequence order).

1.1.1 Dihedral Group Actions on Pitch Class Sets

A group action of $G$ on a set $X$ is a map $\cdot: G \times X \to X$ satisfying two axioms: (1) $e \cdot x = x$ for all $x \in X$, and (2) $g \cdot (h \cdot x) = (gh) \cdot x$ for all $g,h \in G$ and $x \in X$. For musical applications, we define two primary actions of $D_{12}$ on the set of pitch class sets $\mathcal{P}$ (subsets of $\mathbb{Z}/12\mathbb{Z}$): 1. Pitch action: For $g \in D_{12}$ and $S \in \mathcal{P}$, $g \cdot S$ applies the transformation $g$ to every element of $S$. For rotational elements $r_k$ (transposition by $k$ semitones), this is $r_k \cdot S = \{ (s + k) \mod 12 \mid s \in S \}$. For reflection elements $s_k$ (inversion about pitch class $k$), this is $s_k \cdot S = \{ (2k - s) \mod 12 \mid s \in S \}$. 2. Rhythmic action: For a rhythmic sequence $R = (r_0, r_1, \dots, r_{N-1})$ of length $N$, the action of $D_N$ applies rotation (metric shift) and reflection (retrograde) to the sequence.

The orbit-stabilizer theorem, a cornerstone of group theory, states that for any $x \in X$, the size of the orbit $G \cdot x$ (the set of all distinct transformations of $x$ under $G$) is equal to the index of the stabilizer subgroup $G_x = \{ g \in G \mid g \cdot x = x \}$ (the set of transformations that leave $x$ unchanged) in $G$: $$|G \cdot x| = \frac{|G|}{|G_x|} \tag{1.1}$$ As a concrete example, consider the natural minor scale $S_{\text{min}} = \{0,2,3,5,7,8,10\}$ (C natural minor: C, D, Eb, F, G, Ab, Bb). The stabilizer subgroup of $S_{\text{min}}$ under the rotational subgroup $C_{12} \subset D_{12}$ is trivial: $G_{S_{\text{min}}} = \{e\}$, since no non-zero transposition maps $S_{\text{min}}$ to itself. Thus the orbit size is $|C_{12} \cdot S_{\text{min}}| = 12/1 = 12$, meaning there are 12 distinct transpositions of the natural minor scale, one for each starting pitch class. For the whole-tone scale $S_{\text{whole}} = \{0,2,4,6,8,10\}$, the stabilizer subgroup under $C_{12}$ is $G_{S_{\text{whole}}} = \{ r_0, r_2, r_4, r_6, r_8, r_{10} \}$, a subgroup of order 6, so the orbit size is $12/6 = 2$, corresponding to the two distinct whole-tone scales (one containing even pitch classes, one containing odd pitch classes).

```mermaid graph TD A[D12 Group] --> B[Rotational Subgroup C12] A --> C[Reflection Subgroup] B --> D[Transposition Operations] C --> E[Inversion/Retrograde Operations] D --> F[Action on Pitch Class Sets] E --> F F --> G[Orbit-Stabilizer Theorem] G --> H[12 Transpositions of Natural Minor] G --> I[2 Transpositions of Whole-Tone Scale] ```

1.1.2 Group Homomorphisms and Interval Mapping

A group homomorphism is a structure-preserving map between two groups: for groups $(G, \cdot)$ and $(H, *)$, a map $\phi: G \to H$ satisfies $\phi(g_1 \cdot g_2) = \phi(g_1) * \phi(g_2)$ for all $g_1, g_2 \in G$. The canonical homomorphism from the group of transposition operations $C_{12}$ to the additive group of pitch classes $\mathbb