VOICING TRANSFORMATIONS AND A LINEAR
REPRESENTATION OF UNIFORM TRIADIC TRANSFORMATIONS

arXiv:1603.09636v1 [] 31 Mar 2016

THOMAS M. FIORE AND THOMAS NOLL

Abstract. Motivated by analytical methods in mathematical music theory, we determine the structure of the subgroup J of GL(3, Z12 ) generated by the three voicing
reflections. As applications of our Structure Theorem, we determine the structure of
the stabilizer H in Σ3 n J of root position triads, and show that H is a representation
of Hook’s uniform triadic transformations group U. We also determine the centralizer
of J in both GL(3, Z12 ) and the monoid Aff(3, Z12 ) of affine transformations, and
recover a Lewinian duality for trichords containing a generator of Z12 . We present
a variety of musical examples, including the Wagner’s hexatonic Grail motive and
the diatonic falling fifths as cyclic orbits, an elaboration of our earlier work with
Satyendra on Schoenberg, String Quartet in D minor, op. 7, and an affine musical
map of Joseph Schillinger. Finally, we observe, perhaps unexpectedly, that the retrograde inversion enchaining operation RICH (for arbitrary 3-tuples) belongs to the
representation H. This allows a more economical description of a passage in Webern,
Concerto for Nine Instruments, op. 24 in terms of a morphism of group actions.

2010 Mathematics Subject Classification: Primary 00A65, 20B35
Keywords: uniform triadic transformations, transformational analysis, neo-Riemannian
operations, contextual inversion, permutations
Contents
1. Introduction
1.1. Motivation for Transformational Approaches in Music Theory
1.2. Motivational Problembeispiel
1.3. Outline of Contents
1.4. Related Work of Rachel Hall
2. Recollection of the neo-Riemannian P LR-Group
3. The Group J and its Extension Σ3 n J
3.1. Definition of J via Generators U , V and W
3.2. Consonant Orbits of J
3.3. The Structure of J
3.4. The Center of J is a Klein 4-Group
3.5. The Centralizer of J in GL(3, Z12 ) is a Product of Klein 4-Groups
3.6. The Centralizer of J in Aff(3, Z12 )
3.7. Recollection on Permutation Matrices
3.8. The Group hΣ3 , J i is Σ3 n J
3.9. Subgroups of Σ3 n J and their Triadic Orbits
1

2
2
7
9
10
11
14
14
14
15
20
20
23
24
25
26

2

FIORE AND NOLL

3.10. Computer Observations about Σ3 n J
4. Musical Examples and Music-Theoretical Consequences
4.1. Hexatonic Grail Motive as a Cycle
4.2. Recalcitrant Viola in Schoenberg, String Quartet in D minor, op. 7
4.3. Affine Morphisms of Generalized Interval Systems
4.4. Diatonic Falling Fifth Sequence as a Cycle
4.5. A Transformational Idea of Joseph Schillinger Revisited
4.6. Recovering P LR-T /I-Duality and a Special Case of Duality Theorem of
Fiore–Satyendra
5. A Linear Representation of Uniform Triadic Transformations
5.1. Root Position and Dualistic Root Position
5.2. Uniform Triadic Transformations of Abstract Triads
5.3. A Representation of Uniform Triadic Transformations
5.4. The Hook Group and its Structure
5.5. The Hook Group is our Linear Representation of the UTT Group
6. Conclusion
Acknowledgements
References

28
28
28
29
30
32
32
35
36
36
37
38
39
43
44
45
45

1. Introduction
1.1. Motivation for Transformational Approaches in Music Theory.
A driving motivation for the investigation of group actions on musical spaces is their
application to the analysis of temporally ordered sequences of musical objects.1 Chord
sequences, and in particular sequences of major and minor triads, constitute a central
instance of this work. The musical objects under consideration are thereby conceived
of as elements or “points” of an underlying space S and the sequences become discrete
trajectories (s0 , s1 , . . . , sn ) within this space.
Major and minor triads in a chromatic 12-tone system can be encoded in various
ways as the “points” of a 24-element set S. We briefly sketch encodings of consonant
triads, since the rest of paper relies on this. As is usual in this area, we identify pitch
classes with integers modulo 12 via the bijection C ↔ 0, C] ↔ 1, . . . , and finally
B ↔ 11. Consonant triads come in two types: major and minor. A major triad
{r, r + 4, r + 7} ⊆ Z12 is said to have root r, third r + 4, and fifth r + 7. The letter name
of this major triad is the letter corresponding to the root r under the aforementioned
bijection. Similarly, a minor triad {r, r + 3, r + 7} ⊆ Z12 has root r, third r + 3, and
fifth r + 7. The letter name of this minor triad is the letter corresponding to the root r.
Major triads are indicated by capital letters, minor triads are indicated by lowercase
letters. A voicing of a triad corresponds to a selected ordering encoded as a 3-tuple
(x, y, z) ∈ Z×3
12 . To summarize, one can encode a triad in three possible ways: as
an unordered subset {x, y, z} ⊆ Z12 , or as an ordered 3-tuple (x, y, z) ∈ Z×3
12 via a
pre-selected unique voicing, or as a pair (root name, mode).
1Another

motivation is classification in terms of orbits and stabilisers.

VOICING TRANSFORMATIONS AND UNIFORM TRIADIC TRANSFORMATIONS

3

Returning to our motivation begun in the first paragraph, the “transformational
analyst” judiciously selects group actions G×S → S and seeks to interpret trajectories
(s0 , s1 , . . . , sn ) within S via associated sequences (g1 , . . . , gn ) of transformations gi ∈ G
satisfying gi (si−1 ) = si , as pictured in the network below.
s0

g1

/

s1

g2

/

···

gn

/

sn

