Literature and score-analysis cutoff: 11 July 2026.
I first encountered Messiaen’s second mode — the octatonic scale — in an analysis seminar during my physics studies, played by a colleague on an upright piano in a rehearsal room with terrible acoustics. She demonstrated something that stopped me: no matter how many times she transposed the scale up by a minor third, she could never find a “new” version. After three transpositions she was back where she started. She called it the charm of impossibilities. It took me years to understand why it is impossible, and longer still to see that the answer is not musical but algebraic.
This post is a companion to Fibonacci, the Golden Ratio, and Tool’s Lateralus, which found number theory in a prog-rock song. Here we find abstract algebra in twentieth-century sacred music.
Pitch Classes and the Chromatic Clock
Western music divides the octave into twelve equal semitones. For purposes of harmony and counterpoint, the absolute pitch is often less important than the pitch class — the equivalence class of all pitches related by octave transposition. Middle C and the C two octaves above belong to the same pitch class.
We label the twelve pitch classes $0, 1, 2, \ldots, 11$, with $0 = \mathrm{C}$, $1 = \mathrm{C}\sharp/\mathrm{D}\flat$, $2 = \mathrm{D}$, and so on up to $11 = \mathrm{B}$. Addition is taken modulo 12 — the integers wrap around like a clock face, with $11 + 2 = 1$ (one semitone above B is C$\sharp$).
The set of pitch classes with this operation is a group:
$$\mathbb{Z}_{12} = \{0, 1, 2, \ldots, 11\}, \qquad x \oplus y = (x + y) \bmod 12.$$This is the cyclic group of order 12. It has an identity element ($0$, “no transposition”), every element has an inverse ($-n \bmod 12$), and the operation is associative. If you are used to thinking about the chromatic scale as a linear sequence ending at the octave, $\mathbb{Z}_{12}$ is the insistence that it is actually a circle.
Musical Operations as Group Elements
Two operations are fundamental in tonal and post-tonal music theory.
Transposition by $n$ semitones maps every pitch class up by $n$:
$$T_n \colon x \mapsto x + n \pmod{12}.$$The twelve transpositions $T_0, T_1, \ldots, T_{11}$ are exactly the elements of $\mathbb{Z}_{12}$, with $T_n$ corresponding to the integer $n$. Composing two transpositions gives a transposition: $T_m \circ T_n = T_{m+n}$.
Inversion reflects the pitch-class circle:
$$I \colon x \mapsto -x \pmod{12}.$$Inversion maps C to C, D to B$\flat$, E to A$\flat$, and so on — it is the mirror symmetry of the chromatic circle about the C/F$\sharp$ axis. Combining inversion with transposition gives the inversional transpositions:
$$I_n \colon x \mapsto n - x \pmod{12}.$$The transpositions and inversional transpositions together generate a group of order 24:
$$D_{12} = \langle T_1, I \rangle.$$This is the dihedral group $D_{12}$ — the same abstract group that describes the symmetries of a regular 12-gon (twelve rotations and twelve reflections). The identification is not coincidental: the twelve pitch classes arranged in a circle are the vertices of a regular 12-gon, and the musical operations are geometrically the symmetries of that polygon.
Twelve-tone rows also use transposition, inversion, retrograde, and their combinations, but retrograde acts on order rather than pitch class alone. A 24-element pitch-class dihedral group does not by itself contain all four row forms or justify a simple coset identification.
Orbits and Stabilisers
Let $S \subseteq \mathbb{Z}_{12}$ be a pitch-class set — a chord, a scale, a collection of any size.
The orbit of $S$ under $\mathbb{Z}_{12}$ is the collection of all distinct transpositions of $S$:
$$\mathrm{Orb}(S) = \{ T_n(S) : n \in \mathbb{Z}_{12} \}.$$For most sets, all twelve transpositions produce a different set, so $|\mathrm{Orb}(S)| = 12$. The C major scale, for example, has twelve distinct transpositions, one for each key.
But some sets are symmetric under certain transpositions: there exists $n \neq 0$ such that $T_n(S) = S$. The collection of all symmetry transpositions of $S$ is the stabiliser:
$$\mathrm{Stab}(S) = \{ T_n \in \mathbb{Z}_{12} : T_n(S) = S \}.$$Because composing two symmetry transpositions yields another, $\mathrm{Stab}(S)$ is a subgroup of $\mathbb{Z}_{12}$.
The orbit–stabiliser theorem gives the fundamental count:
$$|\mathrm{Orb}(S)| \cdot |\mathrm{Stab}(S)| = |\mathbb{Z}_{12}| = 12.$$The number of distinct transpositions of $S$ equals $12$ divided by the number of transpositions that leave $S$ unchanged. The more internally symmetric $S$ is, the fewer new versions you can produce by transposing it.
A set with $|\mathrm{Stab}(S)| > 1$ has limited transpositional orbit in this algebraic sense. Messiaen’s “modes of limited transposition” are his named, historically selected scales, not every invariant pitch-class set.
Mode 1: The Whole-Tone Scale
The whole-tone scale contains the six pitch classes at even intervals:
$$\mathrm{Mode\ 1} = \{0, 2, 4, 6, 8, 10\}.$$Transposing by $T_2$:
$$T_2(\{0, 2, 4, 6, 8, 10\}) = \{2, 4, 6, 8, 10, 0\} = \{0, 2, 4, 6, 8, 10\}. \checkmark$$The set is unchanged. The same holds for $T_4, T_6, T_8, T_{10}$. The stabiliser is the full subgroup of even transpositions:
$$\mathrm{Stab}(\mathrm{Mode\ 1}) = \{T_0, T_2, T_4, T_6, T_8, T_{10}\} \cong \mathbb{Z}_6.$$By the orbit–stabiliser theorem:
$$|\mathrm{Orb}(\mathrm{Mode\ 1})| = \frac{12}{6} = 2.$$There are exactly two distinct whole-tone scales. Every pianist learns this: the one on C and the one on C$\sharp$. Composing with whole-tone harmony means working from a stock of only two harmonic pools with no way to modulate into a genuinely new version of the scale. This is Messiaen’s first charm of impossibility.
Mode 2: The Octatonic Scale
The octatonic (diminished) scale alternates half-step and whole-step intervals. Starting on C:
$$\mathrm{Mode\ 2} = \{0, 1, 3, 4, 6, 7, 9, 10\}.$$Does $T_3$ leave this set invariant?
$$T_3(\{0, 1, 3, 4, 6, 7, 9, 10\}) = \{3, 4, 6, 7, 9, 10, 0, 1\} = \{0, 1, 3, 4, 6, 7, 9, 10\}. \checkmark$$Also $T_6$ and $T_9$. The stabiliser is the subgroup generated by transposition by a minor third:
$$\mathrm{Stab}(\mathrm{Mode\ 2}) = \{T_0, T_3, T_6, T_9\} \cong \mathbb{Z}_4.$$The orbit size:
$$|\mathrm{Orb}(\mathrm{Mode\ 2})| = \frac{12}{4} = 3.$$There are exactly three distinct octatonic collections under transposition. The three scales correspond to the three cosets of the subgroup $\langle T_3 \rangle$ in $\mathbb{Z}_{12}$: the cosets $\{0, 3, 6, 9\}$, $\{1, 4, 7, 10\}$, and $\{2, 5, 8, 11\}$ are the “starting-point classes” that generate each scale. Note that the scales themselves are not pairwise disjoint — each has eight pitch classes, so any two share four — but the coset structure determines which transpositions produce the same scale and which produce a different one.
The Subgroup Lattice and All Seven Modes
The orbit–stabiliser theorem constrains which stabiliser sizes are algebraically possible. Since $\mathrm{Stab}(S)$ is a subgroup of $\mathbb{Z}_{12}$, its order must divide 12. The proper non-trivial subgroups of $\mathbb{Z}_{12}$ — those with order strictly between 1 and 12 — are precisely:
| Subgroup | Generator | Order | Orbit size |
|---|---|---|---|
| $\langle T_2 \rangle = \{T_0, T_2, T_4, T_6, T_8, T_{10}\}$ | $T_2$ | 6 | 2 |
| $\langle T_3 \rangle = \{T_0, T_3, T_6, T_9\}$ | $T_3$ | 4 | 3 |
| $\langle T_4 \rangle = \{T_0, T_4, T_8\}$ | $T_4$ | 3 | 4 |
| $\langle T_6 \rangle = \{T_0, T_6\}$ | $T_6$ | 2 | 6 |
These four subgroups exist because the proper divisors of 12 that are greater than 1 are exactly $\{2, 3, 4, 6\}$. The subgroups of $\mathbb{Z}_n$ are in bijection with the divisors of $n$ — a consequence of the fundamental theorem of cyclic groups. Since $12 = 2^2 \times 3$, the proper divisors are $1, 2, 3, 4, 6$.
Each row of the table maps onto a level in Messiaen’s system:
- Mode 1 (whole-tone scale): stabiliser $\langle T_2 \rangle$, 2 transpositions
- Mode 2 (octatonic scale): stabiliser $\langle T_3 \rangle$, 3 transpositions
- Mode 3: stabiliser $\langle T_4 \rangle$, 4 transpositions
- Modes 4 – 7: stabiliser $\langle T_6 \rangle$, 6 transpositions each
The subgroup lattice constrains possible transpositional stabilisers. It does not directly generate Messiaen’s seven named modes: several musically different sets share the same stabiliser type.
The containment relations are: $\langle T_2 \rangle \supset \langle T_4 \rangle$ and $\langle T_2 \rangle \supset \langle T_6 \rangle$ and $\langle T_3 \rangle \supset \langle T_6 \rangle$. Correspondingly, Mode 1 (stabiliser $\langle T_2 \rangle$, order 6) is “more limited” than Mode 3 (stabiliser $\langle T_4 \rangle$, order 3), in the sense that $\langle T_4 \rangle \subset \langle T_2 \rangle$: every symmetry of Mode 3 is also a symmetry of Mode 1’s stabiliser.
Why Exactly Seven Modes?
Messiaen was not enumerating all pitch-class sets with non-trivial stabilisers — there are many more than seven. At the level of the stabiliser $\langle T_6 \rangle$, for example, there are numerous pitch-class sets invariant under the tritone transposition $T_6$: any set $S$ such that $S = S + 6$ qualifies. Some of these sets are large (ten pitch classes), some are small (two pitch classes), some are musically coherent and some are not.
Messiaen selected seven that he found aesthetically and compositionally viable: scales of moderate cardinality, with a balance of interval types, that he could use as raw material for his harmonic language. The group theory explains the constraint (modes are possible only at the four stabiliser types listed above), not the selection (which specific sets Messiaen chose among the many that satisfy the constraint).
The question “why seven?” is therefore partly combinatorial and partly compositional. What is group-theoretically determined is the number of levels (four: orbit sizes 2, 3, 4, 6) and the impossibility of any mode with, say, five distinct transpositions (since 5 does not divide 12).
What Messiaen Knew — and Did Not Know
Messiaen described his modes in Technique de mon langage musical (1944). His account is entirely musical and phenomenological. He lists each mode by its interval sequence, notes how many transpositions it admits, and names the limitation a “charm.” The impossibility is for him a spiritual property, a form of harmonic stasis that he associated — as a devout Catholic — with divine eternity. A mode that cannot depart is, in his compositional theology, a glimpse of the unchanging.
He was not doing group theory. The orbit–stabiliser theorem (in its abstract form) postdates Lagrange (1771), Cauchy (early 19th century), and Galois (1832). But the concepts were not part of music-theoretic discourse until Milton Babbitt’s work in the 1950s, and they were not formalised in the pitch-class set framework I have used here until Allen Forte’s The Structure of Atonal Music (1973) and David Lewin’s Generalized Musical Intervals and Transformations (1987).
Messiaen enumerated the transpositions without presenting this group-theoretic formalism. The algebra retrospectively proves the orbit counts; it does not tell us whether he discovered the modes by ear or by another procedure.
From Messiaen to Lewin
Lewin’s transformational theory (1987) generalises the $\mathbb{Z}_{12}$ framework to arbitrary musical spaces. A Generalized Interval System is a triple $(S, G, \mathrm{int})$ where $S$ is a set of musical objects, $G$ is a group, and $\mathrm{int} : S \times S \to G$ assigns an interval to each ordered pair of objects in a way that is consistent with the group structure.
This framework treats musical transformations — not just pitch-class transpositions but rhythmic augmentations, timbral shifts, any structurally defined operation — as elements of a group. The mathematics does not privilege any particular musical parameter; it applies wherever a transformation group acts on a set of musical objects.
Neo-Riemannian theory, which emerged from Lewin’s work in the 1980s and 1990s and was systematised by Cohn (1998), applies this framework to triadic transformations (the operations L, P, and R that map major and minor triads to their relatives, parallels, and leading-tone exchanges). The group generated by L, P, and R on the set of 24 major and minor triads is isomorphic to $D_{12}$ — the same dihedral group that governs Messiaen’s modes, but acting on a different musical space.
Emmanuel Amiot’s work applies the discrete Fourier transform to pitch-class sets. Fourier components can reveal periodic structure, but the earlier claim that one large coefficient directly measures closeness to a specific stabiliser was too compressed and has been removed.
Group theory is one important mathematical framework in music theory, not its sole or dominant framework. Messiaen’s modes are structurally constrained: the possible stabiliser orders are fixed by the divisors of 12, while his choice of seven modes was compositional and historical. Their limited transposition is an algebraic fact; their musical significance is not determined by algebra alone.
The limitation is a theorem of the transposition action. The charm is Messiaen’s.
References
Amiot, E. (2016). Music Through Fourier Space: Discrete Fourier Transform in Music Theory. Springer (Computational Music Science).
Babbitt, M. (1960). Twelve-tone invariants as compositional determinants. The Musical Quarterly, 46(2), 246–259. https://doi.org/10.1093/mq/XLVI.2.246
Cohn, R. (1998). Introduction to neo-Riemannian theory: A survey and a historical perspective. Journal of Music Theory, 42(2), 167–180. https://doi.org/10.2307/843871
Forte, A. (1973). The Structure of Atonal Music. Yale University Press.
Lewin, D. (1987). Generalized Musical Intervals and Transformations. Yale University Press. (Reissued Oxford University Press, 2007.)
Messiaen, O. (1944). Technique de mon langage musical. Alphonse Leduc. (English translation: Satterfield, J., 1956.)
Tymoczko, D. (2006). The geometry of musical chords. Science, 313(5783), 72–74. https://doi.org/10.1126/science.1126287
Tymoczko, D. (2011). A Geometry of Music: Harmony and Counterpoint in the Extended Common Practice. Oxford University Press.
Changelog
- 2026-01-14: Changed “cosets of $D_{12}$” to “cosets of $\mathbb{Z}_{12}$ (the transposition subgroup)” in the twelve-tone composition paragraph. $D_{12}$ (order 24) already includes both transpositions and inversions, yielding only 2 cosets in the full serial group. The four row forms {P, I, R, RI} correspond to 4 cosets of the transposition-only subgroup $\mathbb{Z}_{12}$ (order 12) in the full group of order 48.
- 2026-07-11: Separated Messiaen’s seven selected modes from the subgroup lattice, corrected the serial/coset and Fourier overstatements, and removed unsupported discovery and influence claims.