These networks are then themselves transformed and combined into larger networks
that elucidate paradigmatic musical motions for the piece under investigation. The
analyst thereby presupposes that the transformations in question are defined on the
entire space S.
This global domain presupposition is crucial for the interpretation and evaluation
of transformational analyses and needs to be understood in its radicality. In [24],
David Lewin (1993–2003) distinguished and compared two simply transitive actions on
the consonant triads: one including global reflections (inversions), the other including
contextual reflections (inversions).2 We illustrate the difference on consonant triads
as unordered subsets of Z12 for the moment. The interpretation of the e[-minor triad
{3, 6, 10} as a mirror image of the E[-major triad {3, 7, 10} (across the axis in the
middle of 3 and 10) has two natural extensions to the set of all consonant triads.
Either one can apply the global reflection operation I3+10 (x) = −x + 3 + 10 throughout
to all the consonant triads, or one may apply the contextual reflection operation parallel
P to all the consonant triads. In the definition of P , the contextual local mirror axis is
selected so as to exchange the root and the fifth of the input chord, so that the input
triad and the output triad overlap in the root and the fifth. The transformation P has
therefore been characterized as a contextual inversion. The precondition to “know”
the effect of a transformation on the entire space can be satisfied in both cases through
homogeneity assumptions about the underlying pitch class space. This allows, on the
one hand, for the definition of pitch class inversions and transpositions. On the other
hand, in the case of the contextual transformations, one could speak of an isotropy
principle, i.e. a uniformity assumption about the collection of the conextual mirror
axes. Two other such contextual inversions defined via common tone retention called
leading tone exchange L and relative R are recalled in Section 2.
For an example of transformational interpretations that illustrate the difference between global reflections, consider a hexatonic cycle of Cohn [7].
E[, e[, C[, b, G, g

(1)

This progression is in measures 586–618 of Schubert, Piano Trio No. 2 in E[ Major,
op. 100, 1st Movement, see the reduction by Cohn [9, page 215]. There are (at least)
two possible group-theoretic interpretations of the hexatonic cycle (1), one involving
the alternating application of neo-Riemannian P and L operations, the other involving
the componentwise global reflection operations I1 , I9 , and I5 , where In (x) := −x + n.
2For

the moment it may suffice to acknowledge the fact that Lewin just distinguished the two
actions. His mathematical insight, that these actions can even be understood as mutually dual actions
of a dihedral group on the 24 consonant triads, shall be recalled and appreciated in Section 2.

4

FIORE AND NOLL

The transformations P and L are described in more detail in Section 2.
E[ j

P

/

e[

L

/

C[

P

/

b

L

/

G

P

/

g

(2)

g

(3)

L

E[ j

I1

/

e[

I9

/

C[

I5

/

b

I1

/

G

I9

/

I5

Notice that each occurrence of P has a different reflection axis, as does each occurrence
of L. What unifies these P -occurrences is the alignment of the contextual reflection
axes perpendicularly to the fifth interval of the respective triads. Similarly, the Loccurrences have in common the perpendicular alignment of the reflection axes and
the minor thirds, see Figure 1 where the fifths are orange, the thirds are gray, and the
reflection axes are dotted.
The hexatonic cycle (1), with C[ enharmonically identified with B, has been reconsidered by Clampitt after Cohn in a hexatonic analysis [4] of a particular variation of
the Grail motive in Parsifal, Act 3, measures 1098–1100. The exact chord progression
in (1) and (2) is not in the Grail motive, rather the network is P LP followed by L,
followed by P LP . We realize this network via a single transformation in Section 4.1.
Some mathematical background for [4] was recently worked out in [2].
What is the music-analytical intention behind the transformational approach? Critics sometimes see a kind of useless bookkeeping in the activity of labelling chord progressions through transformations. In fact, if the chosen group action is simply transitive,
the analytical activity is suspiciously easygoing: there are as many musical objects as
there are transformations available, and for any ordered pair (s, s0 ) of objects there is
a unique transformation g sending s to s0 = g(s). The transformational interpretation of the trajectories is thus completely determined as soon as a simply transitive
group action is selected. To persuade the critics and oneself about the benefit of a
transformational analysis, the music-theoretically crucial condition that the effect of a
transformation must be “known” on the entire space must not be carelessly neglected
in the mere bookkeeping of labels. Furthermore there should be an economy of description involved. The more chord successions exemplify the same transformation,
the better.
For instance, let us reconsider the hexatonic cycle (1) in light of “economy of description” to motivate Julian Hook’s notion of uniform triadic transformation in [22].
Notice that description (2) is more economical than description (3) because (2) only
utilizes the two transformations P and L, while (3) utilizes the three transformations
I1 , I9 , and I5 . Alternating orbits under groups with two generators, such as the alternating P L-orbit in (2), have been coined flip-flop cycles by John Clough in [6]. Is it
possible to make an even more economical description of the hexatonic cycle with only
a single transformation? More precisely, is it possible to define a single transformation
which on major triads acts as P and on minor triads acts as L as in (2)? Hook answers affirmatively with the uniform triadic transformation h−, 0, 8i. The minus sign

VOICING TRANSFORMATIONS AND UNIFORM TRIADIC TRANSFORMATIONS

5

Figure 1. Two interpretations of the hextonic cycle E[ 7→ e[ 7→ C[ 7→
b 7→ G 7→ g 7→ E[ (1) as a network of global reflections I1 , I5 and I11
and (2) as a network of contextual operations P and L. The triangles
represent consonant triads. The six clock face diagrams depict the occurrences of the global reflections I1 , I5 and I11 , each of which occurs twice
in the cycle. The colored fifths (orange) and minor thirds (gray) are
always perpendicularly aligned to the respective reflection axis. These
two types of contextual relations between triadic intervals and reflection
axes characterize the transformations P and L, respectively.

indicates the transformation reverses mode, the 0 indicates that a major input is not
shifted before reversing mode, and the 8 indicates that a minor input is shifted by 8
before reversing mode. The flip-flop cycle (2) is thereby turned into an orbit of a cyclic

6

FIORE AND NOLL

transformation group.3 The group U of uniform triadic transformations with its 288
elements is much larger than the 24 element P LR-group, so there is a tradeoff between
the economy of description and the size of the presupposed transformation group. We
will recall uniform triadic transformations in Section 5 and argue that Hook’s group
U occupies a quite natural position within the theoretical perspective of the present
approach via a linear representation constructed from J and the permutation (1 3).
David Lewin [24] often positioned his analytical discourse in another 288-element
group, namely in the group generated by the union of the atonal T /I-group and the contextual P LR-group.4 Using these two competing kinds of transformations in tandem,
he typically provides instructive arguments in the spirit of an economy of description
principle within this chosen context.
So far, for consonant triads encoded as ordered 3-tuples, we have discussed two
kinds of reflection (inversion): the global reflection operations In , and the contextual
reflection operations P , L, and R. The present paper studies a third kind of reflection,
called voicing reflection. In a voicing reflection, the local axis of reflection is determined
by the tones in two pre-selected voices, for instance consider for the moment the voice
reflection W (x, y, z) := Ix+z (x, y, z) = (z, −y + x + z, x) determined by the bass and
soprano voices. Let us consider the similarities and differences between the global
reflection I1 , the contextual reflection P , and the voice reflection W . Recall that to
compute the parallel contextual reflection P on a consonant triad (x, y, z), we look
inside the chord to find the two tones p and q that span a perfect fifth, and then
compute5 P (x, y, z) := Ip+q (x, y, z).
On root position E[-major (3, 7, 10), all three I1 , P , and W coincide to give e[-minor
with voicing (10, 6, 3). On E[-major in any position, we see that I1 and P will coincide,
but that they will differ from W as soon as the first and last positions do not contain
the pitch classes spanning the perfect fifth. For instance
P (3, 10, 7) = I1 (3, 10, 7) = (10, 3, 6) = e[-minor
W (3, 10, 7) = I3+7 (3, 10, 7) = (7, 0, 3) = c-minor.
Notice that the voicing does not effect the underlying unordered set of the P output,
but the voicing greatly effects the underlying output set of W . On inputs where the
perfect fifth does not sum to 1, the transformations I1 and P differ. For instance,
I1 (4, 8, 11) = (9, 5, 2)
P (4, 8, 11) = I4+11 (4, 8, 11) = (11, 7, 4).
The transformations W and P agree only when the first and last positions contain the
two pitch classes spanning a perfect fifth.
3John

Clough remarks “There is a tension between these two readings of a uniform flip-flop circle,
one as a chain of paired involutions and the other as a chain of repeated one-way transformations.
Which approach is preferable? The answer, I think, depends on one’s objectives, and one’s perceptions
in a particular musical context.” [6, page 36]
4The T /I-group and P LR-group commute with one another, are both of order 24, and have only
two elements in common: the identity and Q6 = T6 . Consequently, the T /I-group and the P LR-group
together generate a group of order (24 × 24)/2 = 288.
5Recall that I
p+q : Z12 → Z12 is the unique global reflection that exchanges p and q.

VOICING TRANSFORMATIONS AND UNIFORM TRIADIC TRANSFORMATIONS

7

See Figure 2 for a comparison of the graphs of I1 , P , and W on all 144 ordered
consonant triads.

(a) Global reflection I1 .

(b) Contextual reflection P .

(c) Voicing reflection W .

Figure 2. Comparison of global reflection I1 , contextual reflection P ,
and voicing reflection W . The cubes represent the complete voicing space
Z×3
12 . The 144 dots represent the voicings all consonant triads. Each black
dot represents (a voicing of) a major triad, each gray dot represents (a
voicing of) a minor triad. The red dot is E[ in root position (3, 7, 10),
and the blue dot is e[-minor in dualistic root position voicing (10, 6, 3).
1.2. Motivational Problembeispiel.
We motivate the mathematical questions and answers of the present paper with a
new viewpoint on Straus’ interpretation of Webern, Concerto for Nine Instruments,

8

FIORE AND NOLL

op. 24, Second Movement [28, pages 57–61]. Using the usual encoding of pitch classes
as integers modulo 12 and 3-pitch sequences as 3-tuples of such, we horizontally list in
Figure 3 the enchained sequences of measures 15–21 and 22–27 in the order they occur
in the score. Consecutive interlocking 3-note sequences are connected by the RICH

15–21

RICH

RICH

/ (4, 5, 1)

(8, 4, 5)
(13)V
x−2

x−2

RICH

(13)V
x−2

RICH

/ (1, 2, 10)

/ (5, 1, 2)
(13)V

x−2

RICH

/ (2, 10, 11)
(13)V
x−2

/ (10, 11, 7)
(13)V
x−2

(13)V
(13)V
(13)V
(13)V
(13)V
22–27 





/ (2, 3, 11)
/ (3, 11, 0)
/ (11, 0, 8)
/ (0, 8, 9)
/ (8, 9, 5)
(6, 2, 3)
RICH

RICH

RICH

RICH

RICH

Figure 3. Interpretation of Webern, Concerto for Nine Instruments,
op. 24, Second Movement, measures 15–21 and 22–27. Each 3-note
sequence is a permutation of some transposition/inversion of {0, 1, 4}.
The rows are connected by retrograde inversion enchaining, abbreviated
RICH. The pattern terminates after 6 sequences, but could continue to
8 sequences to traverse a complete cycle that exhausts the octatonic
{1, 2, 4, 5, 7, 8, 10, 11} by Corollarly 6.2 of [17].
transformation, which is an acronym for retrograde inversion enchaining introduced by
Lewin in [24], and first described in [23]. The RICH transformation assigns to a pitch
class sequence the reversed reflection whose first two numbers are the last two numbers
of the input (compare Figure 3).
Straus implements the RICH transformation of Figure 3 with two transformations
he calls “L” and “P ” that do not consider the ordering. The definitions of “L” and “P ”
are complex, as the 3-note sequences of Figure 3 are not consonant, and one must make
some arbitrary conventions and refer to prime forms to make a definition analogous to
neo-Riemannian L and P . However, the analogy with neo-Riemannian L and P ends
quickly, because the standard neo-Riemannian P L-cycle has an underlying hexatonic
set covered by 6 cycle chords, whereas the two (incomplete) cycles of Figure 3 have
underlying octatonic sets, each covered by 8 cycle chords. Simply replacing “L” by
“R” to instead make an analogy with the neo-Riemannian octatonic P R-cycles does
not solve the problem: no matter which labelling convention one chooses, a reordering
of the 3-note sequences will lead to a clash with standard neo-Riemannian notations,
as we can see in Table 1.
In this paper we instead propose to use voice transformations U , V , and W as defined
in formulas (4), (5), (6) of Section 3.1, in combination with permutations such as (13).
Our usage of (13)V for RICH in Figure 3 respects ordering, is immediately defined
in terms of a straightforward formula without consonant connotations, and offers an

VOICING TRANSFORMATIONS AND UNIFORM TRIADIC TRANSFORMATIONS

9

economy of description with one transformation instead of two. Moreover, we know
that (13)V commutes with affine transformations such as x − 2 by Proposition 3.6.1.
We have arrived at the following questions, which we solve in the present paper.
• What is the structure of the group J generated by the voicing reflections U ,
V , W globally defined on Z×3
12 by formulas (4), (5), (6) as in Section 3.1?
• Which affine endomorphisms of Z×3
12 commute with U , V , and W and enable
vertical morphisms such as in Figure 3, or in Figure 10 of [17]?
• What is the structure of the subgroup of GL(3, Z12 ) generated by J and the
group Σ3 of permutations on three letters?
• How can we describe flip-flop cycles more economically with a single transformation, as in the description of the P L-network in diagram (2) via the sole
transformation h−, 0, 8i, or the description of the rows of Figure 3 via the sole
transformation (13)V ? Moreover, in doing this replacement, under which conditions can we retain an affine map as a morphism, as with x − 2 in Figure 3?
• How can we recover known duality theorems?
• How can we characterize a certain linear representation H of Hook’s uniform
triadic transformations as a consequence of the Structure Theorem 3.3.2?
1.3. Outline of Contents.
To keep the article self-contained, and to motivate the algebraic structures under
investigation, we begin in Section 2 with a rapid review of the neo-Riemannian transformations P , L, R, their dihedral group, and their centralizer. We clarify the difference
between two possible extensions of P , L, R: as contextual inversions via local permutation conjugation like in [16, 17] and as discussed above, or as voicing reflections W ,
V , and U , which is the main subject of the present paper. In Section 2 we also foreshadow a normal form result and the connection to uniform triadic transformations by
comparing RL to U V and writing it as a uniform triadic transformation.
Section 3 is an extensive study of the structure of the group J generated by the
voicing reflections U , V , and W . We first explain how J restricts to six different P LRgroups on the various consonant orbits, and how each single voicing reflection restricts
twice to three different P , L, R transformations. Our first main result is Structure
Theorem 3.3.2, which specifies relations between the generators of J , gives a normal
form for elements of J together with Schritt-Wechsel type formulae, and identifies J
as a semi-direct product Z2 n (Z12 × Z12 ). Matrix representations for the normal form
are in Remark 3.3.5. Then we go on to find the center of J and the centralizers of J
in GL(3, Z12 ), M (3, Z12 ), Aff(3, Z12 ), and Aff× (3, Z12 ) in Propositions 3.4.1, 3.5.1, and
3.6.1. In Sections 3.8 and 3.9 we bring permutations into the picture: Proposition 3.8.2
identifies the subgroup of GL(3, Z12 ) generated by permutations Σ3 and J as the semidirect product Σ3 n J , while Section 3.9 distinguishes various relevant subgroups of
Σ3 n J and important orbits. Section 3.10 presents the traces of normal form elements
of Σ3 n J , as determined by a computer.
Section 4 presents a variety of musical examples and consequences of the foregoing
results on J and Σ3 . Section 4.1 finds four elements of Σ3 n J that realize the flip-flop
cycle P LP , L from Wagner’s Grail motive in Parsifal. In Section 4.2 we revisit our

10

FIORE AND NOLL

earlier work with Ramon Satyendra [17] on Schoenberg, String Quartet in D minor,
op. 7 and include a viola passage via (13)L, map the result on a P R-cycle and a
P L-cycle, and offer a more economical description in terms of (13)V . In Section 4.3
we continue with our work on Schoenberg to illustrate how Proposition 3.6.1 provides
morphisms of generalized interval systems. In Section 4.4 we remark that the present
paper is valid not only to Z12 but for any Zn . In particular Theorem 3.3.2 applies to Z7 ,
and we realize the diatonic falling fifths sequence via a linear transformation. Another
interesting mod 7 example is in Section 4.5, where we further specify Schillinger’s
M2 map between Rimsky-Korsakov’s Hymn to the Sun and Youmann’s Without a
Song. Section 4.6 applies the commutativity Proposition 3.6.1 to recover the classical
Lewinian duality of P LR and T /I as well as the special cases of pitch-class segment
duality [18] needed in the analysis [17] of Schoenberg, String Quartet in D minor, op.
7.
In Section 5 we define and characterize a representation ρ : U → GL(3, Z12 ) of
Hook’s uniform triadic transformations group U. Essentially, for a uniform triadic
transformation u, the linear map ρ(u) is the unique linear extension of u from root
position consonant triads to all 3-tuples. Most of the results of Section 5 rely on the
J Structure Theorem 3.3.2. We characterize the image of the embedding ρ as the
subgroup H of Σ3 n J which preserves root position consonant triads, and investigate
the structure of H in terms of our results about J . InF Proposition 5.4.1 we find a
normal form associated to the decomposition H = J +
(13)J − where J + and J −
are the mode-preserving respectively mode-reversing transformations in J . The image
H is generated by (13)U and (13)W as in Proposition 5.4.2, which leads to a second
normal form for H in Proposition 5.4.5. In Theorem 5.4.6 we prove that H is the
semi-direct product h(13)W i n J + . In Theorem 5.5.1 and Corollary 5.5.2 we select a
new basis for J + in H to prove that H is a wreath product Σ2 * Z12 and to express
the representation ρ more directly in terms of uniform triadic transformation notation
hs, m, ni. By this point it is clear that ρ is an isomorphism onto its image.
In the Conclusion Section 6 we revisit the Problembeispiel of Section 1.2 and recall the
more economical description in terms of the element RICH=(13)V in H, also utilizing
the centralizer results of Proposition 3.6.1.
1.4. Related Work of Rachel Hall.
Rachel Hall’s contribution [20] made initial advances in the study of voicing transformations. Her work is motivated6 by [18]. We acknowledge several aspects of her
considerations as a groundwork for our own investigations. For reasons presented above
we do not use Hall’s proposed term linear contextual transformations. Unlike our investigations of transformations on the discrete space Z×3
12 , Rachel Hall [20] studies certain
n
continuous linear transformations on R and makes a connection to the work of Callender, Quinn, Tymoczko [1, 29]. Concerning the mathematical findings, none of the
6In

Section 5.3 of [20], Hall’s mathematicizations of P , L, R on consonant triads in dualistic root
position are inspired by the equivalent descriptions of [14] and [18].

VOICING TRANSFORMATIONS AND UNIFORM TRIADIC TRANSFORMATIONS

11

theorems in our present paper are contained in [20]. Hall already noticed the representability of Hook’s UTT-group in terms of voicing transformations in her Section 5.5.
We elaborate this finding in several regards.
In [20, Definition 3.1], Hall defines the linear contextual group C n to be the group of
invertible linear maps Rn → Rn that commute with transposition and inversion, and
induce well-defined linear transformations on the quotient Rn /(12Z)n . On page 112,
she characterizes this group as the discrete group of invertible matrices with integer
entries which fix the vector 1 = (1, 1, . . . , 1) of all 1’s.
C n = {M ∈ GL(n, Z) | M 1 = 1}
With respect to the basis
1, (−1, 1, 0, . . . , 0), (−1, 0, 1, 0, . . . , 0), . . . , (−1, 0, . . . , 0, 1),
the elements of C n have a very nice form indicated in (3.2) on page 113 of her paper, which then leads to an isomorphism of C n with the group of affine linear maps
Zn−1 → Zn−1 , see [20, Theorem 3.1]. She proposes an encoding of C n as elements
ha, Ai with a ∈ Zn−1 and A ∈ GL(n − 1, Z). In Section 5, she discusses how familiar transformations can be encoded in this way, such as contextual transpositions,
retrograde, and uniform triadic transformations.
In Table 1 on page 117, Hall describes various subgroups of C n and their semi-direct
product structures.
2. Recollection of the neo-Riemannian P LR-Group
The neo-Riemannian P LR-group is the algebraic point of departure for the present
investigation. The original and authoritative source is David Lewin’s pioneering book
[24]. A recent exposition of the neo-Riemannian P LR-group and its duality with the
T /I-group can be found in [10]. See also Fiore–Satyendra [18] for an extension to
n-tuples satisfying a tritone condition. Hook also treats the duality in [22].
The neo-Riemannian operations P , L, and R are involutions on the set of 24 major
and minor chords. The bijection P assigns the parallel major or minor chord. The
bijection L is the leading tone exchange, which lowers the root of a major chord by
a half step, and raises the fifth of a minor by half step. The bijection R assigns the
relative major or minor chord. For example, we have
P (C-major) = c-minor

L(C-major) = e-minor

R(C-major) = a-minor.

Musical motivation for these three transformations of consonant triads is the boundary
conditions that input/output chords overlap in two pitches (or pitch classes) while the
third pitch (or pitch class) moves by a minimal amount.
How can major/minor chords and these operations be mathematized so that no
music-theoretical considerations are needed to compute them? We apply the methods
of [18]. Consider the set S of certain 3-tuples with entries in Z12 , namely the set S
consists of the 12 major chords in root position
(r, r + 4, r + 7)

r ∈ Z12

12

FIORE AND NOLL

and the 12 minor chords in reversed root position
(r + 7, r + 3, r)

r ∈ Z12 .

The bijections P, L, R : S → S, called parallel, leading tone exchange, and relative are
formulaically defined on the set S by
P (x, y, z) = (z, −y + x + z, x)

(4)

L(x, y, z) = (−x + y + z, z, y)
(5)
R(x, y, z) = (y, x, −z + x + y).
(6)
The subgroup of Sym(S) generated by the involutions P , L, and R is called the neoRiemannian P LR-group or simply P LR-group. It acts simply transitively on S, it is
dihedral of order 24, and is generated by L and R without P , in fact P = R(LR)3 .
The composite RL has order 12, it adds 7 to each major triad and subtracts 7 from
each minor triad, and preserves mode. As a uniform triadic transformation on abstract
triads, RL would be notated as h+, 7, −7i, see Section 5.2. We also see this uniform
behavior when we consider RL as the restriction of U V in Section 3.1 to S and consider
the formula U V (x, y, z) = (x, y, z) + (z − x) from Theorem 3.3.2 (v). Namely, on a
major triad in S, we have (z − x) = 7 but on a minor triad in S we have (z − x) = −7.
This highlights the importance of using ordered tuples in the algebraic formulation of
P , L, and R.
Similarly, LR has order 12, as it is the inverse of RL. The composites P L and LP
have order 3, while P R and RP have order 4.
The involutions P , L, and R on S are contextual inversions in that they reflect
chords across an axis that is determined by the input chord, rather than across a
preselected axis for all chords. As a consequence, P , L, and R, so also the entire P LRgroup, commute with the transposition and inversion operations Z12 → Z12 acting
componentwise on 3-tuples.
Tn (x) := x + n

In (x) = −x + n

x, n ∈ Z12

These 24 transposition and inversion operations form the so-called T /I-group. The
slash in the name T /I-group does not indicate any kind of quotient. Lewinian duality
is the theorem that the P LR-group and the the T /I-group centralize each other in
Sym(S) and both act simply transitively on S.
The relationship between P , L, R on S and ordinary inversions In is
P (x, y, z) = Ix+z (x, y, z)

(7)

L(x, y, z) = Iy+z (x, y, z)
(8)
R(x, y, z) = Ix+y (x, y, z).
(9)
In the left side of Figure 4 we illustrated formulas (7) and (8) by revisiting the hexatonic
cycle discussed in Section 1.1, but now using the ordered triads in S.
The present paper studies the naive extension of P , L, and R defined on S to linear
functions W , V , and U defined on all of Z×3
12 . The formulas (4), (5), (6), or equivalently
×3
(7), (8), (9), work equally well to define W, V, U : Z×3
12 → Z12 in Section 3.1. We call
W , V , and U naive extensions because they are not proper extensions to contextually
defined inversions. Namely, W (0, 4, 7) = (7, 3, 0) but W (4, 7, 0) = (0, 9, 4), that is W

VOICING TRANSFORMATIONS AND UNIFORM TRIADIC TRANSFORMATIONS



L




7
G =  11 
2

I1


6
b= 2 
11

(13)L

P
I5




11
C[ =  3 
6

P I9

I9 L




2
g =  10 
7
L



I5

 I1
7
E[ =  10 
3



10
e[ =  6 
3
P






11
G= 2 
7
(13)P (13)I9




2
g= 7 
10

(13)I1


6
b =  11 
2



0
(13)V =  0
−1

(13)I5

(13)L

1
0
1

13

(13)P
(13)I5


0
1 
1




3
C[ =  6 
11
I(13)9 (13)L




10
e[ =  3 
6

(13)I1
7
(13)P
E[ =  10 
3


Figure 4. Left network: A revisitation of the hexatonic cycle (1) with
chords in dualistic root position. The two interpretations (2) and (3) are
labelled and illustrate the relationships (7) and (8). Right network: The
global reflections I1 , I5 , I11 and the contextual reflections P, L act analogously on different voicings. But in contrast to the dualistic root position
triads, these voicings form a cyclic orbit under the voicing transformation
(13)V , that is, a RICH-cycle in the sense of Section 1.2.

acts on root position C-major as P , but W acts on “closed first inversion” C-major
as R, not exactly consistent behavior from a neo-Riemannian point of view. In anticipation of Section 3, the right side of Figure 4 illustrates the benefit of this point of
view. The composition of the voicing transformation V with the voice permutation
(13) allows the re-interpretation of a flip-flop cycle in terms of a purely cyclic orbit,
and thereby it realizes a proposal by John Clough [6] through a voicing transformation.
With respect to contextual point of view, we proposed in [17] to extend P to all permutations of major and minor chords via local conjugation. For instance, on (1 2 3)S
we define P to be (1 2 3)P (1 2 3)−1 . We prefer to call such extensions of P , L, and
R via local conjugation contextual reflections or contextual inversions, and to call W ,
V , and U voicing reflections. The extension of P , L, and R to contextual reflections
via local conjugation is the same as the following. Consider a consonant triad (x, y, z)
in any order. To compute P (x, y, z), we look inside the chord to find the two tones
p and q that span a perfect fifth, and then compute P (x, y, z) := Ip+q (x, y, z). To
compute L(x, y, z), we look inside the chord to find the two tones p and q that span
a minor third, and then compute L(x, y, z) := Ip+q (x, y, z). To compute R(x, y, z), we
look inside the chord to find the two tones p and q that span a major third, and then
compute R(x, y, z) := Ip+q (x, y, z).

14

FIORE AND NOLL

The geometry behind the P LR-group, in the form of the Tonnetz, its dual, and
related structures, has been studied and exposed in many places, for instance Catanzaro
[3], Clough [5], Cohn [8], Douthett–Steinbach [11], Fiore–Crans–Satyendra [10], Gollin
[19], and Waller [30]. Extensions of the commutativity between P LR and T /I have
been studied by Peck [26].
3. The Group J and its Extension Σ3 n J
The review of the P LR-group in Section 2 motivates our definition of the group J
as generated by the voicing reflections U , V , and W .
3.1. Definition of J via Generators U , V and W .

We extend the formulas (4), (5), (6) on major and minor triads to all of Z×3
12 to define
linear automorphisms U , V , and W , each having the form of switching two coordinates,
and adding their sum to the inverse of the third. In other words, U , V , and W are
voicing reflections, where the axis of reflection is determined by the input 3-tuple.
U (x, y, z) := J 1,2 (x, y, z) := Ix+y (x, y, z) = (y, x, −z + x + y)
V (x, y, z) := J 2,3 (x, y, z) := Iy+z (x, y, z) = (−x + y + z, z, y)
W (x, y, z) := J 3,1 (x, y, z) := Iz+x (x, y, z) = (z, −y + x + z, x)
We identify U , V , and W with their matrix representations as elements of GL(3, Z12 ).






0 1 0
−1 1 1
0 0 1
U =  1 0 0  , V =  0 0 1  , W =  1 −1 1 
1 1 −1
0 1 0
1 0 0

Let J be the subgroup of the general linear group GL(3, Z12 ) that is generated by U ,
V , and W . Notice that the determinant of each of U , V , and W is 1, so that J is
actually a subgroup of the special linear group SL(3, Z12 ).
3.2. Consonant Orbits of J .

As a first step in understanding the group J , we may consider its action on the
144 arbitrarily ordered consonant triads in Z×3
12 , find their orbits, and determine the
restriction of J to the individual orbits.
Consider the six T /I-orbits of the six reorderings of the C-major chord (0, 4, 7).
Each of the three generators U , V , W of J preserves these six T /I-orbits because U ,
V , W act locally as P , L, or R (exactly which of U , V , W restricts to P , L, or R
depends on to which of the six T /I-orbits we are restricting). Each generator of J
restricts twice to P , L, and R operations on the six T /I-orbits, as Table 1 indicates.
Thus, the restriction of J to the T /I-orbit of any reordering of (0, 4, 7) is a copy
of the P LR-group and acts simply transitively, so we see that the consonant orbits
of J are precisely the T /I-orbits of the six permutations of (0, 4, 7). However, the
restriction of J to any of its consonant orbits has a nontrivial kernel, for instance
(W V )3 is (P L)3 on the orbit of (0, 4, 7), so the identity there, although (W V )3 is itself

VOICING TRANSFORMATIONS AND UNIFORM TRIADIC TRANSFORMATIONS

15

Restriction of J -Generators to Six T /I-Orbits,
Indicated by C-Major Representatives
closed
closed
closed
open
open
open
root
pos
first
inv
second
inv
root
pos
first
inv
second
inv
   
 
   
 
0
4
7
0
4
7
 4   7 
 0 
 7   0 
 4 
7
0
4
4
7
0
U
R
L
P
P
R
L
V
L
P
R
L
P
R
W
P
R
L
R
L
P
Table 1
a nontrivial element of J (for instance, on the orbit of (4, 7, 0) it is (RP )3 which is not
the identity). The kernel of the restriction r : J → Sym(S) has 12 elements, since
|ker r| =

288
|J |
=
= 12.
|im r|
24

The restriction of J to the six T /I-orbits of the permutations of (0, 4, 7) is a group
homomorphism comp : J → (P LR-group)×6 which on generators is given by the bottom three rows of Table 1.
3.3. The Structure of J .
Convention 3.3.1. In the interest of readability, to indicate the addition of a constant
c ∈ Z12 to each component of (x, y, z) ∈ Z×3
12 , we write
(x, y, z) + c := (x + c, y + c, z + c).
Theorem 3.3.2 (Structure of the Group J ). Consider the subgroup J of SL(3, Z12 )
generated by U , V , and W as in Section 3.1.
(i) The generators U , V , and W satisfy the following relations.
(a) Each of U , V , and W has order 2.
(b) Both composites U V and U W have order 12.
(c) The composite U V W has order 2.
(d) The composites U V and U W commute.
(e) The U -conjugation of (U V )m and (U W )n is inversion.
U −1 (U V )m U = (U V )−m

U −1 (U W )n U = (U W )−n

(ii) Every element of J can be written uniquely in the form
U k (U V )m (U W )n

where k = 0, 1 and m, n = 0, 1, . . . , 11.
(iii) The group J has order 288.

(10)

16

FIORE AND NOLL

(iv) The group J is the internal semi-direct product hU i n hU V, U W i, so is isomorphic to the semi-direct product Z2 n (Z12 × Z12 ) where Z2 acts on Z12 × Z12 via
additive inversion.
(v) The elements of J in the normal form of (10) act as follows.

(U V )m (U W )n (x, y, z) = x, y, z + m(z − x) + n(z − y)
U (U V )m (U W )n (x, y, z) = U (x, y, z) + m(z − x) + n(z − y)
(vi) For completeness, we also observe

(V W )j (x, y, z) = x, y, z + j(x − y)
and V W has order 12.

Proof.
(i) (a) The computations U 2 = V 2 = W 2 = Id are straightforward.
(b) To see that U V has order 12, notice that U V (x, y, z) is the addition of
(z − x) to each component,

U V (x, y, z) = x, y, z + (z − x)
(11)
(here we use Convention 3.3.1). Thus, an application of U V to the outcome
of (11) will similarly add the difference of the third and first components
of (11), which is also the addition of z − x,


z + (z − x) − (x + (z − x) = z − x,
so that (U V )2 (x, y, z) is the addition of (z − x) twice to each component.
By induction, we have

(U V )m (x, y, z) = x, y, z + m(z − x),
(12)
so that (U V )12 = Id. The order of U V is not smaller than 12, for instance
(U V )m (1, 3, 2) is not (1, 3, 2) for m = 1, . . . , 11 by (12), so U V now has
order 12.

To see that U W also has order 12, we similarly observe that U W (x, y, z)
is the addition of (z − y) to each component

U W (x, y, z) = x, y, z + (z − y),
(13)
and


(U W )n (x, y, z) = x, y, z + n(z − y),
(14)
and then argue as for U V .
(c) A straightforward computation shows U V W (x, y, z) = (x, −y+2x, −z+2x)
and (U V W )2 = Id.
(d) From equations (11) and (13) we see that both
(U V )(U W )(x, y, z)

and

(U W )(U V )(x, y, z)

are the addition of (z − x) + (z − y) to each component of (x, y, z).
(e) Both U and V have order 2, so U −1 (U V )U = V U = (U V )−1 . Similarly,
U −1 (U W )U = W U = (U W )−1 .

VOICING TRANSFORMATIONS AND UNIFORM TRIADIC TRANSFORMATIONS

17

(ii) Since U , V , and W each have order 2, any element of hU, V, W i is a word in
the letters U , V , and W in which no two consecutive letters are the same.
We first observe that length 1 words, i.e. the generators, can be put into the
form (10). Clearly U can, and we use V = U (U V ) and W = U (U W ) for the
other two generators.
We next describe how to transform a word of length 2 or more into the form
(10) by converting two letters at a time (starting on the far right) into products
of powers of U V and U W . Consider a word in U , V , and W in which no two
consecutive letters are the same and in which there are 2 or more letters. If the
2 far right letters are U V or U W , then we leave them as is. If they are V U or
W U then we replace them by (U V )11 or (U W )11 respectively. If they are V W ,
then we rewrite V W as
V W = (V U )(U W ) = (U V )11 (U W ).
Similarly, if they are W V , we rewrite as (U W )11 (U V ). Thus, in all of the
possible cases, we have rewritten the two far right letters of the word as a
product of powers of U V and U W .
We similarly treat the third and fourth letters from the right, and so on,
moving pairwise from right to left, until either no letters are left, or only one
letter remains. If the remaining far left letter is U , then we are done. If the
remaining far left letter is V , then we rewrite it as U (U V ). If the remaining
far left letter is W , then we rewrite it as U (U W ).
We have now achieved U k followed by products of powers of U V and U W .
Finally we use the facts that U V and U W commute and have order 12 to move
the U V ’s left towards U k and the U W ’s right, and bring the resulting word
into the form (10).
Next is uniqueness of the decomposition (10). We claim hU V i ∩ hU W i =
{Id}. From equation (12) we know (U V )m (x, y, z) is the addition of m(z − x)
in each component, and from (14) we know (U W )n (x, y, z) is the addition of
n(z − y) in each component. To distinguish (U V )m and (U W )m we evaluate on
(1, 2, 3). To distinguish (U V )m and (U W )n for m 6= n with 0 ≤ m, n ≤ 11, we
evaluate on (1, 1, 2). Hence, hU V i ∩ hU W i = {Id}, and as a consequence of the
commutativity of U V and U W , we see hU V, U W i is an internal direct product
of hU V i and hU W i, and isomorphic to Z12 × Z12 .
We also claim U ∈
/ hU V, U W i. From the relations we already know, the only
elements of order 2 in hU V, U W i are (U V )6 , (U W )6 , and (U V )6 (U W )6 . We
can distinguish all these from U on (0, 0, 1) using (12), (14), and the proof of
(i)(d).
U (0, 0, 1) = (0, 0, −1)

(U V )6 (0, 0, 1) = (6, 6, 7)

(U W )6 (0, 0, 1) = (6, 6, 7)

(U V )6 (U W )6 (0, 0, 1) = (0, 0, 1)
For the uniqueness, suppose U k (U V )m (U W )n = U p (U V )q (U W )r for some
k, p equal to 0 or 1 and some m, n, q, r equal to 0, . . . , or 11. Then U k−p =

18

FIORE AND NOLL

(U V )q−m (U W )r−n ∈ hU V, U W i and

U k−p = Id = (U V )q−m (U W )r−n ,

(iii)
(iv)

(v)
(vi)

so that k = p, m = q, and n = r.
Immediately follows from (ii).
The 144-element group hU V, U W i has index 2 in J , so is normal. From
the unique decomposition (10) we have hU i ∩ hU V, U W i = {Id} and J =
hU ihU V, U W i as sets. Finally, J = hU i n hU V, U W i as groups. The conjugation action of U on hU V, U W i is inversion by ((i)(e)).
The first equation follows from (12) and (14). The second equation is an application of U to the first equation, using linearity and U (c, c, c) = (c, c, c).
From the commutativity of U V and U W and (v), we have
(V W )j (x, y, z) = (V U U W )j (x, y, z)
= (U V )−j (U W )j (x, y, z)

= x, y, z − j(z − x) + j(z − y)

= x, y, z + j(x − z).

Corollary 3.3.3. The group J has a presentation of the form
ha, b, c | a2 , b2 , c2 , (abc)2 , (ab)12 , (ac)12 i.


(15)

Proof. By Theorem 3.3.2 (i)(a), (i)(b), (i)(c), the generators U , V , and W of J satisfy
the relations indicated in (15). Also, J has order 288.
Thus, since any group presented by (15) surjects onto any other group satisfying
the indicated relations (and perhaps more), it suffices to show that any group with
presentation (15) can have at most 288 elements. We do this by showing that the
group (15) also provides generators that satisfy the relations of the 288-element group
Z2 n (Z12 × Z12 ) where Z2 acts by additive inversion.7 We suppose (15) and claim that
a, ab, and ac satisfy the relations of Z2 n (Z12 × Z12 ). We already have a2 = 1, and
(ab)12 = 1 = (ac)12 . The commutativity of ab and ac follows from
1 = (abc)(abc) = (ab)(ca)(ba)(ac) = (ab)(ac)−1 (ab)−1 (ac)
(ab)−1 (ac)−1 = (ac)−1 (ab)−1
(ac)(ab) = (ab)(ac).
The semi-direct product action relation also follows from the assumption that a, b, and
c have order 2.
a−1 (ab)a = ba = (ab)−1
a−1 (ac)a = ca = (ac)−1
Thus we have surjective group homomorphisms
Z2 n (Z12 × Z12 )
7Recall

/

(15)

/

J

that a presentation of semi-direct product is given in terms of presentations of the constituent groups and the action, so we know the presentation of Z2 n (Z12 × Z12 ).

VOICING TRANSFORMATIONS AND UNIFORM TRIADIC TRANSFORMATIONS

19

where the first and last group have order 288. Therefore they must be isomorphisms.

Remark 3.3.4 (J  U  hP LR, T /Ii). Although both J and U have order 288 and
are semi-direct products of Z2 and Z12 × Z12 , they are not isomorphic, since the Z2
action is different. In J , the Z2 action is additive inversion on Z12 × Z12 , while in U,
the Z2 action exchanges the two copies of Z12 . The group generated by the union of
the T /I-group and the P LR-group also has order 288, but is isomorphic to neither J
nor U.
Remark 3.3.5 (Matrix Representation of Normal Form). Evaluation of Theorem 3.3.2 (v)
on the standard basis yields the columns of the matrix representations of the elements
of J in the normal form of Theorem 3.3.2 (ii).

 1 − m −n

 −m 1 − n
m+n
m+n
m
n
m
n
m+n
−m
1−n
m+n
(U V ) (U W ) =
, U (U V ) (U W ) = 1 − m −n
−m

−n

1+m+n

1−m

1−n

−1 + m + n

Remark 3.3.6 (Index of J in GL(3, Z12 )). The size of GL(3, Z12 ) is
|GL(3, Z12 )| = |GL(3, Z3 )| · |GL(3, Z4 )|.

The first factor has order

|GL(3, Z3 )| = (33 − 1)(33 − 3)(33 − 32 ) = 25 · 33 · 13 = 11, 232.

For the second factor, we use Theorem 1 of Hong–You [21] and take p = 2, α = 2,
β = 1, and n = 3 to obtain

 

1
1
n2 α
|GL(3, Z4 )| = p
1 − β · · · 1 − nβ
p
p




1
1
1
32 ·2
1− 2
=2
1− 3
1−
2
2
2
= 86, 016.
Consequently, the 288-element group J has index
11, 232 · 86, 016
3, 354, 624 =
288
in GL(3, Z12 ).
Remark 3.3.7 (Index of J in SL(3, Z12 )). In general, the orbits of SL(m, Zn ) acting
naturally on the Cartesian product Z×m
were determined by Novotný–Hrivnák in [25],
n
and the order of SL(m, Zn ) was determined by Hong–You in [21], see also [13]. Using
the formula of Hong–You, recalled in equation (2.3) of [25], the order of the present
group SL(3, Z12 ) is





1
1
1
1
3 7 8 26
8
8
241, 532, 928 = 12 × × × ×
= 12 × 1 − 2
1− 3
1− 2
1− 3
4 8 9 27
2
2
3
3
Here we have taken r = 2 and p1 = 2, p2 = 3, and 12 = 22 × 31 in equation (2.3) of
[25]. Consequently, the 288-element group J has index 838, 656 in SL(3, Z12 ).

20

FIORE AND NOLL

3.4. The Center of J is a Klein 4-Group.
We can now use Structure Theorem 3.3.2 to determine the center of J .
Proposition 3.4.1. The center of J is the Klein 4-group

Id, (U V )6 , (U W )6 , (U V )6 (U W )6 .

Proof. Let A ∈ J be in the abelian subgroup hU V, U W i ∼
= Z12 × Z12 . Then A is
in the center of J if and only if A commutes with U (recall the normal form in
Theorem 3.3.2 (ii)). But A commutes with U if and only if
A = U −1 AU = A−1 ,
where the last equality follows from Theorem 3.3.2 (i)(e). Hence A must have order 1
or 2 to be in the center. The only elements of order 1 or 2 in hU V, U W i are Id, (U V )6 ,
(U W )6 , and (U V )6 (U W )6 .
Let A ∈ J be in the abelian subgroup hU V, U W i (not necessarily in the center), and
consider U A. We show that U A cannot be in the center by contradiction. Suppose
U A commutes with U V . From Theorem 3.3.2 (i)(e) again we have
U V = (U A)(U V )(U A)−1 = U (A(U V )A−1 )U −1 = U (U V )U −1 = U −1 (U V )U = (U V )−1 .
But U V = (U V )−1 is impossible, as U V has order 12. Hence U A does not commute
with U V , and U A cannot be in the center.
We have now considered all elements of J because of the normal form in Theorem 3.3.2 (ii).

3.5. The Centralizer of J in GL(3, Z12 ) is a Product of Klein 4-Groups.
In Proposition 3.4.1 we found the center of J to be a Klein 4-group. Other elements
of GL(3, Z12 ) that commute with J are of course scalar multiplication with the units
1, 5, 7, 11 of Z12 , that is, the four diagonal matrices with a single unit in all diagonal
entries commute with J . These four matrices also form a Klein 4-group, as 5, 7, and
11 all have multiplicative order 2. The center of J and these four matrices generate an
internal direct product of two Klein 4-groups that commutes with J . We claim that
the centralizer of J in GL(3, Z12 ) consists of precisely these 16 matrices, and no more.
Further, we determine all not-necessarily-invertible matrices in M (3, Z12 ) that commute with J .
Proposition 3.5.1. The group centralizer of J in GL(3, Z12 ) consists of the following
16 matrices with u = 1, 5, 7, 11.




u 0 0
u+6
6
0
u+6 0 
diag(u) =  0 u 0 
diag(u) · (U V )6 (U W )6 =  6
0 0 u
6
6
u




u+6 0
6
u
6
6
u
6 
6 
diag(u) · (U V )6 =  6
diag(u) · (U W )6 =  0 u + 6
6
0 u+6
0
6
u+6
This abelian group is an internal direct product of the Klein 4-group of the indicated
diagonal matrices and the Klein 4-group of the center of J from Proposition 3.4.1.

VOICING TRANSFORMATIONS AND UNIFORM TRIADIC TRANSFORMATIONS

21

The monoid centralizer of J in the monoid of all matrices M (3, Z12 ) consists of the
30 matrices with arbitrary u ∈ Z12 given by
diag(u) · (U V )6 (U W )6

diag(u)
diag(u) · (U V )6

diag(u) · (U W )6 .

When u ∈ Z12 is odd, these matrices take the form indicated above for u invertible.
When u ∈ Z12 is even, these four matrices coincide and are all simply diag(u).
Proof. Scalar multiplication and the center of J clearly commute with all of J , so the
indicated 16 elements are in the group centralizer of J , and the indicated 30 elements
are in the monoid centralizer of J .
We first confirm that the indicated group elements have the claimed matrix forms.
From Remark 3.3.5 we directly compute


7 0 6
(U V )6 =  6 1 6 
(16)
6 0 7

and directly compute the matrices (U W )6 and (U V )6 (U W )6 , and see that (U W )6
and (U V )6 (U W )6 are cyclic permutations of (16) (i.e. both rows and columns are
simultaneously cyclically permuted). Considering the effect of multiplying u on entries
of (16), if u is odd, we have
u6 = (2k + 1)6 = 0 + 6 = 6
u7 = u(1 + 6) = u + 6,
and we obtain the claimed matrix form for diag(u) · (U V )6 for u odd. The claimed
forms for diag(u)(U W )6 and diag(u)(U V )6 (U W )6 in the case u odd follows similarly.
If u is even, then
u6 = 0
u7 = u(1 + 6) = u
and diag(u)·(U V )6 = diag(u), again using (16). Similarly, diag(u)(U W )6 and diag(u)(U V )6 (U W )6
are just diag(u).
Next we show that no other matrices are in the monoid centralizer. We suppose
A ∈ M (3, Z12 ) commutes with J , and then compute only part of the commutators
with U , V , W , U V , U W , and V W . Since the commutators are zero, we have a family
of equations which the entries of A must satisfy, and these determine A. To avoid
unnecessary computation, we only compute some of the commutator with U , and then
only single entries of the other commutators that arise from a row/column with a single
±1 in V , W , U V , U W , and V W . We use a ∗ to indicate entries we do not compute.

22

FIORE AND NOLL

Recall the matrix representations in Section 3.1 and Remark 3.3.5.


 


a b c
0 1 0
0 1 0
a b c
(17)
AU − U A =  d e f   1 0 0  −  1 0 0   d e f 
g h i
1 1 −1
1 1 −1
g h i


b+c−d
∗ −c − f
=0
e+f −a
∗
∗
=
(18)
h + i − (a + d − g) ∗
∗


∗
∗ ∗
(19)
AV − V A =  −d − g ∗ ∗  = 0
∗
∗ ∗


∗ −b − h ∗
∗
∗ =0
AW − W A =  ∗
(20)
∗
∗
∗


∗ b−h ∗
∗
∗ =0
A(U V ) − (U V )A =  ∗
(21)
∗
∗
∗


∗
∗ ∗
A(U W ) − (U W )A =  d − g ∗ ∗  = 0
(22)
∗
∗ ∗


∗ ∗
∗
A(V W ) − (V W )A =  ∗ ∗ f − c  = 0
(23)
∗ ∗
∗
A pairwise comparison of the two-variable equations above, namely (18) with (23),
(19) with (22), and (20) with (21), reveals that all the non-diagonal entries of A,
specifically b, c, d, f , g, h, must be 0 or 6, and
c=f

d=g

b = h.

(24)

Consequently, in each column of A the same value occurs in both off-diagonal positions.
The equation b + c − d = 0 in the upper left of matrix (18) then implies that either:
b, c, and d are all zero, or exactly two of b, c, and d are 6 and the third is 0. We make
this case distinction.
(i) Suppose b, c, and d are all zero.
Then f , g, and h are also zero, as f = c, g = d, and h = b. The bottom two
equations in the left column of matrix (18) now imply a = e = i, so the diagonal
entries of A are equal, the non-diagonal entries are zero, and A = diag(u) for
some u ∈ Z12 .
(ii) Suppose exactly two of b, c, and d are 6 and the third is 0.
We go through the three possibilities, and look at the lower two equations in
the far left column of matrix (18).

VOICING TRANSFORMATIONS AND UNIFORM TRIADIC TRANSFORMATIONS

23

(a) Suppose b = c = 6, and d = 0.
Then f = h = 6 and g = 0 by (24). Then
0 = e + f − a =⇒ e = a + 6,


0 = h + i − a − d + g = 6 + i − a − 0 + 0 =⇒ i = a + 6,

and the lower two diagonal entries e and i are equal, while the first diagonal
entry a differs from them by 6.
(b) Suppose c = d = 6 and b = 0.
Then f = g = 6 and h = 0 by (24). Then
0 = e + f − a =⇒ e = a + 6,


0 = h + i − a − d + g = 0 + i − a − 6 + 6 =⇒ i = a,

and the corner two diagonal entries a and i are equal, while the middle
diagonal entry e differs from them by 6.
(c) Suppose d = b = 6 and c = 0.
Then g = h = 6 and f = 0 by (24). Then
0 = e + f − a =⇒ e = a,


0 = h + i − a − d + g = 6 + i − a − 6 + 6 =⇒ i = a + 6,

and the first two diagonal entries a and e are equal, while the lower corner
diagonal entry i differs from them by 6.
Thus, in all three cases (ii)(a), (ii)(b), (ii)(c), we see that the two diagonal
entries in the columns with 6 coincide, and the third diagonal entry differs from
these two diagonal entries by the residue 6.
By this point, we have shown that any matrix A ∈ M (3, Z12 ) in the monoid centralizer has the form of the four matrix families indicated in the statement of the
proposition, so we have determined the monoid centralizer.
Our final task is to determine the invertible elements in the monoid centralizer, i.e.
to prove that such a matrix is invertible if and only if u is a unit. We claim that the
determinant of each matrix is u3 . The matrix diag(u) clearly has determinant u3 . The
determinant of the other 3 matrix families is


u (u + 6)2 − 36 = u u2 + 12u + 36 − 36 = u3 .
Thus, in all cases u3 must be a unit in order for the matrix to be invertible. Every unit
in Z12 has multiplicative order 2, so u6 = 1 and u(u5 ) = 1, so u is a unit for all four
matrix families, and we are finished.

3.6. The Centralizer of J in Aff(3, Z12 ).
In [17, Theorem 3.2], we proved that U , V , and W commute8 with the componentwise application of any affine map Z12 → Z12 . Next we can actually determine all
affine endomorphisms of Z×3
12 that commute with U , V , and W .
8Actually,

we proved this commutativity in the context of any Zm rather than Z12 .

24

FIORE AND NOLL

Proposition 3.6.1. Let Aff(3, Z12 ) denote the monoid of affine endomorphisms of Z×3
12
and let Aff× (3, Z12 ) denote its group of invertible elements. The monoid centralizer of
J in Aff(3, Z12 ) consists of those maps x 7→ Ax + (q, q, q) where A is any of the 30
matrices in M (3, Z12 ) that commute with J as determined in Proposition 3.5.1, and
q ∈ Z12 . In particular, the T /I-group commutes with J .
The centralizer of J in Aff× (3, Z12 ) is isomorphic to the semi-direct product of its
centralizer in GL(3, Z12 ) with Z12 , where we consider Z12 as embedded into Z×3
12 via the
“diagonal” embedding q 7→ (q, q, q). The centralizer in GL(3, Z12 ) was determined in
Proposition 3.5.1.
Proof. We use homogeneous coordinates to notate affine maps.
Suppose an affine endomorphism x 7→ Ax + b commutes with all J ∈ J . Then

 
 
 
 

0 0
A b
J 0
J 0
A b
=
·
−
·
0 1
0 1
0 1
0 1
0 1


AJ − JA b − Jb
=
0
1
and AJ − JA = 0 for all J ∈ J , so A is in the monoid centralizer of J . We also
have b − Jb = 0 for all J ∈ J , in particular b is fixed by the generators U , V , and W .
Already for U and V , we see from

 


 

−b1 + b2 + b3
b1
b2
b1


b3
b1
and
V  b2  = 
U  b2  = 
b2
b3
b1 + b2 − b3
b3

that b1 = b2 = b3 .
Thus, if x 7→ Ax + b commutes with all J ∈ J , then A is in the monoid centralizer
of J and the translation vector b has the same entry in all three components. The
converse is clearly also true.
Since Aff× (3, Z12 ) = GL(3, Z12 ) o Z×3

12 , the structure claim follows.
3.7. Recollection on Permutation Matrices.

We denote by Σ3 the permutation group on the set {1, 2, 3}, and we follow the
standard function orthography in which the rightmost function is done first. The
notation (123) is cycle notation for the permutation 1 7→ 2 7→ 3 7→ 1. For any set X,
the left action of Σ3 on the Cartesian product X 3 is
σ(x1 , x2 , x3 ) = (xσ−1 1 , xσ−1 2 , xσ−1 3 ).
When X = Z12 , this left action of Σ3 on Z12 × Z12 × Z12 arises from the left action of
Σ3 on the standard column vector basis {e1 , e2 , e3 } via
σei = eσi .
In this way, the 3 × 3 matrix Pσ corresponding to σ has columns eσ1 eσ2 eσ3 . See for
instance [12, Section 5.1, Exercises 7,8,9].

VOICING TRANSFORMATIONS AND UNIFORM TRIADIC TRANSFORMATIONS

For example, for σ = (1 2 3),

0
 1
0

25

we have σ(x1 , x2 , x3 ) = (x3 , x1 , x2 ) and

 

x3
x1
0 1
0 0   x2  =  x1  .
x2
x3
1 0

For readability, we always just write σ for Pσ when the context is clear. No confusion
between cycles (1 2 3) and vectors (1, 2, 3) can arise, because cycles have no commas,
while vectors have commas.
Permutations were incorporated into neo-Riemannian duality in [16].
3.8. The Group hΣ3 , J i is Σ3 n J .
Conjugation by elements of σ3 permutes the generators U , V , and W .
Proposition 3.8.1. Recall the standard left action on 3-tuples from Section 3.7, and
recall the notation J 1,2 , J 2,3 , and J 3,1 for U , V , and W in Section 3.1.
For σ ∈ Σ3 we have the following compatibilities.
(i) σJ r,s = J σr,σs σ
(ii) σJ r,s σ −1 = J σr,σs
−1
−1
(iii) J r,s σ = σJ σ r,σ s .
Proof. For (i), let i, j ∈ {1, 2, 3} be such that r = σ −1 i and s = σ −1 j. We follow
Convention 3.3.1, and have indicated where the definition of the J-operators from
Section 3.1 are used.
def

σJ r,s (x1 , x2 , x3 ) = σIxr +xs (x1 , x2 , x3 )



= σ − x1 , x2 , x3 + (xr + xs )


= − xσ−1 1 , xσ−1 2 , xσ−1 3 + (xr + xs )


= − xσ−1 1 , xσ−1 2 , xσ−1 3 + (xσ−1 i + xσ−1 j )
= Ixσ−1 i +xσ−1 j (xσ−1 1 , xσ−1 2 , xσ−1 3 )
def

= J i,j (xσ−1 1 , xσ−1 2 , xσ−1 3 )

= J σr,σj σ(x1 , x2 , x3 )
Claim (ii) follows directly from (i) by right multiplication with σ −1 , while (iii) follows
from (i) by replacing σ by σ −1 and multiplying.

Proposition 3.8.2. The subgroup hΣ3 , J i of GL(3, Z12 ) generated by the permutation
matrices and the group J is the semi-direct product Σ3 n J .
Proof. Recall that U , V , and W are involutions, so every element of J = hU, V, W i
can be written as a concatenation of U , V , and W .
The group J is normal in hΣ3 , J i because if we have such a concatenation j1 j2 · · · jn ,
and σ ∈ Σ3 , then



σj1 j2 · · · jn σ −1 = σj1 σ −1 σj2 σ −1 · · · σjn σ −1 ∈ J

26

FIORE AND NOLL

by Proposition 3.8.1 (ii).
We have hΣ3 , J i = Σ3 J because if we have any concatenation of U , V , W and
elements of Σ3 , we can move all the permutation matrices to the left via Proposition 3.8.1 (iii), and obtain a concatenation of U , V , W on the right, in total an element
of Σ3 J .
Finally, we also have Σ3 ∩ J = {Id} because we know that the restriction of J to
its six orbits is the P LR-group (in various correspondences), and no element of the
P LR-group acts as a permutation of vector entries.

Proposition 3.8.3. The centralizer of J in GL(3, Z12 ) is stable under conjugation by
permutations as a set. If C commutes with U , V , and W , then so does σCσ −1 for all
σ ∈ Σ3 .
Proof. Suppose C commutes with U , V , and W , and let σ ∈ Σ3 . Then
J r,s C = CJ r,s
σ(J r,s C)σ −1 = σ(CJ r,s )σ −1
J σr,σs (σCσ −1 ) = (σCσ −1 )J σr,σs
where we use Proposition 3.8.1 (i) and (iii) in the last step.



3.9. Subgroups of Σ3 n J and their Triadic Orbits.
We now consider subgroups of Σ3 n J and their relevant triadic orbits. These orbits
will be of use in Section 5.4 when we study the Hook group H and its properties. The
present section also elucidates J and Σ3 n J as triadic transformation groups.
The Structure Theorem 3.3.2 provides a good understanding of J . The group J
contains an index 2 commutative subgroup

J + := (U V )m (U W )n | m, n = 0, 1, . . . , 11

of operations that preserve mode, that is, which map major triads to major triads, and
minor triads to minor triads, no matter the voicing (recall from Theorem 3.3.2 (v) that
(U V )m (U W )n adds a constant in each component). The other coset
J − := U J + = {U (U V )m (U W )n | m, n = 0, 1, . . . , 11}

consists of operations that reverse mode, that is, send major triads to minor triads,
and minor triads to major triads, no matter the voicing.
Clearly, permutations also preserve the modes of consonant triads. So we extend the
foregoing discussion to include permutations as well. The group of mode-preserving
operations in Σ3 n J is

Σ3 n J + := Σ3 J + = σ(U V )m (U W )n | σ ∈ Σ3 , m, n = 0, 1, . . . , 11 ,
and the coset of mode-reversing operations in Σ3 n J is

Σ3 J − = σU (U V )m (U W )n | σ ∈ Σ3 , m, n = 0, 1, . . . , 11 .
In summary we have
G
J = J+
J−

and

Σ3 J = Σ3 J +

G

Σ3 J − .

VOICING TRANSFORMATIONS AND UNIFORM TRIADIC TRANSFORMATIONS

27

We define H to be the subgroup of Σ3 n J that maps root position triads to root
position triads, and we call H the Hook group. We will study its structure in Section 5.4
and see that it is exactly the image of the representation ρ from Section 5.3. For the
moment, we introduce the following collections of triads, and observe that they are
orbits of the C-major or C-minor triad under appropriate groups.
Triads := set of all 144 consonant triads in any of the 6 voicings
           
7
4
0
7
4
 0
=  4 , 7 , 0 , 7 , 0 , 4 ,

0
7
4
4
0
7

           
0
3
7
0
3
7

 3  ,  7  ,  0  ,  7  ,  0  ,  3  , et cetera

7
0
3
3
7
0
= orbit of (0, 4, 7) under action of Σ3 n J
MajTriads := set of all 72 major triads in any of the 6 voicings
           

4
7
0
4
7
 0













4 , 7 , 0 , 7 , 0 , 4 , et cetera
=


7
0
4
4
7
0
= orbit of (0, 4, 7) under action of Σ3 n J +

MinTriads := set of all 72 minor triads in any of the 6 voicings
           

3
7
0
3
7
 0

=  3  ,  7  ,  0  ,  7  ,  0  ,  3  , et cetera


7
0
3
3
7
0
= orbit of (0, 3, 7) under action of Σ3 n J +

RootPosTriads := set of all 24 consonant triads in root position
     

     
1
2
0
1
2
 0













4 , 5 , 6 ,..., 3 , 4 , 5 ,...
=


7
8
9
7
8
9
= orbit of (0, 4, 7) under action of H
DualRootPosTriads := set of all 24 consonant triads in dualistic root position
     

     
1
2
7
8
9
 0

=  4 , 5 , 6 ,..., 3 , 4 , 5 ,...


7
8
9
0
1
2
= orbit of (0, 4, 7) under action of J

The penultimate claim that RootPosTriads is the H-orbit of (0, 4, 7) follows from
equations (29) and (31) and the that fact that H is the image of ρ in Section 5.5.

28

FIORE AND NOLL

3.10. Computer Observations about Σ3 n J .


trace (U V )m (U W )n = 3



trace U (U V )m (U W )n = −1

For any cyclic permutation (a b c) ∈ Σ3 , we have




trace (a b c)U (U V )m (U W )n = 2
trace (a b c)(U V )m (U W )n = 0
For any transposition (a b) ∈ Σ3 , we have


trace (a b)(U V )m (U W )n = 1



trace (a b)U (U V )m (U W )n = 1

The conjugation class of U in J consists of 36 elements, while the conjugation class
of U in Σ3 n J has 108 elements.
4. Musical Examples and Music-Theoretical Consequences
4.1. Hexatonic Grail Motive as a Cycle.

The Grail motive in Wagner’s Parsifal, Act 3, measures 1098 – 1100 is harmonized
by the consonant triads E[, b, G, e[ which eventually lead via A[ to D[. Following
David Clampitt’s [4] hexatonic reading of the first four chords we extrapolate from the
upper three voices a full hexatonic cycle leading back to E[ as shown in the upper part
of Figure 5.
The lower part of this figure provides a transformational network for these six voicings with two readings. The outer labels (12)P LP and (12)L denote two contextual
transformations which form a hexatonic flip-flop-cycle. The inner label ρ stands for
four elements of Σ3 n J , each of which yields a cyclic orbit along these six voicings. To
find the linear transformations with this cyclic orbit, we recall Theorem 3.3.2 (v) and
use the first three sequence elements to produce a system of 2 equations in 2 unkowns.
U (3, 7, 10) + m(10 − 3) + n(10 − 7) = (6, 2, 11)

U (2, 6, 11) + m(11 − 2) + n(11 − 6) = (11, 7, 2)

Notice that the output chords are in the T /I-class of the input, but need to be
reordered by permutation (12) to match the sequence. The two equations reduce to
m 2 5 8 11
4m = 8 and n = 1 + 3m, so solutions are
, and the elements of
n 7 4 1 10
Σ3 n J with orbit the Grail sequence are
(12)U (U V )2 (U W )7

(12)U (U V )8 (U W )1




11 5 9
=  10 6 9  ,
11 6 8



5 11 9
=  4 0 9 ,
5 0 8

(12)U (U V )5 (U W )4

(12)U (U V )11 (U W )10




8 8 9
=  7 9 9 ,
8 9 8



2 2 9
=  1 3 9 .
2 3 8

VOICING TRANSFORMATIONS AND UNIFORM TRIADIC TRANSFORMATIONS

Figure 5. The two musical staves show the extrapolation of a hexatonic
cycle of alternating root position major triads and first inversion minor
traids from the first four chords in the harmonization of Grail motive
in Wagner’s Parsifal, Act 3, measures 1098–1100. The top staff depicts
David Clampitt’s [4] reduction of these measures. The staff below depicts
our hexatonic extrapolation. The hexagonal network provides a transformational analysis of this extrapolation. The outer labels (12)P LP
and (12)L denote two contextual transformations between the chosen
voicings (i.e. root position major triads and first inversion minor triads).
The inner label ρ stands for any of the four elements of Σ3 n J that provide a cyclic orbit along these six voicings. The normal forms of these
group elements are depicted in the center of the network.

4.2. Recalcitrant Viola in Schoenberg, String Quartet in D minor, op. 7.

29

30

FIORE AND NOLL

We revisit an analysis of a triadic sequence in Schoenberg, String Quartet in D minor, op. 7 by Fiore–Noll–Satyendra [17]. Our group J affords us a more economical
description, allowing us to replace both (13)P and (13)R by (13)V . We also complement the work of [17] to include two final 3-pitch-class sequences in the viola using
(13)L, which we promptly also replace by (13)V . We use the term segment to refer to
3-note sequences such as (1, 6, 10), et cetera.
The first 9 consonant triadic segments of Figure 6a form a complete enchained octatonic P R-cycle (the transformations P and R are defined via local conjugation of
standard dualistic P and R by permutations, see Section 2). The G[-segment in ordering (1, 6, 10) in the ninth position does not actually occur in the score, as we indicate
with a dotted line and question mark. Instead, the G[-segment appears in ordering
(10, 1, 6) as the final viola notes. The penultimate segment b[ in voicing (5, 10, 1), after
the P R-cycle, does not belong to the octatonic P R-cycle, but instead stands in an
L-relationship to the final G[-segment, which in turn stands in a P -relationship to the
preceding f ].
In Figure 6b we map the triadic segments as an enchained octatonic P R-cycle and an
implied enchained hexatonic P L-cycle. The final G[ pitch-class set {6, 10, 1}, common
to both cycles, is at the bottom of both cycles in its two relevant voicings. In Figure 6b,
all the arrows have two labels: (13)V and one of (13)P , (13)L, (13)R. The two labels
illustrate how the single transformation (13)V offers a more economical description
than the other three together. The transformation (13)V is equal to RICH, retrograde
inversion enchaining. All consonant cycles for RICH were determined in Table 1 on
page 113 of [16]. See Straus [28] for some analyses involving RICH, one of which we
revisited in the motivational Problembeispiel in Section 1.2.
4.3. Affine Morphisms of Generalized Interval Systems.
Our determination of the centralizer of J in the monoid Aff(3, Z12 ) in Proposition 3.6.1 is relevant for constructing morphisms of generalized interval systems, as we
very briefly indicate with a few examples.
Consider again the first 9 consonant triads indicated in Figure 6a and in the outer
ring of Figure 6b. The image of these interlocking consonant triads under the affine
endomorphism x 7→ 7x + 7 of Z12 sends interlocking major/minor triads to interlocking
“jet/shark” trichords, as in Figure 15 of the paper of Fiore–Noll–Satyendra [17]. The
outer ring of Figure 6b is mapped to its (2, 1, 5)-analogue via the affine map x 7→
7x + 7 in such a way that each of the relevant squares commutes, see Figure 15 of [17].
The present paper contributes the observation that both the consonant (1, 6, 10)-cycle
and the non-consonant (2, 1, 5)-cycle are labelled by the single transformation (13)V
and this transformation commutes with x 7→ 7x + 7 by Proposition 3.6.1. Moreover,
thanks to our decomposition of the uniform triadic transformations representation H
in Proposition 5.4.1 (iii), we know that the instantiation (13)V of RICH is an element
of H, for all 3-tuples. Notice that not only do we have an economy of description in the
sense of only a single transformation (13)V for both the consonant (1, 6, 10)-cycle and
the non-consonant (2, 1, 5)-cycle, but we also have the exact enchaining of consecutive
chords, all in the representation H.

VOICING TRANSFORMATIONS AND UNIFORM TRIADIC TRANSFORMATIONS

31

(a) Schoenberg, String Quartet in D minor, op. 7, measures 88–93. See Figure 6b for a
mapping of these measures in actual and implied cycles.
(13)R
(13)V

 
0
a6 =  4 
9

(13)L
(13)V

(13)P (13)V



4
A64 =  9 
1

 
7
C46 =  0 
4
 
9
d64 =  2 
5

(13)P
(13)V

(13)P
(13)V



2
B[6 =  5 
10

 
6
D6 =  9 
2

(13)P (13)V

(13)V



5
b[64 =  10 
1

(13)R (13)V

(13)V

(13)L





9
f] =  1 
6
6



3
c[6 =  7 
0

(13)V
(13)P



10
G[6 =  1 
6

(13)V




1
G[64 =  6 
10

(13)V

(13)L

 
1
f ]64 =  6 
9

(13)R



10
E[64 =  3 
7

(13)V

(13)P

(13)P


6


10
e[ =
3
6

(13)V



(13)R

(b) Cyclic networks extrapolating connections between triadic segments in Schoenberg, String
Quartet in D minor, op. 7, measures 88–93. The outer cycle is the octatonic P R-cycle of the
first 9 triadic segments of Figure 6a, while the inner cycle is the hexatonic P L-cycle implied
by the final viola L-relationship b[64 7→ G[6 and the P -relationship between the final G[ and
the earlier f ] in the 2nd violin. All implied edges are indicated by dotted arrows.

Figure 6

32

FIORE AND NOLL

The musical interest in the image of the consonant (1, 6, 10)-cycle under the affine
transformation x 7→ 7x + 7 is that the image provides pitch-class segment material for
other passages in the piece, including the opening theme in measures 1 and 2. See
Figure 3 of [17] for measure numbers of other passages with fragments of the affine
image.
Proposition 3.6.1 applies not only to invertible affine transformations like x 7→ 7x+7
in the preceding paragraphs, but also to non-invertible affine transformations such as
x 7→ 10x in Figure 15 of [17]. Thus, Proposition 3.6.1 provides the mathematical
justification for such instances of morphisms of simply transitive groups actions and
morphisms of their associated generalized interval systems. See Section 2 of [17] for a
development of such morphisms. Another example of a morphism is x − 2 in Figure 3
of the Webern Problembeispiel.
Section 4.5 is dedicated to an example where these ideas are applied to the space Z×3
7
of generic scale degree triples rather than the space Z×3
of
specific
pitch
class
triples.
12
Section 4.4 introduces this switch from specific to generic coordinates on the basis of
yet another musically interesting example.
4.4. Diatonic Falling Fifth Sequence as a Cycle.
The Structure Theorem 3.3.2 and this entire paper are formulated for Z12 because of
the main application to the twelve tone system. However, we did not use any specifics
about 12, so analogous results also hold Zn . Particularly interesting is n = 7 because
Z7 models the diatonic pitch collection. We encode the underlying set of the C-major
scale as C ↔ 0, D ↔ 1, E ↔ 2, . . . , and finally B ↔ 6. The diatonic falling fifth
sequence is then encoded as in Figure 7. To find a linear transformation with this
orbit, we recall Theorem 3.3.2 (v) and use the first three sequence elements to produce
a system of 2 equations in 2 unkowns.
U (0, 2, 4)+m(4−0)+n(4−2) = (0, 5, 3)

U (5, 0, 3)+m(3−5)+n(3−0) = (1, 6, 3)

Notice that the output chords are in the T /I-class of the input, but need to be reordered
by permutation (12) to match the sequence. The solution is m = 3 and n = 0, so the
linear transformation in Σ3 n J (Z7 ) with orbit the diatonic falling fifth sequence is


5 0 3
(12)U (U V )3 =  4 1 3  .
5 1 2
4.5. A Transformational Idea of Joseph Schillinger Revisited.
The composer and teacher Joseph Schillinger (1895–1943) is one of the early pioneers
of transformational thinking in musical composition. He utilized affine transformations
in pitch and rhythm. And in particular he proposed the expansion and contraction
of musical pitch, both in the specific pitch class domain Z12 as well as in the generic
scale degree domain Z7 . In Book 2: Theory of Pitch Scales (p. 138) of the posthumously published Schillinger System of Musical Composition [27] there is a discussion
of melodies, which – from a transformational perspective – can be viewed as results
of a first expansion, i.e. an augmentation by factor 2 mod 7. Schillinger argues that

VOICING TRANSFORMATIONS AND UNIFORM TRIADIC TRANSFORMATIONS

33

Figure 7. The diatonic falling fifth sequence and its encoding as vectors
with entries in Z7 . The encoding of the C-major scale collection is C ↔ 0,
D ↔ 1, E ↔ 2, . . . , and finally B ↔ 6. The diatonic falling fifth
sequence is a cycle of the sole transformation (12)U (U V )3 in Σ3 nJ (Z7 ).
the (re-)contraction of the melody may provide new material while it preserves thematic continuity at the same time. He recommends to utilize the transformed thematic
motives in the introduction or in interludes.
As an aside he mentions that the processes of expanding and contracting music often
leads to startling discoveries and illustrates this statement with a comparison of Vincent
Youmann’s Without a Song and Nicolai Rimsky-Korsakov’s Hymn to the Sun (from
Act II of his opera Coq d’Or). A slight elaboration of this observation is presented in
Figure 8.
Both melodies possess a model-sequence structure. In the Hymn to the Sun the sequence repeats the model one scale degree lower. It deviates in a single note (indicated
by a star) from the model. In Without a Song the sequence repeats the model two
scale degrees lower. In order to illustrate the match of both melodies up to augmentation/contraction we have encoded their scale degrees in such a way that the last note
of the model corresponds to the scale degree 0 mod 7 in both cases, i.e. C] for Hymn
to the Sun and E[ for Without a Song. In the spirit of the present article we added a
transformational analysis of the 10-note melodic models themselves. These melodies
have been covered by all consecutive 3-note segments, which we regard as elements
of Z×3
7 . Both melodies exemplify the same transformational structure: except for the
permutation (13) between segments 2 and 3 there is the RICH-transformation which
connects all other consecutive pairs of segments:


0 1 0
(13)V =  0 0 1  .
−1 1 1
Note, that in contrast to Section 4.2 the RICH transform (13)V in the present example
acts on triples of scale degrees rather than triples of pitch classes.

FIORE AND NOLL
34



M2




2

2 
4

M2

4


 4 
6

T−2










(13)V

2


 2 
3

T−1


1


 1 
2

(13)V

M2


(13)V





2

4 
4

M2

4


 6 
6

(13)V
T−2










(13)

2


 3 
3

T−1


1


 2 
2

(13)

M2


(13)





4

4 
2

M2

6


 6 
4

(13)
T−2










(13)V

3


 3 
2

T−1


2


 2 
1

(13)V

M2


(13)V





4

2 
2

M2

6


 4 
4

(13)V
T−2










(13)V

3


 2 
2

T−1


2


 1 
1

(13)V

M2


(13)V





2

2 
0

M2

4


 4 
2

(13)V
T−2










(13)V

2


 2 
1

T−1


1


 1 
0

(13)V

M2


(13)V





2

0 
0

M2

4


 2 
2

(13)V
T−2










(13)V

2


 1 
1

T−1


1


 0 
0

(13)V

M2


(13)V





0

0 
5

M2

2


 2 
0

(13)V
T−2










(13)V

1


 1 
0

T−1


0


 0 
6

(13)V

M2



(13)V



0

5 
5



M2

1


 0 
0

(13)V

T−2






Figure 8. Transformational network inspired by an argument of Joseph Schillinger on melodic expansion.
The two back rows of the diagram are the bracketed 3-note segments of Rimsky-Korsakov’s Hymn to the
Sun. In this mod 7 diagram, 0 corresponds to the last note of the respective initial melody, so 0 = C] in
the back two rows, and (2,2,3) in the top back row corresponds to E, E, F ]. The front two rows are the
bracketed 3-note segments of Youmann’s Without a Song, so 0 = E[ there, and (4, 4, 6) in the top front
row corresponds to B[, B[, D. The transformation M2 is multiplication by 2, and is indicated between the
staves in blue at an angle to match its appearance in the diagram. The horizontal squares commute by
Proposition 3.6.1.






T−1








1

0 
0



0

6 
6

VOICING TRANSFORMATIONS AND UNIFORM TRIADIC TRANSFORMATIONS

35

4.6. Recovering P LR-T /I-Duality and a Special Case of Duality Theorem of
Fiore–Satyendra.
The centralizer results of Sections 3.5 and 3.6 and the normal form action in Theorem 3.3.2 (v) allow us to recover the classical P LR-T /I-duality recalled in Section 2
and duality for trichords containing a generator for Z12 (a special case of an earlier
result of Fiore–Satyendra [18]).
Theorem 4.6.1. Suppose (x, y, z) ∈ Z×3
12 is such that z − x is a generator of Z12 . Then
the restrictions of hU, U V i and T /I to the T /I-orbit of (x, y, z) are a Lewin dual pair
of groups. That is, they each act simply transitively on the orbit and are centralizers
of each other in the respective symmetric group.
If instead of z−x, the difference z−y is a generator, then we have a similar statement
for hU, U W i in place of hU, U V i.
Proof. Since z − x is a generator of Z12 , the T /I-orbit has 24 elements and simple
transitivity of the 24-element T /I-group follows from the Orbit-Stabilizer Theorem.
From Structure Theorem 3.3.2 (v) we see that hU, U V i also acts transitively on the
T /I-orbit and has order 24, so hU, U V i also acts simply transitively. By Propositions 3.5.1 and 3.6.1, hU, U V i and T /I commute. By Proposition 3.8 of [2], simple
transitivity on a finite set and commutativity together imply that the groups centralize
one another.

Example 4.6.2.
(i) If we take (x, y, z) = (0, 4, 7) in Theorem 4.6.1, then the restriction of hU, U V i
is the P LR-group as recalled in Section 2 and Theorem 4.6.1 recovers the familiar P LR-T /I-Duality. The transformation (U V )m is the Schritt Q7m and
the transformation U (U V )m is a Wechsel.
(ii) If we take (x, y, z) = (0, 4, 1), then we obtain the jet-shark dual pair, and the
Sub Dual Group Theorem of Fiore–Noll [15] applies to construct the jet-shark
sub dual pair in the analysis of Schoenberg, String Quartet in D minor, op. 7,
in [17].
(iii) The hypothesis that z − x is a generator in Theorem 4.6.1 is necessary. A
counterexample is presented by (x, y, z) = (0, 4, 10), which also plays a role
in the Schoenberg analysis of [17]. In the case of (x, y, z) = (0, 4, 10), the
restriction of hU, U V i to the T /I-orbit of (0, 4, 10) does not have 24 elements,
namely the restrictions of U V and U V 7 are the same. We have
U V (0, 4, 10) = (0, 4, 10) + 10 = (0, 4, 10) + 7 · 10 = U V 7 (0, 4, 10)
U V (4, 0, 6) = (4, 0, 6) + 2 = (4, 0, 6) + 7 · 2 = U V 7 (4, 0, 6)
and similarly on the translates. Notice also that the restriction of hU, U V i
cannot possibly act transitively, as it preserves odd and even.
(iv) Theorem 4.6.1 is a special case of Theorem 7.1 of Fiore–Satyendra [18], which
treats n-tuples in Zm that satisfy a “tritone condition.”

36

FIORE AND NOLL

5. A Linear Representation of Uniform Triadic Transformations
In this section we construct a linear representation ρ : U → GL(3, Z12 ) of Julian
Hook’s group U of uniform triadic transformations, characterize the image as the subgroup H of Σ3 n J which fixes the set of triads in (non-dualistic) root position, and
determine the structure of H, along with two normal forms of its elements. Hook’s theory of uniform triadic transformations [22] is an important chapter of well-established
transformational music theory.
The representation ρ sends transformations of abstract triads to linear transformations of root position triadic voicings. In Section 5.1, we clarify the difference between
non-dualistic root position and dualistic root position, while in Section 5.2 we recall
how Hook treats the consonant triads as abstract entities, parametrized by their roots
and their mode. Importantly, we also recall how he studies certain rigid transformations of abstract consonant triads called uniform triadic transformations, which
together form his group denoted U. The representation ρ : U → GL(3, Z12 ) is defined
in Section 5.3: the consonant triads are represented in terms of their root position
voicings (x, y, z) ∈ Z×3
12 and the uniform triadic transformations are realized as linear transformations that act on (non-dualistic) root position voicings exactly as they
would on abstract consonant triads. Properties of the representation ρ are investigated
in Sections 5.4 and 5.5. As a final result we will prove in Section 5.5 that ρ(U) = H
is the wreath product Σ2 * Z12 and we will select new generators for H that make ρ
apparent.
Most of the time, we will investigate the structure of H as a subgroup of Σ3 n J ,
instead of via U and the homomorphism ρ. Working with an internal perspective of
the group Σ3 n J provides us with more flexibility in the conceptualization of these
transformations, and provides proofs independent of knowledge of U. Namely, all the
results rely on Structure Theorem 3.3.2 about J .
5.1. Root Position and Dualistic Root Position.
Some explanation of the difference between non-dualistic root position and dualistic
root position is in order. We use the unmodified term root position to mean nondualistic root position (hence the optional modifier “non-dualistic” in parentheses in
the foregoing paragraphs). The triple (0, 4, 7) ∈ Z×3
12 represents the root position Cmajor triad, which on the musical staff has tone C in the lowest position, then the very
next E tone above that, and the very next G tone above that. The vector (0, 3, 7) ∈ Z×3
12
represents the root position c-minor triad, which on the musical staff has tone C in the
lowest position, then the very next E[ tone above that, 
and the
next
G tone above
 very
0
0
that. Unfortunately, when written as column vectors  4  and  3 , these root
7
7
position triad representations appear in the opposite orientation of actual root position
chords on the musical staff. Nevertheless, we prefer to use this encoding, despite
its opposite orientation, because it is compatible with the mathematical transpose of
vectors and because we find it more natural to have the root listed as the first note

VOICING TRANSFORMATIONS AND UNIFORM TRIADIC TRANSFORMATIONS

37

we read. Root position major triads are of the form (r, r + 4, r + 7) and root position
minor triads are of the form (r, r + 3, r + 7).
Dualistic root position, on the other hand, reverses in the minor triads only the
positions of the root and fifth in its notation. For instance, the triple (0, 4, 7) ∈ Z×3
12
represents both the dualistic root position C-major triad and the root position C-major
triad, while the vector (7, 3, 0) ∈ Z×3
12 represents the dualistic root position c-minor
triad. The encoding (7, 3, 0) means that we read the root position c-minor on the
staff from top note to bottom note, in other words, (7, 3, 0) signifies literally the same
musical chord as the root position encoding (0, 3, 7): on the musical staff it has tone
C in the lowest position, then the very next E[ tone above that, and the very next
G tone above that. It does not mean a reordering of the actual tones when we say
dualistic root position (the reordered notation could also signify reordered tones, as we
do elsewhere in the article without the term dualistic root position). Dualistic root
position major triads are of the form (r, r + 4, r + 7) and dualistic root position minor
triads are of the form (r + 7, r + 3, r).
The J orbit of (0, 4, 7) is the set of all 24 dualistic root position triads, denoted
by DualRootPosTriads. It is easy to see that the group J is the set stabilizer of
DualRootPosTriads within the group Σ3 n J . In Sections 5.4 and 5.5 we investigate
the analogous situation for the root position triads: H is by definition the set-wise
stabilizer in Σ3 n J of the root position triads, and the H orbit of (0, 4, 7) is the set of
all 24 root position triads.
5.2. Uniform Triadic Transformations of Abstract Triads.
We now revisit some anchor points from [22] and stay close to the notations introduced there. Hook encodes a consonant triad abstractly as a pair (r, µ) consisting of
its (non-dualistic) root pitch class r ∈ Z12 and a parity µ ∈ {+, −} to indicate major
or minor. For instance,
C = (0, +),
c = (0, −),

C] = (1, +),
c] = (1, −),

...,
...,

B = (11, +),
b = (11, −).

Hook denotes the set of these abstractly represented consonant triads as
Γ := Z12 × {+, −}.
A uniform triadic transformation is a function hs, m, ni : Γ → Γ which translates the
roots of input major chords by m, translates the roots of input minor chords by n, and
preserves (respectively reverses) the input parity when the sign s is + (respectively −).
Formally, we have:
h+, m, ni(r, +) = (r + m, +)

h+, m, ni(r, −) = (r + n, −)

h−, m, ni(r, +) = (r + m, −)

h−, m, ni(r, −) = (r + n, +).

Hook denotes by U the group of uniform triadic transformations.
U := {hs, m, ni | s ∈ {+, −} and m, n ∈ Z12 }

(25)

38

FIORE AND NOLL

The group operation is function composition and satisfies the following formulas.9
h+, p, qi ◦ h+, m, ni = h+, m + p, n + qi

h+, p, qi ◦ h−, m, ni = h−, m + q, n + pi

h−, p, qi ◦ h+, m, ni = h−, m + p, n + qi

h−, p, qi ◦ h−, m, ni = h+, m + q, n + pi

From these formulas we see that h+, 1, 0i and h+, 0, 1i generate two commuting copies
of Z12 , and h−, 0, 0i generates a (multiplicative) copy of Z2 , and that conjugation
h−, 0, 0i−1 ◦ h+, p, qi ◦ h−, 0, 0i = h+, q, pi
interchanges the two copies of Z12 . Hence, U is isomorphic to the semi-direct product
Z2 n (Z12 × Z12 ) where Z2 permutes the two copies of Z12 . In other words, U is
isomorphic to the wreath product Z12 * Z2 . From these isomorphisms, or even directly
from equation (25), we see that the total number of uniform triadic transformations is
|U| = 288 = 2 · 12 · 12.
5.3. A Representation of Uniform Triadic Transformations.
We next derive a representation ρ : U → GL(3, Z12 ) which acts on major and minor
triads in root position exactly as U does on abstract triads. First notice that the root
position triads C-major, c-minor, and C]-major
 
 
 
0
0
1
 4 
 3 
 5 
(26)
7
7
8
are clearly linearly independent over Z12 . They also generate Z×3
12 , since the standard
basis can be expressed as linear combinations of them.
 
 
   
1
0
0
1
 0  = 7 4  + 9 3  +  5 
0
7
7
8
 
 
 
0
0
0
 1 =  4 −  3 
(27)
0
7
7
 
 
 
0
0
0
 0  = 3 4  + 4 3 
1
7
7
Since (26) is a basis, any linear transformation is uniquely determined by its action on
these vectors.
In particular, ρh+, m, ni is uniquely determined by the requirement that it adds
m to the C-major chord, adds n to the c-minor chord, and adds m to the C]-major
9We

are using the usual order of function composition in this article, namely g ◦ f means to do f
first. In [22], Hook uses the opposite convention, so our equivalent formulas are slightly different.

VOICING TRANSFORMATIONS AND UNIFORM TRIADIC TRANSFORMATIONS

39

chord. Evaluation of ρh+, m, ni on the standard basis via the formulas (27) computes
the columns as follows.


1 − 4m − 3n
m−n
3m + 4n
3m + 4n 
(28)
ρ h+, m, ni =  −4m − 3n 1 + m − n
−4m − 3n
m − n 1 + 3m + 4n
Fortunately, ρ h+, m, ni behaves as expected on the other root position triads, as we
verify with direct computation.


 


 

r
r+m
r
r+n
ρ h+, m, ni·  r + 4  =  r + 4 + m  , ρ h+, m, ni·  r + 3  =  r + 3 + n  (29)
r+7
r+7+m
r+7
r+7+n

For the mode-reversing transformations, ρh−, m, ni is uniquely determined by the
requirement that it adds m to the C-major chord, adds n to the c-minor chord, and
adds m to the C]-major chord, and then reverses the mode for all three. Evaluation
of ρh−, m, ni on the standard basis via the formulas (27) computes the columns as
follows.


1 − 3m − 4n
−m + n
4m + 3n
ρ h−, m, ni =  1 − 3m − 4n −1 − m + n 1 + 4m + 3n 
(30)
−3m − 4n
−m + n 1 + 4m + 3n
Fortunately, ρ h−, m, ni behaves as expected on the other root position triads, as we
verify with direct computation.


 


 

r
r+m
r
r+n
ρ h−, m, ni·  r + 4  =  r + 3 + m  , ρ h−, m, ni·  r + 3  =  r + 4 + n  (31)
r+7
r+7+m
r+7
n+r+7

The representation ρ : U → GL(3, Z12 ) is defined by the formulas (28) and (30).
The map ρ is an injection because the image elements are all different on the basis
(26), as we see from (29) and (31) without any more computation. The map ρ is a
homomorphism because ρ acts on major and minor triads in root position exactly as U
does on abstract triads, and because the set of major and minor triads in root position
contains the basis (26) (forming matrix representations with respect to selected bases
is a group homomorphism).
5.4. The Hook Group and its Structure.
The Hook group H is the subgroup of Σ3 n J that maps root position triads to
root position triads. It is analogous to J in that J is the subgroup of Σ3 n J that
maps dualistic root position triads to dualistic root position triads. In other words,
H is the set-wise stabilizer in Σ3 n J of RootPosTriads, while J is the set-wise
stabilizer in Σ3 n J of DualRootPosTriads, recall the notation and discussion from
Section 3.9. For the major triads, root position and dualistic root position are the same.
However, for the minor triads, root position and dualistic root position areFrelated via
the permutation (1 F
3). From this relationship, we anticipate H = J +
(1 3) J − ,
similar to J = J +
J −.
Proposition 5.4.1 (Decomposition of H and its Normal Form).

40

FIORE AND NOLL

(i) The subgroup of mode-preserving operations in H, denoted H+ := H ∩ Σ3 J + ,
is equal to J + .
(ii) The subgroup of mode-reversing operations in H, denoted H− := H ∩ Σ3 J − , is
equal to (1 3)J − .
(iii) The group H has 288 elements and consists of the 144 mode-preserving transformations (U V )m (U W )n and the 144 mode-reversing transformations
(1 3)U (U V )m (U W )n .
G
(1 3) J −
H = J+

Proof. Recall from Theorem 3.3.2 (v) that (U V )m (U W )n adds a constant to an input,
so that (U V )m (U W )n preserves both triad mode and any triad position. The nontrivial
permutations in Σ3 , on the other hand, preserve triad mode but nontrivially change
triad position.
(i) From the foregoing, an arbitrary element σ(U V )m (U W )n ∈ Σ3 J + is in H if
and only if σ is the identity.
(ii) Recall that U reverses triad mode but preserves dualistic root position, so
the second formula of Theorem 3.3.2 (v) shows that U (U V )m (U W )n reverses
triad mode and preserves dualistic root position. Hence, an arbitrary element
σU (U V )m (U W )n ∈ Σ3 J − is in H if and only if σ is (1 3).
(iii) This is an immediate consequence of (i) and (ii). The set (1 3)J − has 144
elements because we have left cancellation in any group.
(1 3)j = (1 3)j 0

=⇒

j = j0


Proposition 5.4.2. The Hook group H is generated by the two elements (1 3)U and
(1 3)W .
Proof. The two elements (1 3)U and (1 3)W are in H, since
(1 3)U = (1 3)U (U V )0 (U W )0

(1 3)W = (1 3)U (U V )0 (U W )1 .

Conversely, any (U V )m (U W )n ∈ H+ can be expressed in terms of (1 3)U and (1 3)W
because
(1 3)U · (1 3)U = V U = (U V )−1
by Proposition 3.8.1 (ii), and
(1 3)W · (1 3)U = W U = (U W )−1
also by Proposition 3.8.1 (ii). Moreover, any (1 3)U (U V )m (U W )n ∈ H− , can be
obtained from the previous two equations and (1 3)U .
Thus, (1 3)U, (1 3)W = H.

Remark 5.4.3 (Matrices for Generators (1 3)U and (1 3)W of Hook Group H). The
matrices (1 3)U and (1 3)W are obtained from the matrices U and W in Section 3.1

VOICING TRANSFORMATIONS AND UNIFORM TRIADIC TRANSFORMATIONS

by exchanging their top and

1 1
(1 3)U =  1 0
0 1

bottom rows.

−1
0 
0

41


1 0 0
(1 3)W =  1 −1 1 
0 0 1


In preparation for two propositions about the structure of the Hook group, we inspect
the orders of (1 3)U , (1 3)W , and (1 3)W · (1 3)U .
Proposition 5.4.4 (Orders of Generators (1 3)U and (1 3)W of Hook Group H).
(i) The even powers of (1 3)U are
m
2m 
m
−m
(1 3)U
= (1 3)U · (1 3)U
= VU
= UV
,
while the odd powers are

(1 3)U

2m+1

= (1 3)U



UV

−m

.

Consequently, order (1 3)U = 24.
(ii) order (1 3)W = 2.
(iii) The product
(1 3)W · (1 3)U equals (U W )−1 , so consequently

order (1 3)W · (1 3)U = 12.

Proof.
(i) The even powers of (1 3)U are
m
2m 
m
−m
(1 3)U
= (1 3)U · (1 3)U
= VU
= UV
,

which are all distinct from one another for m = 0, 1, . . . , 11 by Theorem 3.3.2 (ii).
The odd powers of (1 3)U are

−m
2m+1
= (1 3)U U V
,
(1 3)U

by the preceding statement; these are all distinct from one another for m =
0, 1, . . . , 11 by left cancellation. The odd powers are mode reversing while the
even powers are mode preserving, so they are different, and (1 3)U has order
24.
(ii) Using Proposition 3.8.1 (ii), we have (1 3)W · (1 3)W = (1 3)W (1 3) · W =
W · W = Id.
(iii) Again using Proposition 3.8.1 (ii), we have (1 3)W · (1 3)U = (1 3)W (1 3) · U =
W U = (U W )−1 , which is known to have order 12 by Theorem 3.3.2 (i)(b).

Proposition 5.4.5 (Another Normal Form for H).
(i) The group generated by the product (1 3)W · (1 3)U is equal to hU W i, and
consequently its intersection with (1 3)U is trivial.
\
(1 3)W · (1 3)U
(1 3)U = {Id}

42

FIORE AND NOLL

(ii) Every element of H can be written uniquely in the form
p
(1 3)U (U W )n

where p = 0, 1, . . . , 23 and n = 0, 1, . . . , 11.
(iii) Such a product belongs to H+ (respectively H− ) if and only if the exponent p is
even (respectively odd).
Proof.
(i) From Proposition 5.4.4 (iii), the product (1 3)W · (1 3)U is the mode-preserving
function (U W )−1 , so the product generates a subgroup hU W i of mode-preserving
functions. From Proposition 5.4.4 (i), the even powers of (1 3)U are (U V )−m ,
which are not in hU W i. The odd powers of (1 3)U are mode-reversing, so also
not in hU W i.
(ii) Uniqueness
follows from (i). For the existence, we use the decomposition H =
F
+
J
(1 3) J − , and recall J + = hU V, U W i and
(1 3) J − = (1 3) U J + = (1 3) U hU V, U W i.

All of these can be expressed in terms of powers of (1 3) U and U W by Proposition 5.4.4 (i).
(iii) This follows from Proposition 5.4.4 (i) and that fact that composing a modepreserving transformation with U gives a mode-reversing transformation.

Note, that the cyclic groups h(1 3)U i and hU W i do not commute. Hence, the Hook
Group H is not their internal direct product.
The group structure of H is a semi-direct product of J + and the other generator
(1 3)W as we see now. In Section 5.5, after a “change of basis” in J + , we will even
see that H is the wreath product Z2 * Z12 .
Theorem 5.4.6. The group H is the semi-direct product h(1 3)W i n J + . The conjugation action is


(1 3)W · (U V )m (U W )n · W (1 3) = (U V )m+n (U W )−n .
(32)
Proof. The subgroup J + ≤ H has index 2 and is thus normal. The order 2, modereversing transformation (1 3)W is not in J + , so the other coset is (1 3)W J + , and
h(1 3)W iJ + = H. Clearly, h(1 3)W i ∩ J + = {Id}, so finally H = h(1 3)W i n J + .
The conjugation formula (32) follows from Theorem 3.3.2 (v), the definition of W ,
and the rewriting




m z − x + n y − x = (m + n) z − x + (−n) z − y .


VOICING TRANSFORMATIONS AND UNIFORM TRIADIC TRANSFORMATIONS

43

5.5. The Hook Group is our Linear Representation of the UTT Group.
Recall the representation ρ : U → GL(3, Z12 ) from Section 5.3 in equations (28)
and (30). This representation is an embedding, and acts on root position triads as
it should, see equations (29) and (31). Since ρ(U) maps root position triads to root
position triads, ρ(U) is contained in H, the subgroup of Σ3 n J that preserves the set
of root position triads. The cardinalities are |ρ(U)| = 288 = |H|, so the representation
image ρ(U) is equal to the Hook group H. We would next like to “change the basis”
of J + in H to express H as a wreath product Z2 * Z12 and to express ρ uniformly.
Theorem 5.5.1 (New Basis for J + to Make H into a Wreath Product).
(i) The transformation (U V )4 (U W )−1 translates root position major triads by 1
and fixes root position minor triads, so ρh+, 1, 0i = (U V )4 (U W )−1 .
(ii) The transformation (U V )3 (U W )1 fixes root position major triads and translates
root position minor triads by 1, so ρh+, 0, 1i = (U V )3 (U W )1 .
(iii) The two transformations (U V )4 (U W )−1 and (U V )3 (U W )1 generate J + .
(iv) The transformation (1 3)W switches parity of root position triads, without
translation, so ρh−, 0, 0i = (1 3)W .
(v) Conjugation by (1 3)W exchanges these two new generators of J + in (i) and
(ii).
(vi) The group H is isomorphic to the wreath product Z2 * Z12 , that is, the semidirect product Σ2 n Z12 × Z12 where Σ2 acts by exchanging the two copies of
Z12 .
Proof.
(i) To find (U V )m (U W )n which translates root position major triads by 1 and fixes
root position minor triads, we must solve in Z12 the system of equations
m7 + n3 = 1

m7 + n4 = 0,

obtained from evaluating Theorem 3.3.2 (v) on root position major triads and
root position minor triads (x, y, z). The solutions are found to be m = 4 and
n = −1.
(ii) Similarly, we solve
m7 + n3 = 0

m7 + n4 = 1

and find m = 3 and n = 1.
(iii) The transformations U V and U W commute, so the product
(U V )4 (U W )−1 · (U V )3 (U W )1

3
is (U V )7 , which generates hU V i, so that U W = (U V )7 · (U V )3 (U W )1 can
also be expressed in terms of (U V )4 (U W )−1 and (U V )3 (U W )1 .
(iv) Straightforward computation.
(v) Straightforward computation using the conjugation formula (32).
(vi) This is a consequence of Theorem 5.4.6 and parts (iii) and (v).


44

FIORE AND NOLL

Corollary 5.5.2 (Uniform Formula for ρ and Semi-Direct Product Structure). Let us
denote the new generators of H by
E = (1 3)W

F = (U V )4 (U W )−1

G = (U V )3 (U W )1 .

Let index : {+, −} → Z2 be the isomorphism from the multiplicative cyclic group of
order 2 to the additive cyclic group of order 2, that is index(+) = 0, index(−) = 1.
The injective representation ρ : U → GL(3, Z12 ) from Section 5.3 in equations (28)
and (30) is an isomorphism onto its image H and satisfies
ρhs, m, ni = E index(s) F m Gn .

Moreover, the group operation in H in terms of these new generators is
(
E t F m+p Gn+q
if s = 0
E t F p Gq · E s F m Gn =
t+1 m+q n+p
E F
G
if s = 1.

(33)

(34)

Proof. The formula for the homomorphism ρ in (33) follows directly from Theorem 5.5.1 (i),
(ii), and (iv).
The equation for the group structure in (34) follows from the commutativity of F and
G and Theorem 5.5.1 (v). Equation (34) also follows from the wreath product structure
of U in combination with the fact that ρ is an isomorphism onto its image.

Remark 5.5.3 (Matrix Representation for New Basis of J + ). From the Theorem 3.3.2 (v)
we find matrix representations for the new basis of J + .


9 1 3
ρh+, 1, 0i = (U V )4 (U W )−1 =  8 2 3 
8 1 4


10 11 4
ρh+, 0, 1i = (U V )3 (U W )1 =  9 0 4 
9 11 5
6. Conclusion

To finish up, we may now return to our Webern Problembeispiel in Section 1.2. In
Figure 3 we saw how to interpret the exact sequences in the Webern piece using the
permutation (12) and a voice reflection V . This motivated us to determine in Theorem 3.3.2 the structure of the group J generated by the voice reflections U , V , and W ,
and to determine in Proposition 3.8.2 the structure of hΣ3 , J i. We further understood
Σ3 n J in Section 3.9 through some special subgroups and their triadic orbits. Our
determination of the centralizer of J in GL(3, Z12 ) and Aff(3, Z12 ) in Propositions 3.5.1
and 3.6.1 guaranteed that x − 2 in Figure 3 is a morphism of generalized interval systems. Further examples of morphisms are in Section 4.3, and special cases of known
duality theorems also follow from the aforementioned centralizers. Our group Σ3 n J
allows us to sometimes turn alternating cycles into orbits of a single transformation,
as we did with the Grail motive in Section 4.1, some triadic networks in Schoenberg’s
String Quartet in D minor, and the diatonic falling fifth sequence. As a final application of our Structure Theorem 3.3.2, we characterize our representation of Hook’s

VOICING TRANSFORMATIONS AND UNIFORM TRIADIC TRANSFORMATIONS

45

uniform triadic transformation group U as the subgroup H of Σ3 n J that maps root
position consonant triads to root position consonant triads.
Acknowledgements. Thomas Fiore gratefully acknowledges support from several
sources during the genesis of this paper. A Humboldt Research Fellowship for Experienced Researchers supported Thomas Fiore during his 2015-2016 visit at Universität Regensburg. The Max-Planck-Institut für Mathematik supported his research
stay in Bonn in July 2013. Earlier support in Michigan included a Rackham Faculty
Research Grant of the University of Michigan and a Small Grant for Faculty Research
from the University of Michigan-Dearborn. Thomas Fiore thanks the Regensburg
Sonderforschungsbereich 1085: Higher Invariants and the Regensburg Mathematics
Department for a very stimulating working environment.
Thomas Noll thanks the Max-Planck-Institut für Mathematik for the support of his
research visit in Bonn in July 2013.
References
[1] Clifton Callender, Ian Quinn, and Dmitri Tymoczko. Generalized voice-leading spaces. Science,
320(5874):346–348, 2008.
[2] Berry Cameron and Thomas M. Fiore. Hexatonic systems and dual groups in mathematical music
theory. Preprint, 2016, http://arxiv.org/abs/1602.02577.
[3] Michael Catanzaro. Generalized Tonnetze. Journal of Mathematics and Music, 5(2):117–139,
2011.
[4] David Clampitt. Alternative interpretations of some measures from Parsifal. Journal of Music
Theory, 42(2):321–334, 1998.
[5] John Clough. A rudimentary geometric model for contextual transposition and inversion. Journal
of Music Theory, 42(2):297–306, 1998.
[6] John Clough. Flip-Flop Circles and Their Groups. In Jack Douthett, Martha M. Hyde, and
Charles J. Smith, editors, Music Theory and Mathematics: Chords, Collections, and Transformations, volume 50 of Eastman Studies in Music. University of Rochester Press, 2008.
[7] Richard Cohn. Maximally smooth cycles, hexatonic systems, and the analysis of late-romantic
triadic progressions. Music Analysis, 15(1):9–40, 1996.
[8] Richard Cohn. Neo-Riemannian operations, parsimonious trichords, and their “Tonnetz” representations. Journal of Music Theory, 41(1):1–66, 1997.
[9] Richard Cohn. As wonderful as star clusters: Instruments for gazing at tonality in Schubert.
19th-Century Music, 22(3):213–232, 1999.
[10] Alissa S. Crans, Thomas M. Fiore, and Ramon Satyendra. Musical actions of dihedral groups.
American Mathematical Monthly, 116(6):479–495, 2009.
[11] Jack Douthett and Peter Steinbach. Parsimonious graphs: A study in parsimony, contextual
transformations, and modes of limited transposition. Journal of Music Theory, 42(2):241–263,
1998.
[12] David S. Dummit and Richard M. Foote. Abstract algebra. John Wiley & Sons, Inc., Hoboken,
NJ, third edition, 2004.
[13] Hong Feng. Orders of classical groups over finite rings. Journal of Mathematical Research and
Exposition, 18(4):507–512, 1998.
[14] Thomas M. Fiore. Music and mathematics. lecture notes. 2003, http://www-personal.umd.
umich.edu/~tmfiore/1/musictotal.pdf.
[15] Thomas M. Fiore and Thomas Noll. Commuting groups and the topos of triads. In Carlos Agon,
Emmanuel Amiot, Moreno Andreatta, Gerard Assayag, Jean Bresson, and John Mandereau,
editors, Mathematics and Computation in Music, Third International Conference, MCM 2011,

46

[16]

[17]
[18]
[19]
[20]

[21]
[22]
[23]
[24]
[25]
[26]
[27]
[28]
[29]
[30]

FIORE AND NOLL

Proceedings, volume 6726 of Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes
in Computer Science), pages 69–83. Springer, 2011.
Thomas M. Fiore, Thomas Noll, and Ramon Satyendra. Incorporating voice permutations into the
theory of neo-Riemannian groups and Lewinian duality. In Jason Yust, Jon Wild, and John Ashley
Burgoyne, editors, Mathematics and Computation in Music, Third International Conference,
MCM 2013, Proceedings, volume 7937 of Lecture Notes in Artificial Intelligence (Subseries of
Lecture Notes in Computer Science), pages 100–114. Springer, 2013.
Thomas M. Fiore, Thomas Noll, and Ramon Satyendra. Morphisms of generalized interval systems and P R-groups. Journal of Mathematics and Music, 7(1):3–27, 2013.
Thomas M. Fiore and Ramon Satyendra. Generalized contextual groups. Music Theory Online,
11(3), 2005, http://mto.societymusictheory.org.
Edward Gollin. Some Aspects of Three-Dimensional Tonnetze. Journal of Music Theory,
42(2):195–206, 1998.
Rachel Wells Hall. Linear contextual transformations. In Giuseppe Di Maio and Somashekhar
Naimpally, editors, Theory and Applications of Proximity, Nearness, and Uniformity, volume 22
of Quaderni di Matematica, pages 101–129. Aracne Editrice, Rome, 2009.
You Hong and Gao You. Computation of orders of classical groups over finite commutative rings.
Chinese Science Bulletin, 39(14):1150–1154, 1994.
Julian Hook. Uniform triadic transformations. Journal of Music Theory, 46(1-2):57–126, 2002.
David Lewin. A label-free development for 12-pitch-class systems. Journal of Music Theory,
21(1):29–48, 1977.
David Lewin. Generalized Musical Intervals and Transformations. Yale University Press, New
Haven, 1987.
Petr Novotný and Jiřı́ Hrivnák. On orbits of the ring Zm
n under the action of the group SL(m, Zn ).
Acta Polytechnica, 45(5):41–45, 2005, http://arxiv.org/abs/0710.0326.
Robert Peck. Generalized commuting groups. Journal of Music Theory, 54(2):143–177, 2010.
Joseph Schillinger. The Schillinger System of Musical Composition. C. Fischer, New York, 1946.
Joseph N. Straus. Contextual-inversion spaces. Journal of Music Theory, 55(1):43–88, 2011.
Dmitri Tymoczko. The geometry of musical chords. Science, 313(5783):72–74, 2006.
Derek A. Waller. Some combinatorial aspects of the musical chords. The Mathematical Gazette,
62(419):12–15, 1978.

Thomas M. Fiore, Department of Mathematics and Statistics, University of MichiganDearborn, 4901 Evergreen Road, Dearborn, MI 48128
and
NWF I - Mathematik, Universität Regensburg, Universitätsstraße 31, 93040 Regensburg, Germany
E-mail address: tmfiore@umich.edu
URL: http://www-personal.umd.umich.edu/~tmfiore/
Thomas Noll, Escola Superior de Música de Catalunya, Departament de Teoria,
Composició i Direcció, C. Padilla, 155 - Edifici L’Auditori, 08013 Barcelona, Spain
E-mail address: thomas.mamuth@gmail.com
URL: http://user.cs.tu-berlin.de/~noll/

